Výroková logika

    Výroková logika

    -%

    Video 27 Videí Hodin 7 Hodin
    Interaktivní 0 Interakcí a VR

    Premium | Video + 59 placených videí
    Test 48 testů

    Smyslem kapitoly je vybudování základů „matematického jazyka“, tedy jazyka, kterým je matematika psána. Budeme se snažit rozpoznat pravdivost obecných sdělení (výroků), a poté vytvářet pomocí výrokových spojek složitější tvrzení. I u složitějších tvrzení se naučíme posuzovat pravdivost, právě na základě složek, ze kterých jsou tvořena, což je hlavně konjunkce, disjunkce, implikac (základní stavební kámen abstraktních tvrzení) a ekvivalence. Zároveň se seznámíme s techničtějším a obecnějším zápisem matematických myšlenek a vše zakončíme velmi důležitým nástrojem – důkazem. Důkaz matematickou indukcí naleznete v kategorii "Posloupnosti a nekonečné řady".

    Vaše úspěšnost
    0 Nesplněno
    0 Splněno
    48 Neprovedeno

    Úvod, výroky a jejich negace

    Odhadovaná doba studia: 2 h 28 minut

    Progres sekce:

    -%

    Výrokové spojky

    Odhadovaná doba studia: 2 h 33 minut

    Progres sekce:

    -%

    Negace výrokových spojek

    Odhadovaná doba studia: 1 h 37 minut

    Progres sekce:

    -%

    Výrokové formule a jejich negace

    Odhadovaná doba studia: 1 h 39 minut

    Progres sekce:

    -%

    Kvantifikátory a jejich negace

    Odhadovaná doba studia: 1 h 49 minut

    Progres sekce:

    -%

    Důkazy

    Odhadovaná doba studia: 1 h 13 minut

    Progres sekce:

    -%