Matematická logika: Kvantifikované výroky

4,3 / 5 (hlasy: 4)

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).