构建下面推理的证明 前提: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、 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析取三段论
证毕

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否定肯定式