Question

证明 前提:p→(┐(r∧s)→┐q),p,┐s 结论:┐q

Answer 1

1) p→(┐(r∧s)→┐q) 前提引入

2) p 前提引入

3) ┐(r∧s)→┐q 1)2)假言推理

4) ┐s 前提引入

5) ┐s∨┐r 4)附加律

6) ┐(r∧s) 5)置换

7) ┐q 3) 6)假言推理