构建下面推理的证明 前提：p合取q,p蕴含非r,s蕴含t,非s蕴含r,非t 结论：q

构建下面推理的证明 前提：p合取q,p蕴含非r,s蕴含t,非s蕴含r,非t 结论：q
构建下面推理的证明 前提：p合取q,p蕴含非r,s蕴含t,非s蕴含r,非t 结论：q

构建下面推理的证明 前提：p合取q,p蕴含非r,s蕴含t,非s蕴含r,非t 结论：q
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析取q吧。证明如下：
1、 s蕴含t 前提引入
2、 非t 前提引入
3、 非s 1、2拒取式
4、 非s蕴含r 前提引入
5、 r 3、4假言推理
6、 p蕴含非r 前提引入...

全部展开

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析取三段论
证毕

收起