Sylabus
Výrok. Výrokový počet.
Logické operace. Vlastnosti logických operací.
Souvislost s teorií množin. Booleova algebra.
Matematické důkazy.
Modální výroková logika.
Nerozhodnutelná tvrzení - Gödelovy věty.
Anotace
Předmět se zabývá základy klasického výrokového počtu, jeho axiomatikou, sémantikou a metodami odvozování a dokazování. Do kurzu je zařazen i stručný úvod do modální výrokové logiky a seznámení s nerozhodnutelnými tvrzeními - Gödelovy věty.