构建下面推理的证明 前提: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否定肯定式