1. If P, then Q.
2. Not Q.
3. Therefore, not P.