离散数学 吸收律的证明

P∨(P∧Q) 能够逻辑推 出来吗? 不用真值表
2025-05-07 20:01:16
推荐回答(1个)
回答1:

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