[propositional calculus] n (1903): the branch of symbolic logic that uses symbols for unanalyzed propositions and logical connectives only--called also sentential calculus--compare predicate calculus
PROPOSITIONAL CALCULUS
Meaning of PROPOSITIONAL CALCULUS in English
Merriam-Webster English vocab. Английский словарь Merriam Webster. 2012