# Consequentia mirabilis

La consequentia mirabilis ("conseguenza ammirevole") è una locuzione in latino anche nota come legge di Clavius, utilizzata in logica classica, che fa derivare la validità di un'affermazione dalla constatazione di incoerenza della sua negazione. È per certi versi un ragionamento analogo alla reductio ad absurdum; tuttavia essa non produce la confutazione di una premessa, ma fa sì che si possa derivare la validità di una premessa dalla sua negazione, se la proposizione è vera. Essenzialmente afferma che se una proposizione segue addirittura dalla sua negazione, allora è vera, per coerenza. Il principio permette quindi di dimostrare una certa cosa senza fare appello a principi diversi dalla coerenza. In geometria compare qualche volta negli Elementi di Euclide. Ne fece largo uso Girolamo Saccheri.
In formule:
    $(\neg A\rightarrow A)\rightarrow A.$
Se dalla negazione di una proposizione A si deduce A, allora A è vera.
Il matematico Gabriele Lolli scrive in proposito:
«Si pensi alle dimostrazioni per assurdo. Già accostare "dimostrazione" e "assurdo" è ardito ossimoro; tra le forme dell'assurdo, il primo posto spetta alla consequentia mirabilis, che è un trucco di magia, e come i trucchi di magia, per quanto la si veda all'opera e la si esamini, resta sempre incomprensibile: "se A implica nonA, allora nonA" o, per dirla con gli Stoici: "se il primo allora non il primo, dunque non il primo". La consequentia mirabilis sembra pericolosamente vicina alla fallacia dell'affermazione del conseguente, e ancor più ai paradossi dei sofisti. Chi la ascolta non riesce a togliersi l'impressione di essere stato gabbato. Ma la dimostrazione per assurdo è la regola principale per derivare una conclusione senza alcuna assunzione.»
In conclusione, la consequentia mirabilis può ritenersi un interessante strumento dimostrativo, poiché consente di scartare le proposizioni che sono internamente incoerenti.
Tabella di verità:
| $\neg A$ | $A$ | $(\neg A\rightarrow A)$ | $(\neg A\rightarrow A)\rightarrow A$ |
| F | V | V | V |
| V | F | F | V |
Quindi, per qualsiasi valore delle due variabili ($A$ e $(\neg A\rightarrow A)$), la consequentia mirabilis è vera, e pertanto si tratta di una legge logica universale.

## Esempi

Ad esempio: "Non esiste alcuna verità" ($\neg A$), ma questa affermazione implica che essa stessa sia una verità ($A$), dunque "esiste qualche verità" (quindi $A$ è vera). O addirittura: "Nulla esiste" comporta che esista questa affermazione, per cui "qualcosa esiste".
L'esempio forse più famoso è il "cogito ergo sum" cartesiano: Se non esiste nulla, esiste almeno questo pensiero, e dunque il pensante. Anche se si può questionare sulla validità dell'esistenza del pensante, non si può negare l'esistenza del pensiero.
Si deve ricordare Georg Cantor che di fatto utilizzò la consequentia mirabilis insieme con il procedimento diagonale per dimostrare che l'insieme dei numeri reali non è numerabile. Infatti:
* si suppone di aver numerato tutti i numeri reali in un elenco e grazie all'elenco si costruisce un numero reale che non appartiene all'elenco;
* dunque l'elenco non contiene tutti i numeri reali.
* quindi non si possono numerare tutti i numeri reali.