Reductio ad Absurdum

See arguments.

Reductio ad absurdum is Latin for “reduction to absurdity”, commonly refered to as a “reductio” in English. A valid reductio establishes a claim by the impossibility of the contrary.

$$ \lnot p \implies \bot $$$$ \therefore p $$