Cílem předmětu je seznámit studenty se základy klasické logiky, a to jak moderní tak i tradiční. Představit základní metody zjišťování pravdivostních podmínek formulí a ověřování platnosti úsudků ve výrokové a predikátové logice. Ukázat postup formalizace vět přirozeného jazyka do jazyka formalizovaného.
- Teacher: Dach Stefanie
- Teacher: Dostálová Ludmila
- Teacher: Matějková Tereza