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

在指定的解释下，下列公式为真的是() A: ("x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2} B: ($x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域: {1,2} C: ($x)(P(x) →Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4} D: ("x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}

在x值处于-2～2、4～8时值为“真”，否则为“假”的表达式是______。 A: (2＞x＞-2)||(4＞x＞8) B: !(((x＜-2)||(x＞2))&&((x＜=4)||(x＞8))) C: (x＜2)&&(x＞=-2)&&(x＞4)&&(x＜8) D: (x＞-2)&&(x＞4)||(x＜8)&&(x＜2)

强度为Q的源流位于x轴的原点左侧，强度为Q的汇流位于x轴原点右侧，距原点的距离均为a，则流函数为（）。 A: ψ＝arctan[y/（x－a）]Q/（2π）＋arctan[y/（x＋a）]Q/（2π） B: ψ＝arctan[y/（x＋a）]Q/（2π）＋arctan[y/（x－a）]Q/（2π） C: ψ＝arctan[（y－a）/x]Q/（2π）＋arctan[（y＋a）/x]Q/（2π） D: ψ＝arctan[（y＋a）/x]Q/（2π）＋arctan[（y－a）/x]Q/（2π）

不等式|x+3|﹤5的解集为（）。 A: {x|x＞2} B: {x|-8﹤x﹤2} C: {x|x﹤-8} D: {x|2﹤x﹤8}

设P={x|x＞0}，Q={x|-1＜x＜2}，那么P∩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(x)=x^3+6x+2，b(x)=〖2x〗^2+6x+8，要完成两个多项式相加、相乘和相除(a(x))/(b(x))的运算，则以下哪个程序正确( ) A: a= [1 0 6 2]; b= [2 6 8]; C=a+b D=conv(a,b) E=deconv(a,b) B: a= [1 6 2]; b= [2 6 8]; C=a+b D=conv(a,b) [q,r]=deconv(a,b) C: a= [1 0 6 2]; b= [2 6 8]; C=a+(0,b) D=conv(a,b) [q,r]=deconv(a,b) D: a= [1 0 6 2]; b= [2 6 8]; C=a+b D=conv(a,b) [q,r]=deconv(a,b)

已知集合P={x|x（x-3）＜0}，Q={x||x|＜2}，则P∩Q=______．