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