ab absurdo
Locuz. lat. («dall’assurdo»). Nella logica classica, l’argomentazione ab a. è quella volta a dimostrare la verità di una proposizione, attraverso l’assurdo che deriva ammettendone la contraria. Il procedimento viene usato anche per le dimostrazioni matematiche (dimostrazioni per assurdo).