Proof by Contradiction assumes (for contradiction) that ¬𝐴 is true. Use this assumption to prove a contradiction. It follows that ¬𝐴 is false, so 𝐴 is true