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.

 

 

Ú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