离散数学第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 永真（假）公式的任意一个代入实例必为有效（矛盾）公式。 定理4.3.2 设G1是G的子公式(即 G1是公式G的一部分)，H1是任意的谓词公式，在G中凡出现G1处都以H1替换后得到新的谓词公式H，若G1＝H1，则G＝H。 命题演算中的24个基本的等价公式在谓词演算中仍成立 * 谓词演算中的有效公式 （1）E25：(?x)G(x) = (?y)G(y)； (改名规则) E26：(?x)G(x) = (?y)G(y)； （2）E27： ?(?x)G(x) = (?x)?G(x)； E28：?(?x)G(x) = (?x)?G(x)； (量词转换律/量词否定等值式) （3）E29：(?x)(G(x)∨S) = (?x)G(x)∨S； E30：(?x)(G(x)∧S) = (?x)G(x)∧S； E31：(?x)(G(x)∨S) = (?x)G(x)∨S； E32：(?x)(G(x)∧S) = (?x)G(x)∧S； (量词辖域的扩张与收缩律) * 谓词演算中的有效公式（续） （4）E33：(?x)(G(x)∧H(x)) =(?x)G(x)∧(?x)H(x)； E34：(?x)(G(x)∨H(x)) =(?x)G(x)∨(?x)H(x)； (量词分配律) （5）E35：(?x)G(x)∨(?x)H(x) =(?x)(?y)(G(x)∨H(y))； E36：(?x)G(x)∧(?x)H(x) =(?x)(?y)(G(x)∧H(y))； * 例1 设P(x)：x今天来上课，个体域为计算机学院2006级全体同学的集合。则： 1.(?x)P(x)表示所有同学今天都来上课了； ┐(?x)P(x)表示不是所有的同学今天来上课了； (?x)┐P(x)表示今天有同学没来上课。 所以， ┐(?x)P(x)=(?x)┐P(x) 2. 类似的，┐(?x)P(x)=(?x)┐P(x) * 例2 1.设G(x)：x勤奋学习；H(x)：x喜欢体育活动。 其中：个体域是大学里的学生。 则(?x)(G(x)∧H(x))表示： 大学里的所有学生即勤奋学习又喜欢体育活动”； (?x)G(x)∧(?x)H(x)表示： “大学里的所有学生都勤奋学习且大学里所有的学生都喜欢体育活动”。 两者意义是相同的。 即有： (?x)(G(x)∧H(x))=(?x)G(x)∧(?x)H(x) * 例2（续） 2.设G(x)：x勤奋学习；H(x)：x喜欢体育活动。其中：个体域是大学里的学生。 则(?x)(G(x)∨H(x))表示： “大学里有些学生勤奋学习或喜欢体育活动”； (?x)G(x)∨(?x)H(x)表示： “大学里有些学生勤奋学习或大学里有些学生喜欢体育活动”。 两者意义是相同的。 所以,(?x)(G(x)∨H(x))＝(?x)G(x)∨(?x)H(x) * 4.3.6 谓词合式公式难点 3 命题逻辑与谓词逻