Consequentia mirabilis

La consequentia mirabilis (la conséquence étonnante), appelée aussi loi de Clavius, est un raisonnement qui établit la vérité d'une proposition à partir de l'inconsistance de sa négation. Cette loi de logique propositionnelle énonce que toute proposition impliquée par sa propre négation est vraie.

Formellement, elle peut s'écrire :

${\displaystyle (\neg A\rightarrow A)\rightarrow A.}$