ad absurdum

loc. latina (verso l'assurdo). In logica, dimostrazione ad absurdum, o riduzione all'assurdo, è quella in cui, volendo dimostrare una tesi, si assume la verità della sua tesi contraddittoria e si prova che ne derivano conseguenze contraddittorie con l'assunzione stessa o con altre proposizioni la cui verità è accertata.