I am having difficulty understanding this propositional logic problem that I came across in my textbook.
Prove $\neg Q$.
$\neg( Q $\rightarrow$ P )$ Given
$\neg P$ Given
$\neg P \rightarrow \neg Q \rightarrow ( Q \rightarrow P )$ FL3
$\neg P \rightarrow \neg Q$ 1,3 MT
$\neg Q$ 2,4 MP
Shouldn't line 4 be $\neg(\neg P \rightarrow \neg Q)$ because of Modus Tollens?
Any help would be greatly appreciated. Thank you!