离散数学-2-5复习.pptVIP

离散数学 授课人：李朔 Email:chn.nj.ls@ 命题公式的推广 任意一个谓词公式是不确定的 主要是存在三种类型的变元：自由个体变元，命题变元及谓词变元。 特别注意约束变元，在任一公式中由量词所限定的约束变元并不影响公式的确定性。 定义2-5.1 给定任何两个谓词公式wff A和wff B，设它们有共同的个体域E。若对A和B的任意一组变元进行赋值，所得命题的真值相同，则称谓词公式A和B在E上是等价的。记为A?B。 有效（永真的），不可满足的，可满足的 命题演算中的等价公式和蕴含式表都可推广到谓词演算中使用。 量词与联结词?之间的关系 量词的转化律 1.?(?x)P(x) ? (?x)?P(x) 2.?(?x)P(x) ? (?x)?P(x) 量词转化律也能推广到无穷个体域 量词作用域的扩张与收缩 1. (?x)(A(x)?B) ? (?x)A(x)?B 2. (?x)(A(x)?B) ? (?x)A(x)?B 3. (?x)(A(x)?B) ? (?x)A(x)?B 4. (?x)(A(x)?B) ? (?x)A(x)?B B中不出现约束变元x,所以它属于或不属于量词作用域均有相同意义。 5. ((?x)A(x)?B)) ? (?x)(A(x)?B) 6. ((?x)A(x)?B)) ? (?x)(A(x)?B) 7. (B?(?x)A(x)) ? (?x)(B?A(x)) 8. (B?(?x)A(x)) ? (?x)(B?A(x)) 若B表示任意一个谓词公式，当其所含谓词变元与量词的指导变元不同时，亦能有类似于上述的公式。 量词与命题联结词之间的一些等价关系 1.(?x)(A(x)?B(x)) ? (?x)A(x)?(?x)B(x) 2. (?x)(A(x)?B(x)) ?(?x)A(x)?(?x)B(x) 量词与命题联结词之间的一些蕴涵关系 1.(?x)A(x) ? (?x) B(x) ?(?x)(A(x) ? B(x)) 若“所有学生都聪明或者所有学生都努力”为T，则有“所有学生都聪明或努力”为T。 但(?x)(A(x) ? B(x)) ? (?x)A(x) ? (?x) B(x) （不正确） 如：“所有人都读书或看报”为T时，并不能使“所有人都读书”或“所有人都看报”为T 2. (?x)(A(x)?B(x)) ?(?x)A(x)?(?x)B(x) (可由1推得） 若“有人看书并且读报”为真，则有“有人看书并且有人看报”为真。 但(?x)A(x)?(?x)B(x) ? (?x)(A(x)?B(x)) （不正确） 如“有些数是偶数并且有些数是奇数”（真），但 “有些数是奇数并且是偶数（假）。” * *