《离散数学课件》谓词逻辑1.pptVIP

*/66 自由变元和约束变元 定义3：一个变元x 若在公式中有自由出现，则称此变元为自由变元； 若有约束出现，则称为约束变元。 例 ?x(A(x，y)) x为约束变元， y为自由变元，不受全称量词约束，可以看作为公式中的参数。 */66 例 ?x(p(x)??yQ(x,y)) 指出上述公式的指导变元、辖域、约束变元和自 由变元。 解：由?x后的()，x是指导变元，?x的辖域是后面整个式子 p(x)??yQ(x,y) ， y是指导变元，辖域仅Q(x，y)此部分。 x两次出现均是约束出现，y的一次出现是约束出现，故x，y是约束变元，而不是自由变元。 */66 ?x(A(x，y)??y(B(x，y)?C(z))) 其中, 变元y既有约束出现又有自由出现。 对约束变元进行改名，使得: 3.3.2 改名和代入 同一个变元要么为约束出现，要么为自由出现，同时使不同的量词所约束的变元不同名. 一、改名（换名） */66 改名的规则 (1) 改名是对约束变元而言，自由变元不能改名，改名时应对量词的指导变元及其作用域中所出现的约束变元处处进行； (2) 改名前后不能改变变元的约束关系； (3) 改名用的新名应是该作用域中没有使用过的变元名称。 例： ?x(A(x，y)??y(B(x，y))) 解： 可把公式改名为： ?x(A(x，y)??z(B(x，z))) */66 例 对下面公式实施改名 (1) ?x(A(x，y)??y(B(x，y)?C(z))) (2) ?xF(x，y)∧?xG(x，y) 解：(1) 可把公式改名为： ?x(A(x，y)??u(B(x，u)?C(z))) (2) x是约束变元,y是自由变元。而x的两次出现尽管均是约束的,但分别在不同的辖域。含义是互相无关的。可以将一处换名,但不能与y同名。可以改名为： ?xF(x，y)∧?uG(u，y) */66 二、代入 ——谓词演算公式中的自由变元可以更改，称为代入。 代入是对自由变元而言， 约束变元不能代入。 代入后的式子是原式的特例 */66 代入规则 (1) 代入必须处处进行，即代入时必须对公式中出现的所有同名的自由变元进行。 (2) 代入后不能改变原式和代入式的约束关系。 (3) 代入也可以对谓词填式而言，但也要遵循上面两条规则； (4) 命题变元也可以实施代入。 例： ?x(A(x，y)??y(B(x，y))) 解： 可把公式改名为： ?x(A(x，z)??y(B(x，y))) * 对谓词公式的自由变元可以用与原公式中所有变元名称不同的符号去代替，但必须处处代替。 例如： (?x)P(x,y)∨Q(z,y)? (?x)P(x,w)∨Q(z,w) (2) (?x)(?y)（P(x,y)∨Q(y,z)）∧(?x)P(x,y) ?(?x)?y)（P(x,y)∨Q(y,z)）∧(?u)P(u,v) */66 例 ?x(A(x，y)??y(B(x，y)?C(z))) 试把公式中的自由变元y 代以式子x2+2。 解：先对原式改名，?x改为?u，?y改为?v，改名后得： ?u(A(u，y)??v(B(u，v)?C(z))) 最后代入得： ?u(A(u，x2+2)??v(B(u，v)?C(z))) 验证公式可知，没有改变变元的约束关系，所以这种代入符合代入规则。 */66 例 ?x(A(x，y)??y(B(x，y)?C(z))) 试把公式中的谓词变元A(e1，e2)代以 ?yD(e1，e2，y，x)。 解: 现在先对原式改名，?x改为?u，?y改为?v得： ?u(A(u，y)??v(B(u，v)?C(z)))， 再对代入式改名，?y改为?t得： ?tD(e1，e2，t，x)， 最后代入，得： ?u(?tD(u，y，t，x)??v(B(u，v)?C(z))) 2-1 * 谓词演算中语句的符号化是人工智能中知识表示的基础。 其中（1）与（2）表示个体性质， （3）表示两个个体间的关系， （4）表示三个个体间的关系。 其中（1）与（2）表示个体性质， （3）表示两个个体间的关系， （4）表示三个个体间的关系。 我们不一一指明含有变元的谓词形式究竟是谓词命名式还是