用符号“∈”或“∉”填空：（1）−3 N，0.5 N，3 N；（2）1.5 Z，−5 Z，3 Z；（3）−0.2 Q，π Q，7.21 Q；（4）1.5 R，−1.2 R，π R．

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。证明:设Q(x):x为有理数;R(x):x为实数;Z(x):x为整数;前提:∀x(Q(x)→R(x)),∃x(Q(x)∧Z(x));结论:∃x(R(x)∧Z(x))。(1)∃x(Q(x)∧Z(x))P(2)Q(c)∧Z(c)ES(1)(3)∀x(Q(x)→R(x))P(4)Q(c)→R(c)US(3)(5)Q(c)T(2)I(6)R(c)T(2)(4)I(7)Z(c)

下列关系不正确的是（　　） A: 3.14∈Q B: 2∈Z C: 3∈R D: π∈Q

构造下式的推理证明：有理数都是实数，有的有理数是整数，因此有的实数是整数。证明设Q（x）：x为有理数；R（x）：x为实数；Z（x）：x为整数；前提：∀x(Q(x)→R(x))，∃x(Q(x)⋀Z(x))；结论：∃x(R(x)⋀Z(x))。（1）∃x(Q(x)⋀Z(x)) P（2）Q(c)⋀Z(c) ES（1）（3）∀x(Q(x)→R(x)) P（4）Q(c)→R(c) US（3）（5）Q(c) T（2）I（6）R(c) T（2）（4）I（7）Z(c) T（2）I（8）R(c)⋀Z(c) T（6）（7）I（9）∃x(R(x)⋀Z(x)) EG（8）以上推理是有效的。 A: 正确 B: 错误

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。判断推理证明是否正确。 证明:设Q(x):x为有理数;R(x):x为实数;Z(x):x为整数; 前提:∀x(Q(x)→R(x)),∃x(Q(x)∧Z(x)); 结论:∃x(R(x)∧Z(x))。 (1)∃x(Q(x)∧Z(x)) 前提引入 (2)Q(c)∧Z(c) (1)∃- (3)∀x(Q(x)→R(x)) 前提引入 (4)Q(c)→R(c) (3)∀- ( 5 )Q(c) (2) 化简 ( 6 )R(c) (4)(5) 假言推理 ( 7 )Z(c) (2) 化简 (8)R(c)∧ Z(c) (6)(7) 合取引入 (9)∃x(R(x)∧Z(x)) (8)∃+

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。证明:设Q（x）:x为有理数;R（x）:x为实数;Z（x）:x为整数;前提:∀x（Q（x）→R（x））,∃x（Q（x）∧Z（x））;结论:∃x（R（x）∧Z（x））。（1）∃x（Q（x）∧Z（x））P（2）Q（c）∧Z（c）ES（1）（3）∀x（Q（x）→R（x））P（4）Q（c）→R（c）US（3）（5）Q（c）T（2）I

以下哪几项是前束范式？ A: (∀x)(∀y)(P(x)∧(∃z)Q(y,z)∨R(x,z)) B: (∀z)(∀x)(∃y)(P(x)∧Q(y,z)∨R(x,z)) C: (∀x)(∀y)(P(x)∧Q(y,z)∨(∃z)R(x,z)) D: (∃x)(∃y)(∀z)(P(x)∧Q(y,z)∨R(x,z))

将公式∀x(P(x)→Q(x，y))∧R(x，y)使用改名规则变换后正确的是 。 A: ∀z(P(z)→Q(z，y))∧R(x，y) B: ∀y(P(y)→Q(y，y))∧R(x，y) C: ∀z(P(z)→Q(x，y))∧R(x，y) D: ∀z(P(z)→Q(z，y))∧R(z，y)

自然数集、整数集、实数集、有理数集的符号分别是（ ） A: Z、R、N、Q B: R、Q、 N、Z C: N、Z、R、Q D: Q、N、Z、R

切槽循环指令G75在程序中的书写格式正确的是( ) A: G75 X(d)G75 R(r) Z(z) P(p) Q(q) F(f) B: G75 Z(z)G75 X(d) R(r) P(p) Q(q) F(f) C: G75 P(p)G75 X(d) R(r) Z(z) Q(q) F(f) D: G75 R(r)G75 X(d) Z(z) P(p) Q(q) F(f)