离散数学第4章谓词逻辑解析.ppt

* 公式之间的关系 从上述定义可知三种特殊公式之间的关系： （1）有效公式G的否定?G为矛盾公式；矛盾公式G的否定?G为有效公式。 （2）有效公式一定为可满足公式。 * 谓词逻辑的判定问题 若说谓词逻辑是可判定的，就要求给出一个能行的方法，使得对任一公式都能判断是否是有效的。所谓能行的方法，乃是一个机械方法，可一步一步做下去，并在有穷步内实现判断。 * 谓词公式的可判定性 （1）谓词逻辑是不可判定的； （2）只含有一元谓词变项的公式是可判定的； （3）如下形式的公式： (?x1)(?x2)…(?xn)P(x1, x2, …, xn)， (?x1)(?x2)…(?xn)P(x1, x2, …,xn)。 若P中无量词和其它自由变元时，也是可判定的； （4）个体域有穷时的谓词公式是可判定的。 * 4.3.5 谓词合式公式的基本等价关系 定义4.3.8 公式G，H称为等价的(Equivalent)，记为G = H，如果公式G ? H是有效公式。 定义4.3.9 设Ｇ(P1,P2,…,Pn)是命题演算中的命题公式，P1,P2,…,Pn是G中的命题变元，当用任意的谓词公式Gi(1≤i≤n)分别代入Pi后，得到的新谓词公式Ｇ(G1,G2,…,Gn)称为原公式的代入实例。 定理4.3.1 永真（假）公式的任意一个代入实例必为有效（矛盾）公