Online Computer Dictionary

Browse words  |  Based on FOLDOC

Queried for: propositional logic  About propositional logic

Definition:

(or "propositional calculus") A system of symbolic logic using symbols to stand for whole propositions and logical connectives. Propositional logic only considers whether a proposition is true or false. In contrast to predicate logic, it does not consider the internal structure of propositions.