由前提“(p→q)∧(r→s)”和“(p∨r)”,可得出结论( )
A: ¬q∧s
B: ¬(¬q∧¬s)
C: ¬(q∨s)
D: q∧s
A: ¬q∧s
B: ¬(¬q∧¬s)
C: ¬(q∨s)
D: q∧s
举一反三
- ( )不是正确的推理形式。 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
- ( )不是正确的推理形式。 A: 前提:¬p∧q,p∨¬r,r∨s,s→u 结论:u B: 前提:(p∧q)→r, ¬r∨s,¬s,p 结论:¬q C: 前提:(p∧q)→r,¬r∨s, ¬s,p 结论:q D: 前提:p∨q,p→s,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
- 以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。 A: p B: ~s C: ~r∧p D: ~r E: s→q