Syntaktická skratka: Rozdiel medzi revíziami

pozri aj
(init)
 
(pozri aj)
 
:<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]]
334

úprav