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