离散数学课件--2l谓词逻辑.pptVIP

2.5 谓词演算的等价式与蕴含式 赋值/解释　在谓词公式中常包含命题变元和客体变元，当客体变元由确定的客体所取代，命题变元用确定的命题所取代时，就称作对谓词公式赋值。一个谓词公式经过赋值以后，就成为命题。　 等价　给定任何两个谓词公式wff A和wff B，设它们有共同的个体域E，若对A和B的变元的任一组真值指派，所得真值均相同，则称谓词公式A和B在E上是等价的，并记作A?B。 永真式/逻辑有效式　给定任意谓词公式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))