Introduction to Logic

Use the Fitch System to prove (¬pq) ⇒ ((¬p ⇒ ¬q) ⇒ p).

Show Instructions
Fitch
Goal  Incomplete