利用反证法证明：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
利用反证法证明：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 均匀分布在半径为R、长为L的圆弧上，圆弧的两端有一小空隙，空隙长为\(\Delta\)L(\(\Delta\)L< A: \(\frac{-Q\Delta L}{4\pi\varepsilon_0R^2L} \vec i\), \(\frac{-Q}{4\pi\varepsilon_0R}\) B: \(\frac{-Q\Delta L}{8\pi\varepsilon_0R^3} \vec i\), \(\frac{-Q}{4\pi\varepsilon_0R}\) C: \(\frac{Q\Delta L}{4\pi\varepsilon_0R^2L} \vec i\), \(\frac{Q}{4\pi\varepsilon_0R}\) D: \(\frac{-Q\Delta L}{4\pi\varepsilon_0R^2L} \vec i\), \(\frac{-Q\Delta L}{4\pi\varepsilon_0RL}\)
如图所示，电荷\(-\)Q 均匀分布在半径为R、长为L的圆弧上，圆弧的两端有一小空隙，空隙长为\(\Delta\)L(\(\Delta\)L< A: \(\frac{-Q\Delta L}{4\pi\varepsilon_0R^2L} \vec i\), \(\frac{-Q}{4\pi\varepsilon_0R}\) B: \(\frac{-Q\Delta L}{8\pi\varepsilon_0R^3} \vec i\), \(\frac{-Q}{4\pi\varepsilon_0R}\) C: \(\frac{Q\Delta L}{4\pi\varepsilon_0R^2L} \vec i\), \(\frac{Q}{4\pi\varepsilon_0R}\) D: \(\frac{-Q\Delta L}{4\pi\varepsilon_0R^2L} \vec i\), \(\frac{-Q\Delta L}{4\pi\varepsilon_0RL}\)
半径为R的均匀带电实心球体所带电量为q,由球心到球面的电势差为 A: q/（8πε0R） B: q/（8πε0R2） C: q/（4πε0R） D: q/（4πε0R2）
半径为R的均匀带电实心球体所带电量为q,由球心到球面的电势差为 A: q/（8πε0R） B: q/（8πε0R2） C: q/（4πε0R） D: q/（4πε0R2）
分别指出由下列各组命题构成的“p或q”“p且q”“非p”形式的复合命题的真假．(1)p：4＋3=7，q：5＜4；(2)p：9是质数，q：8是12的约数；(3)p：1∈{1，2}，q：{1，2}；(4)p：={0}，q：．
分别指出由下列各组命题构成的“p或q”“p且q”“非p”形式的复合命题的真假．(1)p：4＋3=7，q：5＜4；(2)p：9是质数，q：8是12的约数；(3)p：1∈{1，2}，q：{1，2}；(4)p：={0}，q：．
在点电荷+q的电场中，若取距离+q为a处的P点为电势零点，则在qP延长线上，与+q相距为2a处的点的电势值为（） A: q/4πεa B: q/8πεa C: -q/4πεa D: -q/8πεa
在点电荷+q的电场中，若取距离+q为a处的P点为电势零点，则在qP延长线上，与+q相距为2a处的点的电势值为（） A: q/4πεa B: q/8πεa C: -q/4πεa D: -q/8πεa
在MATLAB中运行[d,p,q]=gcd(128,36)，输出结果是 A: d=4, p=2, q=-8 B: d=4, p=2, q= -7 C: d=4, p=2, q= 8 D: d=4, p=2, q= 7
在MATLAB中运行[d,p,q]=gcd(128,36)，输出结果是 A: d=4, p=2, q=-8 B: d=4, p=2, q= -7 C: d=4, p=2, q= 8 D: d=4, p=2, q= 7
证明以下蕴涵关系成立:﹁Q∧(P→Q) ⇒﹁P 的正确步骤顺序是： 1、即证明：﹁Q∧(P→Q)→﹁P 永真 2、⟺﹁Q∧(﹁P∨Q)→﹁P[br][/br] 3、⟺﹁Q∧(﹁P∧Q)→﹁P[br][/br] 4、⟺﹁﹁Q∧(﹁P∧Q)∧﹁P[br][/br] 5、⟺﹁（﹁Q∧(﹁P∨Q)）∨﹁P[br][/br] 6、⟺ Q∨﹁(﹁P∨Q)）∨﹁P[br][/br] 7、⟺ Q ∨ P ∨ ﹁Q ∨﹁P[br][/br] 8、⟺ Q ∨ (P ∧ ﹁Q) ∨﹁P[br][/br] 9、⟺ (Q∨﹁P) ∨ (P ∧ ﹁Q)[br][/br] 10、⟺﹁ ( P ∧ ﹁Q) ∨ ( P ∧ ﹁Q)[br][/br] 11、⟺T A: 1-2-4-7-11 B: 1-2-5-6-8-9-10-11 C: 1-3-4-7-11 D: 1-2-4-7-8-9-10-11
证明以下蕴涵关系成立:﹁Q∧(P→Q) ⇒﹁P 的正确步骤顺序是： 1、即证明：﹁Q∧(P→Q)→﹁P 永真 2、⟺﹁Q∧(﹁P∨Q)→﹁P[br][/br] 3、⟺﹁Q∧(﹁P∧Q)→﹁P[br][/br] 4、⟺﹁﹁Q∧(﹁P∧Q)∧﹁P[br][/br] 5、⟺﹁（﹁Q∧(﹁P∨Q)）∨﹁P[br][/br] 6、⟺ Q∨﹁(﹁P∨Q)）∨﹁P[br][/br] 7、⟺ Q ∨ P ∨ ﹁Q ∨﹁P[br][/br] 8、⟺ Q ∨ (P ∧ ﹁Q) ∨﹁P[br][/br] 9、⟺ (Q∨﹁P) ∨ (P ∧ ﹁Q)[br][/br] 10、⟺﹁ ( P ∧ ﹁Q) ∨ ( P ∧ ﹁Q)[br][/br] 11、⟺T A: 1-2-4-7-11 B: 1-2-5-6-8-9-10-11 C: 1-3-4-7-11 D: 1-2-4-7-8-9-10-11
有以下程序 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]); } 程序运行后的输出结果是______。
有以下程序 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]); } 程序运行后的输出结果是______。
以下哪个步骤是P⟷Q⇔ (﹁P∧﹁Q )∨(Q∧P)等价证明的正确步骤 P⟷Q 1、⇔( P→Q)∧( Q→P) 2、⇔( P→Q)∨( Q→P) 3、⇔(﹁P∨Q)∧(﹁Q∨P) 4、⇔(﹁P∧Q)∨(﹁Q∧P) 5、⇔[﹁P∨(﹁Q∨P)]∧[Q∨(﹁Q∨P)] 6、⇔[﹁P∧(﹁Q∨P)]∨[Q∧(﹁Q∨P)] 7、⇔[(﹁P∧﹁Q)∨(﹁P∧P)]∨ [(Q∧﹁Q)∨(Q∧P)] 8、⇔[(﹁P∧﹁Q)∧T]∨[T∧(Q∧P)] 9、⇔[(﹁P∧﹁Q)∨ F]∨[F∨(Q∧P)][br][/br] 10、⇔ (﹁P∧﹁Q )∨(Q∧P) A: 1-4-6-9-10 B: 2-4-5-7-9-10 C: 1-3-6-7-9-10 D: 2-4-6-7-9-10
以下哪个步骤是P⟷Q⇔ (﹁P∧﹁Q )∨(Q∧P)等价证明的正确步骤 P⟷Q 1、⇔( P→Q)∧( Q→P) 2、⇔( P→Q)∨( Q→P) 3、⇔(﹁P∨Q)∧(﹁Q∨P) 4、⇔(﹁P∧Q)∨(﹁Q∧P) 5、⇔[﹁P∨(﹁Q∨P)]∧[Q∨(﹁Q∨P)] 6、⇔[﹁P∧(﹁Q∨P)]∨[Q∧(﹁Q∨P)] 7、⇔[(﹁P∧﹁Q)∨(﹁P∧P)]∨ [(Q∧﹁Q)∨(Q∧P)] 8、⇔[(﹁P∧﹁Q)∧T]∨[T∧(Q∧P)] 9、⇔[(﹁P∧﹁Q)∨ F]∨[F∨(Q∧P)][br][/br] 10、⇔ (﹁P∧﹁Q )∨(Q∧P) A: 1-4-6-9-10 B: 2-4-5-7-9-10 C: 1-3-6-7-9-10 D: 2-4-6-7-9-10
构造下式的推理证明：有理数都是实数，有的有理数是整数，因此有的实数是整数。证明设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)) 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: 错误