构造下列推理的证明。 （1）前提：¬P∨Q, ¬（Q∧R）,R；结论：¬P。 （2）前提：（P→Q）→（Q→R）,R→P;结论：Q→P。 （3）前提：P→（Q→R）, ¬S∨P;结论：Q→（S→R）。 （4）前提：¬P∧¬Q;结论：¬（P∧Q）。 （5）前提：P→¬Q,R∨S,S→¬Q;结论：¬P

设P:2×2=5,Q:雪是黑的,R:2×4=8,S:太阳从东方升起,下列()命题的真值为真。 A: P→Q∧R B: R →P∧S C: S →Q ∧R D: ( P ∧R)∨(Q∧S)

【单选题】设 P : 2×2=5 , Q :雪是黑的, R : 2×4=8 , S :太阳从东方升起,则下列真命题为 () (2.0分) A. P→Q∧R B. R→P∧S C. S→Q∧R D. (P∧R)∨(Q∧S)

构造下列命题的真值表。 （1）¬（P→Q）∧Q。 （2）（P→¬Q）→¬Q。 （3）P→Q∨R。 （4）P↔¬Q。 （5）（（P∨Q）→R）↔S。

分别写出下列前提推出的结论(1) ┐p∨q, q→r, ┐r______ (2) p∨q, p→r, q→s______ (3) ┐p→q, p→r, r→s______ (4) p, ┐p∨r, ┐r∨s______ A.s B.p C.r∨s D. ┐p E.q∨s F. ┐r G.r→s H.r→p

( )不是正确的推理形式。 A: 前提： p∨q, pÛr, ~q∨s 结论： s∨ B: 前提： ~p∧q, p∨~r, r∨s, sÞu 结论： u C: 前提： pÞ(qÞr) 结论： (pÞq)Þ(pÞr) D: 前提： (p∧q)Þr, ~r∨s, ~s, p 结论： q

‌( )不是正确的推理形式。‏ A: 前提： ~p∧q, p∨~r, r∨s, sÞu结论： u B: 前提： p∨q, pÛr, ~q∨s结论： s∨r C: 前提： pÞ(qÞr)结论： (pÞq)Þ(pÞr) D: 前提： (p∧q)Þr, ~r∨s, ~s, p结论： q

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

以下程序的运行结果是______。voidswap(int**r,int**s){int*t;t=*r;*r=*s;*s=t;}voidmain(){inta=1,b=2,*p,*q;p=&a;q=&b;swap(&p,&q);printf("%d,%d\n",*p,*q);}

下列推理形式中，有效的是 A: (p∨～q)∧p→～q B: (p→～q)∧q→～p C: (～p←q)∧q→～p D: (p∨～q)∧q→～p E: [(p→q)∧(r→s)∧(～p∨～r)]→(～q∨～s)