Claviov zákon

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

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.