Claviov zákon

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

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

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

Logika