11智能在线
新记
构建下面推理的证明 前提:p合取q,p蕴含非r,s蕴含t,非s蕴含r,非t 结论:q
如题所述
举报该文章
相关建议 2014-02-24
p合取q应是p析取q吧。证明如下:
1、 s蕴含t 前提引入
2、 非t 前提引入
3、 非s 1、2拒取式
4、 非s蕴含r 前提引入
5、 r 3、4假言推理
6、 p蕴含非r 前提引入
7、 非p 5、6拒取式
8、 p析取q 前提引入
9、 q 7、8析取三段论
证毕
温馨提示:内容为网友见解,仅供参考
当前网址:
https://11.t2y.org/zz/88mv8v828.html
其他看法
第1个回答 2011-11-08
p合取q应是p析取q吧。证明如下:
1、p析取q 前提
2、p蕴含非r 前提
3、s蕴含t 前提
4、非s蕴含r 前提
5、非t 前提
6、非s 35否定后件式
7、r 46肯定前件式
8、非p 27否定后件式
9、q 18否定肯定式
本回答被网友采纳
相似回答
大家正在搜
相关问题
构建下面推理的证明 前提:p合取q,p蕴含非r,s蕴含t,非...
构造下面推理的证明 前提:非(p合取非q),非q析取r,非r...
【离散数学 用推理规则证明】前提: p∨q, p->s, q...
在自然推理系统中构造下面推理的证明:前提:p→r,q→s,p...
在自然推理系统中构造下面推理的证明: 前提: q→p, q&...
在自然推理系统中构造下面推理的证明:前提:p→r,q→s,p...
利用推理证明下列推理成立,前提P→( q∨ r),┓s→┓q...
在自然推理系统P中用附加前提法证明下面推理。 前提P->(q...