由前提“p→(q∧r)”再加上前提（ ）可必然得出结论¬p。
A: q∨
B: q∧
C: q∧¬
D: ¬ q∧
E: ¬ q∧¬
A: q∨
B: q∧
C: q∧¬
D: ¬ q∧
E: ¬ q∧¬
举一反三
- 以～p为一个前提进行演绎推理，如果（）。 A: 加上前提（p∨q），则能必然推出结论q B: 加上前提（q∨～p），则能必然推出结论q C: 加上前提（p→q），则能必然推出结论～q D: 加上前提～q，则能必然推出结论（～q∧～p） E: 加上前提（q→p），则能必然推出结论～q
- 以“－p∨－q←－r”为前提，再加上前提（ ）或( )可推出 r。 A: q B: p→－q C: p∨q D: p∧q E: －（－p∨－q）
- 以“（p→q）→r”和“～r”为前提，可必然推出结论（）。 A: ～p∧q B: r→p C: q∨r D: ～（～p∨q） E: ～q∧p
- 构造下列推理的证明。 （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→q)∧(r→s)”和“(p∨r)”,可得出结论( ) A: ¬q∧s B: ¬(¬q∧¬s) C: ¬(q∨s) D: q∧s