1 synonym, 1 definition for PROPOSITIONAL CALCULUS