Introduction to Propositional Logic

preview_player
Показать описание
We introduce the basic notions of propositional logic (statements, variables, open sentences, quantifiers) as well as combination operators for statements (not, and, or, implication...).
Рекомендации по теме