noun Date: 1903 the branch of symbolic logic that uses symbols for unanalyzed propositions and logical connectives only
PROPOSITIONAL CALCULUS
Meaning of PROPOSITIONAL CALCULUS in English
Merriam Webster. Explanatory English dictionary Merriam Webster. Толковый словарь английского языка Мерриам-Уэбстер. 2012