离散数学这道题怎么证明? 前提:p→q 结论:p→(p∧q)

2025-02-23 21:04:21
推荐回答(1个)
回答1:

p→q
⇔¬p∨q
⇔(¬p∨q)∧(¬p∨p)
⇔¬p∨(q∧p)
⇔¬p∨(p∧q)
⇔p→(p∧q)