用真值表判断下列公式的类型 (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)

利用反证法证明：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

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。判断推理证明是否正确。 证明:设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: p=q=r=0.82 p=q=r=1 C.p=q=r=1.22 D.p=q=1,r=0.5 B: p=q=r=1 C: p=q=r=1.22 D: p=q=1,r=0.5

有以下程序： 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); } 程序运行后的输出结果是 【1】 。

有以下程序： #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

正面斜二测的轴向伸缩系数 。 A: p=q=r=1 B: p=q=1,r=0.5 C: p=r=1,q=0.5 D: q=r=1,p=0.5

构造下式的推理证明：有理数都是实数，有的有理数是整数，因此有的实数是整数。证明设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: p=1，r=1，q=1 B: p=0.5，r=1，q=1 C: p=1，r=0.5，q=1 D: p=1，r=1，q=0.5

斜二测的轴向伸缩系数是多少？ A: p=q=r=1 B: p=q=r=0.82° C: p=r=1,q=0.5 D: p=q=1,r=0.5