离散数学证明:(p→q)→(p∧q)与(￢p→q)∧(q→p)等值，谢谢!

如题所述

举报该问题

第1个回答 2017-06-01

可以用真值表来验证。

第2个回答 2017-08-25

(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)本回答被网友采纳

相似回答

离散数学,等职演算判断公式类型:(¬p→q)→(q→¬p)答：(¬p→q)→(q→¬p)⇔(p∨q)→(¬q∨¬p)⇔¬(p∨q)∨(¬q∨¬p)⇔(¬p∧¬q)∨(¬q∨¬p)⇔(¬p∧¬q)∨¬q∨¬p ⇔¬q∨¬p 可满足式 ...

大家正在搜

p双条件q等于什么离散数学离散数学只有p才q p→q等价于 p推出q等价于非p或q p→q的等价关系 p则q等价于非p则非q p蕴含q的等值 p→q的主析取 p等价q蕴含r的主合取范式

离散数学，如何证明(p∨q)∨(p∧q)等价于p∨q？除了用...

用离散数学的推理规则怎么证明，P→Q,(￢Q∨R) ∧￢R,...

离散数学问题P→(P∧(Q→P))

离散数学试证明(P→(Q→R)∧(﹁S∨P)∧Q推出S→R

离散数学，用等值演算法求下列公式的主析取范式（p→q）^（...

求助离散数学证明：P∨Q→R 蕴含（两横的箭头）P∧Q→...

离散数学逻辑，证明￢(P↔ Q)和P͛...

离散数学：证明(P→Q)←→(┐P∨Q)是恒真的，求详细步骤...