ab absurdo

loc. avverbiale latina (dall'assurdo). In logica: argomentazione ab absurdo, quella che perviene a dimostrare la verità di una proposizione, provando l'assurdità della proposizione contraria. Il processo si adotta anche in matematica dove è comunemente chiamato dimostrazione per assurdo.