用推理规则证明:┐(P∧┐Q),┐Q∨R,┐R┐P
举一反三
- 判断证明(p→q)∧(q→r)∧¬r=﹥¬p 的过程是否正确。 证明：⑴ p→q P规则 ⑵ q→r P规则 ⑶ p→r T⑴⑵I ⑷ ¬r→¬p T⑶E
- 判断证明(p→q)∧(q→r)∧¬r=﹥¬p 的过程是否正确。 证明:⑴ p→q P规则 ⑵ q→r P规则 ⑶ p→r T⑴⑵I ⑷ ¬r→¬p T⑶E ⑸ ¬r P规则 ⑹ ¬p T⑷ ⑸I 所以¬p是前提p→q,q→r,¬r的有效结论
- 以下基本推理规则错误的是（）。 A: P→Q，Q→R ⇒ P→R B: P⋁Q，P→R，Q→R ⇒ R C: P ⋀ Q ⇒ P D: P →Q , Q ⇒ P
- 构造下面推理的证明A） 前提： p®（q®s）,q, p∨Ør结论： r®sB） 前提： Ø (p∧Øq) , Øq∨r, Ør结论： Ø p
- 判断证明(p→q)∧(q→r)∧¬rÞ¬p 的过程是否正确。 证明:⑴ p→q 前提引入 ⑵ q→r 前提引入 ⑶ p→r ⑴⑵假言三段论 ⑷ ¬r→¬p ⑶置换 ⑸ ¬r 前提引入 ⑹ ¬p ⑷ ⑸假言推理 所以¬p是前提p→q,q→r,¬r的有效结论