Sylabus
Platné a neplatné úsudky.
Pravdivostní tabulky jednotlivých logických spojek.
Jména a kvantifikátory.
Deskripce a existence.
Implikace a vyplývání.
Vágnost v jazyce.
Pravděpodobnost.
Historie logiky.
Anotace
Předmět se zabývá základy klasické logiky, její sémantikou a metodami odvozování. Do kurzu je zařazen stručný úvod do výrokového počtu a predikátového počtu.