Question

p∧(p→q)=p∧q怎样证明

Answer 1

则 P为真,且 P→Q为真,故 Q为真故P∧ (P→Q) →Q 是重言式.假言推理P→QP∴ Q 6如:即 ¬P∧(P ∨Q) →Q 是一个永真式。