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 $$