propositional logic
NounWordNet 3.0
Noun (1)
- a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate themSynonyms: propositional logicpropositional calculus
Free On-line Dictionary of Computing
propositional logic propositional calculus
<logic> (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.
(2002-05-21)