求求带佬们帮忙【逻辑学吧】

逻辑学吧关注：37,976贴子：144,370

只有一个conclusion，∴ [(X • Y) ⊃ Z] ⊃ [X ⊃ (Y ⊃ Z)]。要怎么证明啊...求求大佬们谢谢

送TA礼物

IP属地:上海

1楼2021-05-18 20:24回复

这个结论，是个实质蕴涵命题。分为二个步骤证明。
首先证明，它的前件推出后件。
其次，利用条件证明规则【CP】，可证。

IP属地:北京

来自Android客户端2楼2021-05-19 06:51

收起回复

IP属地:北京

来自Android客户端3楼2021-05-20 10:05

条件证明规则里[CP], [以及IP],退格进格的方法，是谁发明的？【逻辑学吧】_百度贴吧 https://tieba.baidu.com/p/986368180?pn=1

IP属地:北京

5楼2021-05-21 17:48

下载贴吧APP
看高清直播、视频！

贴吧热议榜

发表回复

内容:

使用签名档查看全部

发表

保存至快速回贴