1.7谓词演算的永真公式.pptVIP

南京信息工程大学数理学院 谓词公式是由原子谓词公式通过联结词、量词、 小括号组成的字符串。 而原子谓词公式Ｐ(x1，x2，...，xn)中可含有 个体常元、个体变元(约束变元和自由变元)、 谓词常元、谓词变元。 显然，对谓词公式A，只有当把其中的自由个体 变元、谓词变元都赋予确定的含义以后，A才成为 具有确定内容的命题，同时也具有确定的真假值。 将谓词公式中个体变元由确定的个体来取代，谓词变元 由确定的谓词来取代，称为对谓词公式的赋值或解释。 公式A的每一个指派或解释I由以下三部分组成： 1 非空个体域Ｄ； 2 D中一部分特定元素??????????? (用来解释个体常元) 3 D上一些特定的谓词??????????? (用来解释谓词变元) 例如：对 ?x(P(x)→Q(x)) 指定：1.个体域D为全总个体域 2.Ｐ(x)：x是人；Ｑ(x)：x是黄种人。 则?x(P(x)→Q(x))：所有的人都是黄种人。 F 思考：若 个体域D为实数集 Ｐ(x)：x是自然数；Ｑ(x)：x是有理数。 例1-7-1 给定一个解释I： D={2，3}； D中的特定元素 a=2 D上的特定谓词 F(x)为：F(2)=0，F(3)=1 L(x,y)为：L(2,2)= L(3,3)=1; L(2,3