Indirect proof To prove that “P implies Q” we need either: Proof by contrapositive Proof by contradiction