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.

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

Mentioned in

Contradiction, Law of
logic
logic diagram
Logic of Classes
Logical Operations
Logical Semantics
positive logic
predicate logic
proposition
Propositional Calculus

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.