the system of symbolic logic that is concerned only with the logical relationships between propositions as wholes, and not with relationships between the elements within individual propositions. Also called propositional calculus. Compare predicate analysis.