Home > Electronics Tutorials > Online Computer Terms Dictionary > P

Online Computer Terms Dictionary - P

propositional calculus ==>

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.



Nearby terms: Proposal Writing proposition propositional calculus propositional logic Proposition of a Language Useable for Structured Specifications proprietary PROSE