吸收律的证明

题目

吸收律的证明
P∨(P∧Q) 能够逻辑推 不用真值表

答案

证明P∨(P∧Q)→P为一个重言式（永真式）就可以证明P∨(P∧Q)=>P成立.
个人这样认为,
化简P∨(P∧Q)→P可最后推出永为T