证明：P→(Q∨R)⇔(P→Q)∨(P→R)
无
举一反三
内容
- 0
判断证明(p→q)∧(q→r)∧¬r=﹥¬p 的过程是否正确。 证明：⑴ p→q P规则 ⑵ q→r P规则 ⑶ p→r T⑴⑵I ⑷ ¬r→¬p T⑶E
- 1
证明P→(Q→R) ⇔ ¬P ∨(¬Q ∨ R )
- 2
判断证明(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的有效结论
- 3
公式（p∨q）→r的主合取范式是（ ） A: (P∨Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) B: (┐P∨Q∨R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) C: (P∨┐Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) D: (┐P∨Q∨┐R)∧(┐P∨┐Q∨R)∧(┐P∨┐Q∨┐R)
- 4
判断证明(p→q)∧(q→r)∧¬r=﹥¬p 的过程是否正确。证明：⑴ p→q...¬p是前提p→q，q→r，¬r的有效结论