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:

-%