【多选题】前提:¬( p->q)∧q, p∨q, r->s 结论1:r 结论2:s 结论3:r ∨ s 下面哪些说法是正确的?
A. 从此前提出发，推结论1的推理是正确的。 B. 从此前提出发，推结论2的推理是正确的。 C. 从此前提出发，推结论3的推理是正确的。 D. 从此前提出发，推任何结论的推理都是正确的
A. 从此前提出发，推结论1的推理是正确的。 B. 从此前提出发，推结论2的推理是正确的。 C. 从此前提出发，推结论3的推理是正确的。 D. 从此前提出发，推任何结论的推理都是正确的
举一反三
- 构造下列推理的证明。 （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
- ( )不是正确的推理形式。 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
- 前提 [tex=10.429x1.357]itqyUfDjNKE+JM/nxSbt7spobl+ZjxJG/IUpW7DqZdssCGQNBM6MK/UyzfvuyvCGdtOCTRSoW+haOCQXF6zf5g==[/tex] 结论 [tex=1.786x1.0]6Bj0UZdT+bQUv8JcmHc7JQ==[/tex][br][/br] 结论 [tex=1.857x1.0]lk1v9zu8C0wLnE7juUa4Ag==[/tex][br][/br] 结论 [tex=3.429x1.0]SVpCoAxgGX1tGPUBwOfvyQ==[/tex][br][/br](1)证明从此前提出发,推出结论1、结论、论3的推理都是正确的.[br][/br](2)证明从此前提出发,推任何结论的推理都是正确的.
- ( )不是正确的推理形式。 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∨