利用反证法证明：R∨S，R→￢Q，S→￢Q,P→Q=>￢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

‎P，Q，R都是4bit的输入矢量，下面哪一种表达形式是正确的（）‌ A: input [3:0] P,Q,R B: input [3:0] P,Q,R C: input P,Q,R[3:0] D: input P[3:0],Q,R E: input P[3:0],Q[3:0],R[3:0] F: input [3:0] P, [3:0]Q, [3:0]R

P,Q,R都是4位的输入矢量,下面哪一种表达形式是正确的。 A: inputP[3:0],Q,R; B: inputP,Q,R[3:0]; C: inputP[3:0],Q[3:0],R[3:0]; D: input[3:0]P,[3:0]Q,[0:3]R; E: input[3:0]P,Q,R;

有以下程序： #include＜stdio.h＞ main() int a=7, b=8, *p, *q, *r; p=＆a; q=＆b; r=p; p=q; q=r; printf("%d, %d, %d, %d\n', *p, *q, a, b); 程序运行后的输出结果是（）。 A: 8, 7, 8, 7 B: 7, 8, 7, 8 C: 8, 7, 7, 8 D: 7, 8, 8, 7

用真值表判断下列公式的类型 (1)p→(p∨q∨r) (2)(p→Øp)→Øq (3) Ø(q→r)∧r (4)(p→q)→(Øq→Øp) (5)(p∧r) « (Øp∧Øq) (6)((p→q)∧(q→r))→(p→r) (7)(p→q) « (r«s)

P，Q，R都是4bit的输入矢量，下面哪一种表达形式是正确的（ ）。 A: input [3:0] P,Q,R; B: input P[3:0],Q[3:0],R; C: input P[3:0],Q,R; D: input P,Q,R[3:0];

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

4 Complete the words. 25ba s t r a i g h ‍t straight 1 p o i n _ _ _ ____ 2 L - s h a _ _ _ ____ 3 c u r _ _ _ ____ 4 r e c t a n _ _ _ ____ 5 v e r t i _ _ _ ____ 6 c i r c u _ _ _ ____ 7 r o _ _ _ ____ 8 c i r _ _ _ ____ 9 t r i a n _ _ _ ____ 10 h o r i z o n _ _ _ ____ 11 s q u _ _ _ ____ 12 p a r a l _ _ _ ____ 13 d i a m _ _ _ ____ 14 s _ _ _ - s h a p e d ____

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。 证明:设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) 本例中一定要把⑴,⑵写在⑶,⑷的前面,因为存在指定以后一定满足全称指定,否则不一定满足。也就是说同一个体变元存在指定一定要先于全称指定