La dimostrazione per assurdo è un tipo di argomentazione logica nella quale, muovendo dalla negazione della tesi e facendone seguire una sequenza di passaggi logico-deduttivi, si giunge a una conclusione incoerente e contraddittoria potendo così dimostrare il contrario della tesi