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).
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ť?
Kategórie vzdelávacích videí
Jazyk
Obtiažnosť