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