资料来源 : WordNet®

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

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

propositional calculus
     
        {propositional logic}