Reductio ad absurdum

Reductio ad absurdum (latina: „redukce na absurditu“), logicky, forma vyvrácení vykazující protichůdné nebo absurdní následky, které následují po budovách, jako logická nutnost. Forma argumentu reductio ad absurdum, známého jako nepřímý důkaz nebo reductio ad impossibile, je taková, která prokazuje výrok tím, že ukazuje, že jeho odmítnutí spojené s jinými výroky, které byly dříve prokázány nebo přijaty, vede k rozporu. V obyčejné řeči termín redukctio ad absurdum se odkazuje na něco tlačil k absurdním extrémům.