《离散数学》课件-第10章 谓词逻辑.pptxVIP

0;1;2;3;4;5;6;7;8;9;10;11;12;13;14;15;16;17;18;19;20;21;22;23;24;25;26;27;28;29;30;31;32;33;34;35;36;37;38;39;40;41;当谓词公式 A 的个体域有限时，可用真值表来判定谓词公式 A 是否是永真公式。 例如 判断公式 A = (Q ? ?Q) ? (P(x) ? ?xP(x)) 的类型。其中，x 的个体域为 {3, 4}，Q 为命题变元，P(x)：x 是奇数。 解：列出公式 A 的真值表如下。 由真值表可知，A 是可满足公式。 注：当个体域的基数较大时，一般用推演方法。;二、公式的等值与蕴含 定义10-8　设 A、B 是两个公式，它们有共同的个体域 E，若对于 A 和 B 的任意一组指派，两公式都具有相同的真值，则称公式 A 和 B 在 E 上等值，记作 A ? B（—— 等值式）。 定义10-9　对于公式 A 和 B，若 A ? B ? 1，则称公式 A 蕴含公式 B，记作 A ? B（—— 蕴含式）。 注： 当个体域是有限集时，原则上可以用真值表判断两公式是否有等值关系或有蕴含关系。 当个体域是有限集合时，量词可以被消除掉。;设个体域 E = {a1, a2, …, an}。 包含有全称量词的谓词公式 ?xA(x) 表示 a1, a2, …, an 都有性质 A，相当于 A(a1) 且 A(a2) 且 … 且 A(an)，因此 ?xA(x) ? A(a1) ? A(a2) ? … ? A(an)。 因为 A(ai) (i = 1, 2, …, n) 中都没有个体变元，也没有量词，所以这一合取式实际上是命题演算中的命题公式。 包含有存在量词的谓词公式 ?xA(x) 表示 a1, a2, …, an 至少有一个具有性质 A，相当于 A(a1) 或 A(a2) 或 … 或 A(an)，因此 ?xA(x) ? A(a1) ? A(a2) ? … ? A(an)。 同样地，这一析取式也是命题演算中的命题公式。;注： 在后面的学习中，不妨把 ?xA(x) 理解为命题逻辑中的合取式在谓词逻辑中的延伸，而 ?xA(x) 理解为命题逻辑中的析取式在谓词逻辑中的延伸，这将有助于我们理解和记忆谓词演算中的等值式和蕴含式。 如果一个谓词公式中包含有多个量词，则可以从里到外用上述方法将量词逐个消去，从而使公式转换成命题演算中的命题公式。 但当个体域中元素很多甚至为无限集时，这个方法就变得不实际甚至不可能了。因此，给出一些基本的永真公式，然后以它们为基础进行推导。;46;47;48;49;50;51;52;53;5. 量词与联结词的关系 (1) ?xA(x) ? ?xB(x) ? ?x( A(x) ? B(x) ) (2) ?x( A(x) ? B(x) ) ? ?xA(x) ? ?xB(x) (3) ?x( A(x) ? B(x) ) ? ?xA(x) ? ?xB(x) (4) ?x( A(x) ? B(x) ) ? ?xA(x) ? ?xB(x) (5) ?x( A(x) ? B(x) ) ? ?xA(x) ? ?xB(x) 证明：(1) ?xA(x) ? ?xB(x) ? ??xA(x) ? ?xB(x) ? ?x?A(x) ? ?xB(x) ? ?x( ?A(x) ? B(x) ) ? ?x( A(x) ? B(x) );55;6. 两个量词间的排列次序 相同量词间的次序可以任意调动，不同量词间的次序不能随意调动： (1) ?x?yA(x, y) ? ?y?xA(x, y) (2) ?x?yA(x, y) ? ?y?xA(x, y) (3) ?x?yA(x, y) ? ?y?xA(x, y) (4) ?y?xA(x, y) ? ?x?yA(x, y) (5) ?x?yA(x, y) ? ?y?xA(x, y) (6) ?y?xA(x, y) ? ?x?yA(x, y) (7) ?y?xA(x, y) ? ?x?yA(x, y) (8) ?x?yA(x, y) ? ?y?xA(x, y);57;58;59;60;61;62;63;64;例5 将 A：?x(P(x) ? Q(x, y)) ? (??xR(x) ? ?zS(z)) 化为前束合取范式和前束析取范式。 解：(1) 消去联结词 ?，?： A ? ?x((P(x) ? Q(x, y)) ? (Q(x, y)?P(x))) ? (??xR(x) ? ?zS(z)) ? ??x((?