合式公式

合式公式

1

B也是合式公式。

That is when A , are well-formed formulas , then A B is also a well-formed formula .
2

于是MP°要比MP多一条形成规则：即当A，B为合式公式时，则AB也是合式公式。

MP ~ therefor has one more formal rule than does MP . That is when A , B are well-formed formulas , then A B is also a well-formed formula .
3

通过考察协调合式公式集类所具有的种种性质，本文将抽象协调类概念推广至最一般的形式&广义抽象协调类，并证明了相应的广义合一原理。

In this paper , considering various properties possessed by the class of consistent sets of wffs in first order logic system , we generalize the concept of abstract consistency class into the most general form-universal abstract consistency class , and further prove its universal unifying principle .