Sylabus
Sylogismus. Sylogistika.
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.
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 exkurz do metod zkoumání logického myšlení.