a graphical representation of a program using formal logic

• 应用形式逻辑的一个程序的图示