Noun propositional calculus has 1 sense
  1. propositional logic, propositional calculus - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
    --1 is a kind of symbolic logic, mathematical logic, formal logic
,
TOP