用符号“∈”或“∉”填空：（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．

设有定义：int x=7,y=3,z;则执行语句z=7%3后z的值为 A: 2 B: 2.3 C: 1 D: 3

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。证明:设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)

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。判断推理证明是否正确。 证明:设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)∃+

以下命令中,与其余三条命令输出结果不一致的是() A: Q=[1 3 5 7] B: Q=1:2:8 C: Q=linspace(1,7,4) D: Q=[1;3,5;7]’

若2x+y＝z，4x＝7y+5z，则x:y:z＝( )． A: 2:1:3 B: 2:1:1 C: 2:(-1):3 D: 4:7:5

intx=5,y=8,z=7;表达式z=!(x>y)||(x=1,y=3)计算后的结果 A: x=1,y=3,z=1 B: x=1,y=3,z=0 C: x=5,y=8,z=0 D: x=5,y=8,z=1

设有变量定义 int a=1, y=2, z=3; 下列语句序列没有语法错误的是： A: if(x>3); if(y>5) z=7; B: if(x>3); z=6; else z=7; C: if(x<3) if(y>3) z=z+2; y=y-1; else z=z-2; D: if(x<3) else<br> z=z-2;

构造下式的推理证明：有理数都是实数，有的有理数是整数，因此有的实数是整数。证明设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: 错误

用符号“∈”或“∉”填空 （1）0 N； （2） 0.6 Z； （3）π R； （4）1/3 Q； （5）0 ∅