Claviov zákon

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

$(\mathrm{\neg }A\to A)\to A$

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

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