离散数学课件2-5谓词演算的等价式.ppt

2-5谓词演算的等价式与蕴含式 定义1：谓词公式的赋值（谓词公式的解释）： 在谓词公式中常包含命题变元和客体变元，当客体变元由确定的客体所取代，命题变元用确定的命题所取代时，就称作对谓词公式赋值。一个谓词公式经过赋值以后，就成为具有确定真值的命题。 2-5谓词演算的等价式 谓词公式赋值的举例说明： F(f(a,a),b) 解释1： 个体域是全体自然数; a: 2; b: 4; f(x,y)=x+y; F(x,y): x=y 原公式解释成: “2+2=4”。 解释2： 个体域是全体实数; a: 3; b: 5; f(x,y)=x-y; F(x,y): xy 原公式解释成: “3-35”。 2-5谓词演算的等价式 定义2：谓词逻辑有效(永真)式(tautology)： 给定任意谓词公式wff A，其个体域为E，对于A的所有赋值，wff A都为真，则称wff A在E上是有效（永真）式。 命题逻辑永真式（重言式）: 给定一个命题公式，若无论对分量作怎样的指派，其对应的真值永为T，则称命题公式为重言式或永真公式。 2-5谓词演算的等价式 定义3；谓词逻辑不可满足式： 一个谓词公式wff