Předmět nemá
podmiňující
ani
vyloučené
ani
informativně doporučené
předměty...
Předmět - cíle
KFI/LOGHB
- IS/STAG
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.