Proof by Contradiction/Explanation
Jump to navigation
Jump to search
Proof Rule
Proof by Contradiction can be expressed in natural language as follows:
If we know that by making an assumption $\phi$ we can deduce a contradiction, then it must be the case that $\phi$ cannot be true.
Thus it provides a means of introducing a negation into a sequent.