利用反证法证明：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→s））∨（p∨r）→q∨s（（p→q）∧（r→s））∨（￢q∨￢s）→￢p∨￢r（（p→q）∧（r→s））∧（p∧r）→q∧s（f∨g→（q→（i«k）））∧（q∧i）∧（q∨m→f）→（i«k）

证明: (p∧q)→r，¬r∨s，¬s，p蕴含¬q 过程如下： 证明： ⑴ q P(附加前提) ⑵ ¬r∨s P ⑶ ¬s P ⑷ ¬r T⑵⑶I ⑸ (p∧q)→r P ⑹ ¬(p∧q) T⑷⑸I ⑺ ¬p∨¬q T⑹E ⑻ p P ⑼ ¬q T⑺⑻I ⑽ q∧¬q(矛盾) T⑴⑼I 以上证明方法是用归谬法，证明过程是正确的

将字符串中的数字字符删除后输出。 #include "stdio.h" void delnum(char s[]) { int i,j; for(i=0,j=0;【1】;i++) if(s[i]<'0' 【2】 s[i]>'9') { s[j]=s[i]; j++; } 【3】; } main() { char item[50]; gets(item); 【4】; printf("%s ",item); }

程序填空题：输出10000至99999之间的回文数。 #include void main() { int i,g,s,q,w; for(_______1_____;_______2_____;_______3_____) { w=i/10000; q=(i%10000)/1000; s=(i%100)/10; g=i%10; if(g==w && s==q) printf("%d ",i); } }

以下几种蜗杆传动中，传动效率最高的是 A: m=6mm,Z1=1,φv=2°50′，q=9 B: m=6mm,Z1=1,φv=2°50′，q=11 C: m=6mm,Z1=2,φv=2°50′，q=9 D: m=6mm,Z1=2,φv=2°50′，q=11

设已定义char s&#91;9&#93;="xinjiang"和int i,则下面的输出函数调用中正确的是( )。 A: printf("%s",s); B: for(i=0;i<9;i++)printf("%c",s[i]); C: puts(s); D: for(i=0;i<9;i++)puts(c[i]); E: for(i=0;i<9;i++)putchar(c[i]);

单宽流量的选定，一般首先考虑下游河床的地质条件，对于软弱基岩常取（ ）。 A: q=20～50 m3／(s·m) B: q=70～100 m3／(s·m) C: q=50～70 m3／(s·m) D: q=100～150 m3／(s·m)

以下程序段实现的输出是（）。for(i=0;i<;=9;i++)s[i]=i;for(i=9;i>;=0;i--)printf("%2d",s[i]);[/i][/i] A: 9 7 5 3 1 B: 1 3 5 7 9 C: 9 8 7 6 5 4 3 2 1 0 D: 0 1 2 3 4 5 6 7 8 9

设s=’I AM A STUDENT’ , t=’GOOD’ , q=’WORKER’则Concat(Substring(s,6,2),Concat(t,Replace(s,’STUDENT’,q)))=( )