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)假言推理