Claviov zákon: Rozdiel medzi revíziami

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

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