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

下列变量属于离散型随机变量的是（ ） A: {3≤x≤8│x∈Z} B: {3≤x≤8│x∈R} C: {3≤x≤8│x∈Q} D: {3≤x≤8│x∈Z}或{3≤x≤8│x∈R}

以下程序的输出结果是() main( ) { int i ， x[3][3]={9 ， 8 ， 7 ， 6 ， 5 ， 4 ， 3 ， 2 ， 1} ， *p=&x[1][1] ； for(i=0 ； i<4 ； i+=2) printf("%d " ， p[i]) ；

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。 证明:设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: {3≤x≤8│x∈Z} B: {3≤x≤8│x∈R} C: {3≤x≤8│x∈Q} D: A和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))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)

前提：∀x(P(x)→Q(x))，∃xP(x) ⇒∃xQ(x) (1)∀x(P(x) → Q(x)) 前提 (2) ∃xP(x) 前提 (3) P(c) (2), Es规则 (4)P(c)→Q(c) (1), Us规则 (5) Q(c) (3)(4), 假言推理I (6)∃xQ(x) (5), Eg规则 上述推理过程是否正确？

已知x(n)={1, 2, 3}，y(n)={1, 2, 1}，则x(n)*y(n)=________。（下划线表示n=0） A: {1, 4, 8, 8, 3} B: {1, 4, 8, 8, 3} C: {1, 4, 8, 8, 3} D: {1, 4, 8, 8, 3}

有以下程序 void f(int *x,int *y) { int t; t=*x;*x=*y;*y=t; } main() { int a[8]={1,2,3,4,5,6,7,8},i,*p,*q; p=a;q=&a[7]; while(*p!=*q){f(p,q);p++;q--;} for(i=0;i<8;i++) printf("%d,",a[i]); } 程序运行后的输出结果是______。

利用反证法证明：R∨S，R→￢Q，S→￢Q,P→Q=&gt;￢P请将下面推理论证的过程补充完整。(说明：输入答案时，不要输入多余的空格)证明过程如下：（1）（ ） 假设前提 （2）P→Q P（3） Q T(1)(2) I（4）S→￢Q P（5）( ) T(3)(4) I（6）R∨S P（7）R T(5)(6) I（8）R→￢Q P（9）￢Q T(7)(8) I（10）（ ）矛盾 T(3)(9) I