在二难论证中,下列有效的论证形式有()。
A: p→q-r→-sp∨-r∴q∨-s
B: p→q-r→-s-q∨s∴-p∨r
C: p→q-r→-sq∨-s∴p∨-r
D: p→q-r→-s-p∨r∴-q∨s
A: p→q-r→-sp∨-r∴q∨-s
B: p→q-r→-s-q∨s∴-p∨r
C: p→q-r→-sq∨-s∴p∨-r
D: p→q-r→-s-p∨r∴-q∨s
举一反三
- ( )不是正确的推理形式。 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
- ( )不是正确的推理形式。 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)∧q)→~p B: ((p∧q)∧r)→(p∧r) C: ((~p→q)∧q)→~p D: ((p→q)∧(r∧p))→q E: (p→q)∧(r→s)∧(q∨s))→(p∨r)
- 下列公式满足形式A→(B→C)的有: A: p→(q→(r→s)) B: p→((q→r)→s) C: (p→(q→r))→s D: (p→q)→(r→s)
- 构造下列推理的证明。 (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