Propositional logic
<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.
| < Previous Terms | Terms Containing propositional logic | Next Terms > |
| proof theory propeller head propeller key Proposal Writing propositional calculus | predicate logic propositional calculus propositional logic | proprietary PROSE ProSet PROSPER Prospero |
