Detto informalmente: se supponendo vero un certo fatto e tramite ragionamenti logici giungiamo ad una conclusione sicuramente falsa, due sono le possibilità: o non è vero che siamo giunti ad una conclusione falsa o è errata l'ipotesi che abbiamo fatto supponendo vero quel fatto ... quindi se siamo ragionevolmente sicuri della nostra conclusione, ne discende che è falso ciò da cui eravamo partiti.