The celebrated classical principle of Reductio says that if you can infer a contradiction from an assumption then you can discharge that assumption and conclude the negation of what you assumed.
Start a ProblemPreview shown for the Point And Click derivation type in the LRC system