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