求学过逻辑学的各位帮忙做一下这次的考试题（第二题）

Question

二、 完成以下两个判断，写出具体过程。 （20分）
（1）用真值表法判定（ ┑ p∨q ） ∧ ┑ p → q 是否是重言式。
（2）用归谬赋值法判定（ p∧q∧r →s ） → （ ┑ s→ （ p→ （ q → ┑ r ）））是否是重言式。

作为考试的回答，请各位能认真帮忙写一下准确的过程，谢谢了

Answer 1

第二小题：
(1)┑（ ┑ s→ （ p→ （ q → ┑ r ）））................P（附加前提）
(2)┑（s∨（ p→ （ q → ┑ r ））)...........................(1)T
(3)┑s∧┑（ p→ （ q → ┑ r ））..............................(2)T
(4)┑s........................................................(3)T
(5) p∧q∧r →s ..............................................P
(6)┑(p∧q∧r)∨s.............................................(5)T
(7)┑(p∧q∧r)..............................................(4)(6)T
(8)┑（ p→ （ q → ┑ r ））....................................(3)T
(9)┑(┑p∨┑q∨┑ r)............................................(8)T
(10)p∧q∧r......................................................(9)T
(11)(p∧q∧r) ∧ ┑(p∧q∧r)...............................(7)(10)矛盾