Course has neither
prerequisite
nor
preclusive
nor
recommended (for your information)
courses...
Course annotation
KFI/LOGHB
-IS/STAG
The aim of the course is to make students become acquainted with the foundations of classical logic, modern as well as traditional. Further, to introduce essential methods of verifying the truth-conditions of formulas and the validity of arguments in propositional and first order logic. Finally, to demonstrate the process of rewriting natural language sentences into a formal language.
![[RSS]](/zdroje/images/icons/rss.png){kind=icon}