propositional logic definition 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.