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

已有定义语句:int x=2,y=4,z=6;if(x>y) z=x;x=y;y=z;执行上述语句后x,y,z的值是____。 A: x=4,y=2,z=2 B: x=4,y=4,z=2 C: x=4,y=6,z=6 D: x=4,y=2,z=6

下列哪条语句是正确的（ ） A: A=[1 2;3 4];B=[3;7];A.*B; B: A=cell(2,3);A(1,2)=[4;5]; C: A=[2 3 5 7;9 4 6 1;7 3 2 5];B=[1 7;0 5];A(2:end,2:2:end) D: x=-5:5;y=-5:5;z=x.*x-y.*y;surf(x,y,z);

已知4x-3y-3z=0，x-3y+z=0(x≠0，y≠0，z≠0)，那么x：y：z A: 4：3：9 B: 4：3：7 C: 12：7：9 D: 以上结论都不对

在空间直角坐标系中，下面表示平面方程的是（ ）. A: \( {x^2} + {y^2} + {z^2} = 4 \) B: \( 2x - 6y + 2z - 7 = 0 \) C: \( 3{x^2} + 4{y^2} = 1 \) D: \( 4{y^2} + \frac { { {z^2}}}{3} = 1 \)