Logika

F1O

viemeto.eu/F1O

Logika skúma spôsoby, ako vyvodzujeme závery z predpokladov. Logika pôvodne vznikla ako súčasť filozofie, neskôr sa výrazne rozvinula v matematike. Dnes má dôležité uplatnenie i v informatike.

Základ matematického poňatia logiky je výroková logika, v ktorej pracujeme s výrokmi (tvrdeniami, ktoré sú buď pravdivé, alebo nepravdivé) a logickými spojkami (a zároveň, alebo, negácia). Rozšírením výrokovej logiky je predikátová logika, v ktorej naviac používame kvantifikátory (existuje, pre každý).

Prehľad tém o logike dostupných na Vieme matiku:

téma	obsah
Logické výroky	slovný zápis logických výrokov
Logika: pojmy a značenie	zápis výrokov pomocou logických spojok \wedge, \vee, \neg, \Rightarrow, \Leftrightarrow
Vyhodnocovanie logických výrazov	vyhodnocovanie pravdivosti logických výrazov zapísaných pomocou logických operácií
Úpravy logických výrazov	úprava a zjednodušenie logického výrazu podľa pravidiel práce s logickými operáciami
Kvantifikátory	obohatenie logických výrazov o existenčný a všeobecný kvantifikátor \exists, \forall
Dôkazy	exaktné matematické postupy, ako overiť platnosť logických výrokov

V rámci systémov Vieme nájdete logiku tiež na informatike: logika na Vieme informatiku. Tam je dôraz kladený na logické spojky používané pri programovaní a na riešenie logických úloh.