逻辑学的证明题……拜托了~可以加分~!

发布网友发布时间：2022-06-28 23:30

共3个回答

热心网友时间：2022-06-28 23:59

(a)p,¬p├ q
1）p∧¬p P
2）p T1)合取消去
3）¬p T1)合取消去
4）p∨q T2)析取添加
5）q T3)4)析取消去

(b)¬¬p├ q
1) ¬¬p P
2) ¬¬q 1)q/p代入
3）q T2)¬¬消去

热心网友时间：2022-06-29 00:00

(a)p,¬p├ q
1.p 引入条件
2.p→¬q→p 公理
3.¬q→p 1和2分离规则
4.¬p 引入条件
5.¬p→¬q→¬p 公理
6.¬q→¬p 4和5分离规则
7.（¬q→p）→（¬q→¬p）→q 公理
8.q 3，6和7两次分离规则可得
（b）忘了。。。。

热心网友时间：2022-06-29 00:00

你确定写完条件了

声明：本网页内容为用户发布，旨在传播知识，不代表本网认同其观点，若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。E-MAIL:11247931@qq.com