How to Use:
- We want to show A ==> B (A implies B, where A and B are statements)
- Assume A =/=> B (A does not imply B), and arrive at a contradiction to what is given/known
Tips
- Establish everything that is known prior to attempting the problem (e.g. – assumptions, subsets for which a statement is true, theorems that apply, etc.)
Click here to view just the question for the example proof by contradiction. If you would like to see the worked out solution to the proof by contradiction problem, click here.