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

显示全部楼层 · 2009-6-18 16:58:46

第二小题：(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............