由前提“p→(q∧r)”再加上前提( )可必然得出结论¬p。
A: q∨
B: q∧
C: q∧¬
D: ¬ q∧
E: ¬ q∧¬
A: q∨
B: q∧
C: q∧¬
D: ¬ q∧
E: ¬ q∧¬
C,D,E
举一反三
- 以~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
内容
- 0
( )不是正确的推理形式。 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
- 1
由前提"p或者q"进行选言推理,加上一个前提"q",能得出()的结论。 A: 非P B: P C: q D: 非q
- 2
( )不是正确的推理形式。 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
- 3
以“如果p或q,那么r”和“非r”为前提,可必然推出结论 ( ) A: ¬p∧¬q B: p¬∧q C: ¬p∧q D: ¬p∨¬q
- 4
以“~r→p”和“(~q∨~r)∧q”为前提,能必然推出结论()。 A: ~r B: ~q C: ~p D: r→p E: p∧q