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:

 (\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.