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