Na jednoduchých príkladoch si priblížime pojmy parametrizovaný výrok (predikát), existenčný a všeobecný kvantifikátor a negácia kvantifikovaných výrokov. V druhej časti videa sa budeme venovať výrokom, ktoré hovoria o počte (obsahujú slová ako aspoň, najviac, práve).

úvodné video k problematike výrokovej logiky

výrok, negácia, negácia výroku, negácia výrokov

Negácia základných zložených výrokov

Led Zeppelin (1982), obvinenie zo satanistických výrokov v piesni

Naučíme sa ako môžeme skladať jednoduché výroky do zložitejších pomocou logických operátorov.

Poďme si vyskúšať zložiť hneď niekoľko výrokov a pospájať ich logickými operátormi.

Vedeli ste o tom, že výroky môžeme kvantifikovať a vďaka tomu s nimi jednoduchšie pracovať?