 Proof by contradiction

In logic and mathematics, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction.Proof by contradiction is also known as indirect proof, proof by assuming the opposite, and reductio ad impossibile.