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