Claviov zákon

Claviov zákon alebo prvý Claviov zákon alebo consequentia mirabilis je tautológia výrokovej logiky:

$(\neg A \rightarrow A) \rightarrow A$

Príklad: („nič neexistuje“ $\rightarrow$ existuje aspoň toto tvrdenie, teda niečo existuje) $\rightarrow$ niečo existuje.

Zákon je pomenovaný podľa Christophera Clavia.