离散数学演绎法验证 P→（Q→R），R→（Q→S），证明P→Q→S

如题所述

举报该文章

第1个回答 2015-10-07

Q→R,R→（Q→S),
由蕴含关系的递推性得Q→（Q→S)=Q→S.
于是P→(Q→R),R→(Q→S)得P→(Q→S).
仅供参考。本回答被网友采纳

第2个回答 2015-10-07

题没给全，证不了。

相似回答

大家正在搜

离散数学求帮助用推理规则证明下列各式P→(Q→R),S→P,...

离散数学证明p→(q→r)，q→(r→s)推出p→(q→s...

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

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

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

离散数学：证明等价式p→(q∨r)<=>┓r→(p→q)

离散数学输出律如何证明：（P∧Q→R）恒等于(P→(Q→R)...

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