VDict - Definition of propositional logic

Computing (FOLDOC) dictionary (also found in English - English (Wordnet), )

propositional logic

Jump to user comments

logic (or "propositional calculus") A system of symboliclogic 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)

Related search result for "propositional logic"

Words contain "propositional logic" in its definition in Computing (FOLDOC) dictionary:
propositional logic predicate logic propositional calculus modal logic PLTL neutrosophic logic temporal logic PDL equational logic EQLog more...

Comments and discussion on the word "propositional logic"