(or "propositional calculus") A system of {symbolic logic} using symbols to stand for whole {propositions} and logical connectives.Propositional logic only considers whether a proposition is true or false.In contrast to predicate logic, it does not consider the internal structure of propositions.(2002-05-21)