(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)