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

南京信息工程大学数理学院 谓词公式是由原子谓词公式通过联结词、量词、 小括号组成的字符串。 而原子谓词公式Ｐ(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)=L(3,2)=0. 在这个解释下，求下列各式的值。 1 ?x(F(x)∧L(x,a)) ? (F(2)∧L(2,2))∧(F(3)∧L(3,2)) ?(0∧1)∧(1∧1) ?0 2 ?x?y L(x,y) ? ?x(L(x,2)∨L(x,3)) ? (L(2,2)∨L(2,3))∧(L(3,2)∨L(3,3)) ? (1∨0)∧(0∨1) ?1 A在个体域E上的分类 给定谓词公式A及个体域E，如果在个体域E中无论怎样构成A的一种指派： 1 A都取值为真，则称A在E上永真或A在E上上逻辑有效。 2 A都取值为假，则称A在E上永假或A在E上矛盾。 3 A至少在一种指派下取值为真，则称A在E上可满足。 A的分类 1 如果A在任意个体域上永真，则称A为永真式(或逻辑有效式)。 2 如果A在任意个体域永假，则称A为永假式(或矛盾式)。 3 如果A至少在一个个体域上可满足，则称A为可满足式。 方法一：真值表法 ——当谓词公式A的个体域E是有限的，谓词变元的解释也 是有限的时，原则上可以用真值表来判断。 方法二：指派分析法 ——当谓词公式A的个体域E是无限的，或谓词变元的解释是无限的时，谓词公式A的指派就是无限多个，无法实现用真值表来判断，一般根据联结词、量词的意义，直接用自然语言来叙述进行证明。 例1-7-2 在给定条件下判定谓词公式的类型。 1 设谓词P(x)的含义仅为：A(x)：x是奇数。或 B(x)：x是偶数。 个体域E={3，4}， 判定谓词公式P(x)∧?xP(x)的类型。 2 ?xP(x)→?xP(x) 解： 未指明个体域与谓词P(x)的含义 ---任意多组解释 设D为任意一个个体域，I为任意一个指派。 若?xP(x)为真， 即对于D中任意x，P(x)均为真。 此时在D中当然至少有一个x，使P(x)为真。 则?xP(x)为真。 所以在指派I下，?xP(x)→?xP(x)取值为真。 由I的任意性，?xP(x) →?xP(x)为永真式。 遍及个体域E等价（永真蕴含） 给定个体域E上的两个谓词公式A和B，若对E中的任意指派I， 1 A、B 都具有相同的真值（即谓词公式A?B为永真式）， 则称谓词公式A和B在E上等价，记作：在E上A?B。 2 当A为真时，B也为真（即谓词公式A→B为永真式）， 则称谓词公式A在E上永真蕴含B，记作：在E上A?B。 等价（永真蕴含） 1 若A和B在任意个体域上都是等价的，则称谓词公式A和B 等价，记作：A?B。 2 若A和B在任意个体域上都有A永真蕴含B，则称谓词公式A 永真蕴含B，记作：A?B。 谓词逻辑中常用的逻辑等价式和永真蕴含式，其来源可分为两类： 一、永真命题公式的推广 用原子谓词公式取代命题演算等价公式中的各命题变元，命题演算的等价式就转化为谓词演算的等价式。 依据：永真式的任何代入实例也必永真。 例如：1 由 ??P ? P 得： ??A(x)?