求证 p∨(q→p) ≡q→p

来源：学生作业帮编辑：作业帮分类：数学作业时间：2024/06/01 10:17:57

求证 p∨(q→p) ≡q→p

q→p的等值式是┐q∨p,所以
p∨(q→p) ≡ p∨(┐q∨p) ≡ ┐q∨p ≡ q→p
再问：请问一下为什么p∨(┐q∨p) ≡ ┐q∨p 中的p∨ 可以直接去掉呢~~~谢谢
再答： p∨(┐q∨p) ≡ p∨p∨┐q ≡ ┐q∨p ≡ q→p 交换律 p∨p ≡ p，这个是等幂律

(p→q)∧(q→p)等值(p∨q)→(q∧p),其中p,q多少命题公式. (P→Q)∧(R→Q)＜＝＞(P∨R)→Q (p+2q)(2p-q)-(p+q)(p-q) p.q. 6p{(p+q)(p+q)}-4q(p+q) 已知p^3+q^3=2,求证p+q ((p∨q) ∧(p→q)) ↔(q→p) 的主析取范式和主合取范式用“p→q=~p∨q”证明：（p→q）∧（q→r）=> p→r 前提条件P→﹁Q P的有效结论是() A:P B:﹁P C:Q D:﹁Q 求( p→q)→( q∨p)的主析取范式步骤解释 ┐(P∨Q→┐R)=(┐P∨Q)∧R如何证明（P→（Q∨┐R））∧┐P∧Q