离散数时学-2-5谓词演算的等价式与蕴含式.pptVIP

第二章谓词逻辑 2-5 谓词演算的等价式与蕴含式 授课人：李朔 Email:chn.nj.ls@ 一、基本概念 谓词公式中可包含有命题变元和客体变元，当命题变元用确定的命题取代，客体变元用确定的客体所取代时，就称作对公式赋值。 一个谓词公式经过赋值后，就成为真值确定的命题（T或F） 定义2-5.1 给定任何两个谓词公式wff A和wff B，设它们有共同的个体域E。若对A和B的任意一组变元进行赋值，所得命题的真值相同，则称谓词公式A和B在E上是等价的。记为A?B。 一、基本概念 定义2-5.2 任意给定谓词公式wff A，其个体域为E。若对A的任意变元赋值，wff A都为真，则称该wff A在E上是有效的（或永真的）。 定义2-5.3对于一个谓词公式wff A，如果在所有赋值下，该公式的真值都为假，则称该wff A 为不可满足的。 定义2-5.4对于一个谓词公式wff A，如果至少在一种赋值下为真，则称该wff A 为可满足的。 二．命题公式的推广 在命题逻辑中，重言式的同一分量出现的每一处都用同一合式公式置换，其结果仍是重言式 类似于我们学习过的命题逻辑中的等价式与蕴含式，在谓词逻辑中有了等价和永真的概念，同样有谓词演算的一些等价式与蕴含式。 命题演算中的等价公式表和蕴涵式表都可以推广到谓词演算中。 当谓词演算中的公式代替命题演算中永真公式的变元时，所得的谓词公式