<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)
Try this search on Wikipedia, OneLook, Google
Nearby terms: Proposal Writing « proposition « propositional calculus « propositional logic » Proposition of a Language Useable for Structured Specifications » proprietary » PROSE
Copyright 2010 Denis Howe