Source : 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}]

Source : Free On-Line Dictionary of Computing

propositional calculus
     
        {propositional logic}