Claviov zákon

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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.