资料来源 : WordNet®

propositional logic
     n : a branch of symbolic logic dealing with propositions as
         units and with their combinations and the connectives
         that relate them [syn: {propositional calculus}]

资料来源 : Free On-Line Dictionary of Computing

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