离散数学之谓词逻辑培训.pptVIP

永真式/逻辑有效式　给定任意谓词公式wff A，其个体域为E，对于A的任一组真值指派，wff A皆为1，则称公式A在E上是有效的/永真的。 不可满足式/永假式　一个谓词公式wff A，如果在所有赋值下都为0，则称该wff A是不可满足的/永假的。 可满足式　一个谓词公式wff A，如果至少在一种赋值下为T，则称该wff A是可满足的。 2.5 谓词演算的等价式与蕴含式 谓词演算中的等价式和蕴涵式　命题演算中的等价公式表和蕴含公式表都可推广到谓词演算中使用。 消去量词的等价式 量词否定的等价式（量词的转化律） ?(?x)P(x)?(?x)?P(x) ， ?(?x)P(x)?(?x)?P(x) 证明：(可在有限个体域上证明) 2.5 谓词演算的等价式与蕴含式 设个体域中的客体变元为a1, a2, …, an，则 ?(?x)A(x)??(A(a1)∧A(a2)∧…∧A(an)) ??A(a1)∨?A(a2)∨…∨?A(an) 　 ?(?x)?A(x) ?(?x)A(x) ??(A(a1)∨A(a2)∨…∨A(an)) ??A(a1)∧?A(a2)∧…∧?A(an) ?(?x)?A(x) 2.5 谓词演算的等价式与蕴含式 量词作用域的扩张