Noun: propositional logic
- A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
"Propositional logic deals with simple statements that are either true or false";
- propositional calculus
Derived forms: propositional logics
Type of: formal logic, mathematical logic, symbolic logic
Encyclopedia: Propositional logic