第4部分谓词逻辑学习课件.pptVIP

内容提要 本章学习要求 谓词公式的类型 公式G称为可满足的，如果存在解释I，使G在I下取1值，简称I满足G。若I不满足G，则简称I弄假G。 公式G称为是恒假的(或不可满足的)，如果不存在解释I满足G。 公式G称为逻辑有效的，或永真的，恒真的，如果G在任何解释I下都满足G。 给定解释N如下： ⑴个体域为自然数集合DN； ⑵DN中的特定元素 a =0； ⑶DN上的函数f(x,y)=x+y,g(x,y)=x·y; ⑷DN上的谓词F(x,y)为x=y; 在解释N下,下面哪些公式为真？哪些公式为假？ ⑴?xF(g(x,a),x); ⑵?x?y(F(f(x,a),y)?F(f(y,a),x)) ； ⑶?x?y?zF(f(x,y),z); ⑴ ?xF(g(x,a),x) = ?x F(g(x,0),x) = ?x F(x?0,x) = ?x F(x?0=x) = ?x F(0=x) ⑵ ?y(F(f(x,a),y)?F(f(y,a),x)) =?x?y(F(x+0,y)?F(y+0,x)) =?x?y(x+0=y?y+0=x) =?x?y(x=y?y=x) ⑶ ?x?y?z(F(f(x,y),z) =?x?y?z(F(f(x,y),z) =?x?y?z(F(x+y,z)