propositional calculus

propositional logic

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.

Last updated: 2002-05-21

Nearby terms:

proposition ♦ propositional calculus ♦ propositional logic ♦ Proposition of a Language Useable for Structured Specifications

Try this search on Wikipedia, Wiktionary, Google, OneLook.

Loading