Skip to definition.
Get the FREE one-click dictionary software for Windows or the iPhone/iPad and Android apps

Noun: propositional calculus
  1. A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
    - propositional logic

Type of: formal logic, mathematical logic, symbolic logic

Encyclopedia: Propositional calculus