一阶谓词原理优秀培训书.pptVIP

在I 下，下列哪些公式为真？哪些为假？哪些的真值还不能确定？ (1) F(f(x,y),g(x,y)) 在I下，被解释成 “x+y=x˙y”, 这不是命题 (2) F(f(x,a),y)?F(g(x,y),z) 在I下，被解释成 “(x+0=y)?(x˙y=z)”, 这不是命题 (3) ?F(g(x,y), g(y,z)) 在I下，被解释成 “x˙y≠y˙z”, 这不是命题 (4) ?xF(g(x,y),z) 在I下，被解释成 “?x( x˙y≠z)”, 这不是命题 (5) ?xF(g(x,a),x)?F(x,y) 在I下，被解释成 “?x(( x˙0=x) ?(x=y))”, 由于蕴含式前件为假，所以被解释的公式为真。 (6) ?xF(g(x,a),x) 在I下，被解释成 “?x( x˙0=x)”, 这不是命题 (7) ?x?y F(f(x,a),y) ?F(f(y,a),x) 在I下，被解释成 “?x?y(( x+0=y) ?(y+0=x))”, 这是真命题 (8) ?x?y?z F(f(x,y),z) 在I下，被解释成 “?x?y?z(x+y=z)”, 这是真命题 (9) ?x F(f(x,x),g(x,x)) 在I下，被解释成 “?x(x+x=x˙x)”, 这是真命题 解 为方便起见，用A，B，C分别记(1)，(2)，(3)