Original: For the mathematical form of proof by contradiction, see Proof by contradiction.
Simplified: Generally, it is also known as Proof by contradiction.