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.
(2002-05-21)
Nearby terms:
Proposal Writing « proposition « propositional
calculus «
propositional logic » Proposition of a Language
Useable for Structured Specifications » proprietary
» PROSE
|