可以用真值表来验证。
(p→q)→(p∧q)<=> ┐(┐p∨q)∨(p∧q)<=> (p∧┐q)∨(p∧q)<=> p∧ (┐q∨q)<=> p∨(┐q∧q)<=> (p∨q)∧(┐q∨p)<=> (￢p→q)∧(q→p)
