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

Question

证明：
(a)p,¬p├ q
(b)¬¬p├ q

Answer 1

(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)¬¬消去本回答被提问者和网友采纳

Answer 2

(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）忘了。。。。

Answer 3

你确定写完条件了