不构造真值表证明蕴含式

(P→Q)=>P→(P∧Q).
2025-04-06 04:18:11
推荐回答(1个)
回答1:

P→Q=>┐P∨Q=>T∧(┐P∨Q)=>(┐P∨P)∧(┐P∨Q)

=>┐P∨(P∧Q)=>P→(P∧Q).