Zobrazenie zdroja stránky Claviov zákon

'''Claviov zákon''' alebo '''prvý Claviov zákon''' alebo '''consequentia mirabilis''' je [[tautológia výrokovej logiky]]:
:<math> (\neg A \rightarrow A) \rightarrow A </math>

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

Zákon je pomenovaný podľa [[Christopher Clavius|Christophera Clavia]].


[[Kategória:Logika]]