[离散数学讲义第2章.pptVIP

在谓词演算中，将原子命题分解为 谓词 和 客体 两部分。 记号： 记号： 定义：由一个谓词和一些客体变元所组成的表达式称为简单命题函数。 个体变元：函数P(x)中的x。 （1）命题公式的推广 例如： 2-5 谓词演算的等价式与蕴含式（续） 命题演算中的等价公式表和蕴含式表都可以推广到谓词演算中。 (?x)(P(x)?Q(x)) ? (?x)(? P(x) ? Q(X)) (?x)P(x) ? (?y)R(x,y) ? ?(?(?x)P(x) ? ?(?y)R(x,y)) (?x)(H(x,y) ? ?(?x)H(x,y) ? F Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. （2）量词与联结词?之间的关系 量词的转化律公式（对个体域为有限或无穷都成立）： 2-5 谓词演算的等价式与蕴含式（续） 约定：出现在量词之前的否定，不是否定该量词，而是否定被量化了的整个命题。 1. ?(?x)P(x)?(?x) ? P(x) 2. ?(?x)P(x)?(?x) ? P(x) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 2-5 谓词演算的等价式与蕴含式（续） 例：P(x)：x今天来上课；则?P(x)：x今天没有来校上课。 （a）“不是所有人今天都来上课”与“存在一些人今天没来上课”含义相同。 ? (?x)P(x) ? (?x) ? P(x) （b）“不是存在一些人今天来上课”与“所有人今天没来上课”含义相同。 ? (?x)P(x) ? (?x) ? P(x) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 上述公式在有限个体域上的证明： 2-5 谓词演算的等价式与蕴含式（续） 结论： 当将量词前面的联结词?移到量词的后面去时，存在量词改为全称量词，全称量词改为存在量词；反之，如果将量词后面的联结词?移到量词的前面去时，也要做相应的改变。 设个体域中的客体变元为a1,a2,...,an，则 1. ?(?x)A(x) ? ? (A(a1) ? A(a2) ? … ? A(an)) ? ? A(a1) ? ? A(a2) ? … ? ? A(an)) ? (?x) ? A(x) 2. ?(? x)A(x) ? ? (A(a1) ? A(a2) ? … ? A(an)) ? ? A(a1) ? ? A(a2) ? … ? ? A(an)) ? (?x) ? A(x) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. （3）量词作用域的扩张与收缩 1. (?x)(A(x)?B) ? (?x)A(x)?B 2. (?x)(A(x)?B) ? (?x)A(x)?B 5. (?x)A(x)?B ? (?x)(A(x)?B) 6. (?x)A(x)?B ? (?x)(A(x)?B) 7. (?x)(B?A(x)) ? B?(?x)A(x) 8. (?x)(B?A(x)) ? B?(?x)A(x) 2-5 谓词演算的等价式与蕴含式（续） 3. (?x)(A(x)?B) ? (?x)A(x)?B 4. (?x)(A(x)?B) ? (?x)A(x)?B Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 证明.（以公式1、5、6证明为例） 公式1：(?x)(A(x)?B) ? (?x)A(x)?B 2-5 谓词演算的等价式与蕴含式（续） 证：考虑有限个体域D={a1,a2,...,an} (?x)(A(x)?B) ? (A(a1)?B)?(A(a2)?B)?…?(A(an)?B) ? (A(a1)?A(a2)?…?A(an))?B) ? (?x)A(x)?B 证毕。 Evaluation only. Creat