The method of proving a statement by assuming the statement is false and, with that assumption, arriving at a blatant contradiction
(reduction to the absurd) a disproof by showing that the consequences of the proposition are absurd; or a proff of a proposition by showing that its negation leads to a contradiction