пропозициональное исчисление propositional calculus Система символической логики, (логика высказываний); логическое исчисление, определяющее с помощью доказуемых в нем формул законы, которым подчиняются логические операции И, ИЛИ, НЕ, ЕСЛИ ... ТО, ТОГДА И ТОЛЬКО ТОГДА и др.