Help with Propositional Logic Proof

98 Views Asked by At

I am having difficulty understanding this propositional logic problem that I came across in my textbook.

Prove $\neg Q$.

  1. $\neg( Q $\rightarrow$ P )$ Given

  2. $\neg P$ Given

  3. $\neg P \rightarrow \neg Q \rightarrow ( Q \rightarrow P )$ FL3

  4. $\neg P \rightarrow \neg Q$ 1,3 MT

  5. $\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!