reduction ad absurdum
Locuz. lat. (propr. «riduzione all’assurdo»). Genere di argomentazione indiretta, usata in logica o in matematica, la quale consiste nel dimostrare una certa proposizione mostrando la contraddittorietà che deriva assumendone la negazione.