> 数学 >
构建下面推理的证明 前提:p合取q,p蕴含非r,s蕴含t,非s蕴含r,非t 结论:q
人气:358 ℃ 时间:2020-05-12 13:59:11
解答
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否定肯定式
推荐
猜你喜欢
© 2024 79432.Com All Rights Reserved.
电脑版|手机版