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

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

Derived forms: propositional logics

Type of: formal logic, mathematical logic, symbolic logic

Encyclopedia: Propositional logic