离散数学问题：用附加前提法证明下面的推理：前提：P，q∨「r，q→（p→s）。结论：r→s.

如题所述

举报该文章

相关建议 2010-10-20

结论： q .推理过程 ( q) P（附加前提）为什么要加否定？证明：A→(1.在结论前加否定是用的反证法，当然也可以不用附加的，也可以做的 2.

温馨提示：内容为网友见解，仅供参考

当前网址：https://11.t2y.org/zz/fmpqvv8mp.html

无其他回答

相似回答

大家正在搜

【离散数学用推理规则证明】前提: p∨q, p->s, q...

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

1．证明下面推理：前提：p→┐q, ┐r∨q, r∧┐s...

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

离散数学，用附加前提法证明推理

离散数学命题证明题前提:p→s，q→r，p∨q，┘r 结论...

离散数学前提：(p∨q)→(u∧s)，(s∨t)→r 结论...

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