Syntaktická skratka: Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
init |
pozri aj |
||
Riadok 14:
:<math>\neg((\neg(p\rightarrow\neg q)\rightarrow \neg(q\rightarrow\neg p))\rightarrow\neg(\neg(q\rightarrow\neg p)\rightarrow \neg(p\rightarrow\neg q))).</math>
V tomto zápise nie je vôbec vidiet myšlienku ktorú toto tvrdenie vyjadruje.
==Pozri aj==
*[[Definícia]]
[[Kategória:Matematická logika]]
|