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