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

如题所述

举报该文章

第1个回答 2015-05-06

p→q
⇔¬p∨q
⇔(¬p∨q)∧(¬p∨p)
⇔¬p∨(q∧p)
⇔¬p∨(p∧q)
⇔p→(p∧q)本回答被提问者采纳

相似回答

大家正在搜

离散数学，用附加前提法证明前提：p→(q→r)，(r∧s)...

离散数学证明:(p→q)→(p∧q)与(￢p→q)∧(q→p...

离散数学题构造推理证明:前提p→q,非r→p,非q,结论r...

离散数学构造以下推理的证明前提：￢（p∧￢q），￢q∨r...

离散数学证明：(P→Q)→R=>(P→Q)→(P→R)

离散数学这题怎么证明s→q是永真式

构造推理证明: 前提：(p∧q)→r,非r∨s,非s,p 结...

在离散数学中前提是p蕴含q 结论是p蕴含(p且q) 的推理...