Syntaktická skratka: Rozdiel medzi revíziami

Smazaný obsah Přidaný obsah
Petak (diskusia | príspevky)
init
 
Petak (diskusia | príspevky)
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]]