Proof by Contradiction

Proof Rule
Proof by contradiction is a valid deduction sequent in propositional logic.

Variants
The following forms can be used as variants of this theorem:

Also see

 * Reductio Ad Absurdum