• 新记

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

    这是离散数学内容，谢谢！

    举报该文章
    其他看法
    第1个回答  2015-04-10
    -s→-r
    -r→-（p 并且 q）
    -（p 并且 q）→p或q
    所以，只要p，就可以→=-q本回答被网友采纳
    相似回答
    大家正在搜
    相关问题
    离散数学题 构造推理证明:前提p→q,非r→p,非q,结论r...
    前提：(p∧q)→r,非r∨s,非s,p 结论：非q
    离散数学，用附加前提法证明 前提：p→(q→r)，(r∧s)...
    构造命题逻辑的形式证明前提p-＞q，（非q∧r)∧非r，非（...
    离散数学问题： 用附加前提法证明下面的推理： 前提：P，q∨...
    假设推理系统证明下列公式为定理 ((P∧Q)→R)→(P→(...
    离散数学
    证明 前题：Q, ┐P→R, P→S, ┐S 结论： Q∧R