Indirect Proof

Let $$P$$ be a proposition which is to be proved.

An indirect proof of $$P$$ is a valid argument which takes as a premise the negation of $$P$$, and from it deduces a contradiction.

It is otherwise known as a Reductio Ad Absurdum argument.

Compare Proof by Contradiction.