Ve výuce se budeme zabývat pouze základními pojmy z výrokové logiky a pouze okrajově základy predikátové logiky. Pojmy a symboliku probranou v logice, budete využívat i v matematice.
Výukové materiály ke stažení:Úvodní prezentace zabývající se pojmy logiky, výrok, pravdivostní hodnota výroku (součásti je i procvičení) - příloha projekt-eu-vyrok-vyrok.notebook
Opakování výroku, negace výroku, negace kvantifikovaných výroků - příloha projekt-eu-vyrok-negace.notebook
Složený výrok, logické spojky, pravdivostní hodnota složeného výroku- příloha projekt-eu-vyrok-vyrok- slozeny.notebook
Opakování složeného výroku, tautologie, negace složeného výroku, ověřování pravdivostních hodnot tabulkou - příloha projekt-eu-vyrok-slozeny-negace.notebook
Slovní úloha - příklad na aplikaci výrokové logiky v praxi- příloha projekt-eu-vyrok-priklad-slovni.notebook
Odkazy: |