reductio_ad_absurdum
1. [ noun ] (mathematics,logic) a logical proof of a proposition by showing that its negation leads to a contradiction
Synonyms: reductio
Related terms: logical_proof
2. [ noun ] (reduction to the absurd) a disproof by showing that the consequences of the proposition are absurd; or a proof of a proposition by showing that its negation leads to a contradiction
Synonyms: reductio
Related terms: disproof