I'm trying to get through the following problem (which uses a negation inclusive ($-I$)) what steps should I take to properly derive this?
$P\rightarrow Q, Q\rightarrow R, - R\vdash -(P\wedge S)$
I am using the following rule sets:
First 7:
Last 4:
Let me know if there is anything I can do to pose this question in a better way.
\begin{array}{llll} 1&1&P \land S&A\\ 1&2&P&1 \land E\\ 3&3&P\rightarrow Q&A\\ 1,3&4&Q&\rightarrow E\\ 5&5&Q\rightarrow R&A\\ 1,3,5&6&R&4,5 \rightarrow E\\ 7&7&\neg R&A\\ 1,3,5,7&8&R\land \neg R&6,7 \land I\\ 3,5,7&9&\neg(P\land S)&8 \neg I\\ \end{array}