第二章谓词逻辑法辩析.pptVIP

5 the nature of predicate formula 3. 谓词公式的等价性 定义4 设P与Q是两个谓词公式，D是它们共同的个体域，若对D上的任何一个解释，P与Q都有相同的真值，则称公式P和Q在D上是等价的。如果D是任意个体域，则称P和Q是等价的，记为P Q 。 5.3 谓词公式的等价性 Equivalence (1) 否定之否定 　　～(～P)等价于P (2) P∨Q等价于～P→Q (3) 狄·摩根定律 ～(P∨Q)等价于～P∧～Q ～(P∧Q)等价于～P∨～Q　 (4) 分配律 　　P∧(Q∨R)等价于(P∧Q)∨(P∧R) 　　P∨(Q∧R)等价于(P∨Q)∧(P∨R) (5) 交换律 　　P∧Q等价于Q∧P 　　P∨Q等价于Q∨P 5.3 谓词公式的等价性 Equivalence (6) 结合律 (P∧Q)∧R等价于P∧(Q∧R) (P∨Q)∨R等价于P∨(Q∨R) (7) 逆否律 P→Q等价于～Q→～P　　 (8) ～( x)P(x)等价于( x)［～P(x)］ 　　～( x)P(x)等价于( x)［～P(x)］ (9)( x)［P(x)∧Q(x)］等价于 　　( x)P(x)∧( x)Q(x) 　　( x)［P(x)∨Q(x)］等价于 　　( x)P(x)∨( x)Q(x) (10)( x)P(x)等价于( y)P(y) 　　( x)P(x)等价于( y)P(y) 5 the nature of predicate formula 4. 谓词公式的永真蕴含 定义5 对于谓词公式P与Q，如果P→Q永真，则称公式P永真蕴含Q，且称Q为P的逻辑结论，称P为Q的前提，记为P Q。 6 一阶谓词逻辑知识表示方法（method) 谓词公式表示知识的步骤： （1）定义谓词及个体。 （2）变元赋值。 （3）用连接词连接各个谓词，形成合适公式。 For every set X,there is a set y,such that the cardinality of y is greater than the cardinality of X * * 例：用谓词逻辑表示下列知识： 武汉是一个美丽的城市，但她不是一个沿海城市。 如果马亮是男孩，张红是女孩，则马亮比张红长得高。 解：按照知识表示步骤，用谓词公式表示上述知识。 第一步：定义谓词如下： BCity(x)：x是一个美丽的城市 HCity(x)：x是一个沿海城市 Boy(x):x是男孩 Girl(x):x是女孩 High(x,y):x比y长得高 谓词逻辑表示知识的举例 * * 这里涉及的个体有：武汉（wuhan）,马亮（mal）, 张红（zhangh） 第二步 将这些个体代入谓词中，得到 BCity(wuhan), HCity(wuhan), Boy(mal), Girl(zhangh), High(mal,zhangh) 第三步 根据语义，用逻辑连接符将它们连接起来，就得到了表示上述知识的谓词公司。 BCity(wuhan)∧～HCity(wuhan) (Boy(mal)∧Girl(zhangh))→High(mal,zhangh) * * 解：首先定义谓词如下： Student(x):x是学生 Uniform(x,y):x穿y N(x):x是自然数 I(x):是整数 L(x):x大于零 按照第二步和第三步的要求，上述知识可以用谓词公式分别表示为： (?x)(Student(x)→Uniform(x,color)) (?x)(N(x)→L(x)∧I(x)) 例 用谓词逻辑表示下列知识： 所有学生都穿彩色制服。 自然数都是大于零的整数。 7.1 置换 substitution 置换 置换（Substitution） 置换的定义：置换是用变元、常量、函数来替换变元，使该变元不在公式中出现。 置换是形如{ t1/x1, t2/x2, …， tn/xn}的有限集合。 t1，t2，…… ， tn是项 x1，x2，…… ， xn是互不相同的变元 ti/xi表示用ti项替换变元xi，不允许ti和xi相同，也不允许变元xi循环地出现在另一个tj中 7.1 置换 substitution 置换 置换（Substitution） 例如 {a/x , f(b)/y ，w/z} 是一个置换 {g(y)/x , f(x)/y} 不是一个置换 {g(a)/x , f(x)/y} 不是一个置换 7.1 置换 substitutio