This file is not updated—let me know if you see this!

The contrapositive or transposition of $p⟹q$ is $\neg q⟹\neg p$.

1. State the contrapositive $\neg q⟹\neg p$. Now, $\neg q$ is the hypothesis and $\neg p$ is the conclusion.
2. Identify and list all hypotheses and results related to the hypothesis.
3. Develop a complete set of logical arguments from the hypothesis to the conclusion.
4. Rewrite into a clear and concise proof with each step of the proof clearly justified.
5. Proofread the proof.