第五章 一阶逻辑等值演算和推理.pptVIP

复习 ;约束变元的换名与自由变元的代入规则;;习题;;（4）没有不爱吃糖的人。 设F(x): x是人，G(x): x爱吃糖，命题符号化为 ??x(F(x)??G(x)) 或 ?x(F(x)?G(x)) （5）一切人都不一样高。 设 F(x):x是人, H(x,y)：x与y相同, L(x,y): x与y一样高，命题符号化为 ?x?y(F(x)?F(y)??H(x,y)??L(x,y)) 或 ?x(F(x)??y(F(y)??H(x,y)??L(x,y))) （6）并不是所有的汽车都比火车快。 设F(x):x是汽车, G(y):y是火车, H(x,y):x比y快，命题符号化为 ??x?y(F(x)?G(y)?H(x,y)) 或 ?x?y(F(x)?G(y)??H(x,y));;3、判断公式是否为永真公式。 (?x A(x)? ?x B(x)) ? ?x (A(x)? B(x)) 解： 不是永真公式。 设个体域为{a,b}，令A(a)=1,B(a)=0, A(b)=0,B(b)=1。 ;第5章 一阶逻辑等值演算与推理;本章说明;本章主要内容 ;5.1 一阶逻辑等值式与置换规则;等值式的定义;一阶逻辑中的一些基本