You are asking about the difference between "Proof by contraposition" and "Proof by contradiction", and here is an example.To prove p \rightarrow q:
- In proof by contraposition you start by assuming that \neg q is true and derive the statement \neg p. Here, the path is clear, i.e. you start at...