The method of proof that assumes the negation of what is to be proved and deduces a contradiction.
A deductive proof using contradiction or elimination to rule out all except the desired conclusion.
A proof which assumes that the desired conclusion is not true and shows that this assumption leads to a contradiction.