给定解释I如下. a) 个体域D=N. b) 特定元素a=2. c) N上的函数f(x,y)=x+y,g(x,y)=x*y. d) N上的谓词F(x,y):x=y. 给出下列各式在I下的解释, 并讨论它们的真值. 1 ∀x F(g(x,a),x) 2 ∀x∀y ( F(f(x,a),y)→ F(f(y,a),x ) 3 ∀x∀y∃z F(f(x,y),z) 4 ∃x F(f(x,x),g(x,x))

公告：维护QQ群：833371870，欢迎加入！
公告：维护QQ群：833371870，欢迎加入！
公告：维护QQ群：833371870，欢迎加入！

2022-06-07

给定解释I如下. a) 个体域D=N. b) 特定元素a=2. c) N上的函数f(x,y)=x+y,g(x,y)=x*y. d) N上的谓词F(x,y):x=y. 给出下列各式在I下的解释, 并讨论它们的真值. 1 ∀x F(g(x,a),x) 2 ∀x∀y ( F(f(x,a),y)→ F(f(y,a),x ) 3 ∀x∀y∃z F(f(x,y),z) 4 ∃x F(f(x,x),g(x,x))

答案：

查看

给定解释I如下. a) 个体域D=N. b) 特定元素a=2. c) N上的函数f(x,y)=x+y,g(x,y)=x*y. d) N上的谓词F(x,y):x=y. 给出下列各式在I下的解释, 并讨论它们的真值. 1 ∀x F(g(x,a),x) 2 ∀x∀y ( F(f(x,a),y)→ F(f(y,a),x ) 3 ∀x∀y∃z F(f(x,y),z) 4 ∃x F(f(x,x),g(x,x))

举一反三