propositional logic : Dictionary / Wörterbuch (BEOLINGUS, TU Chemnitz)

English Dictionary: propositional logic	by the DICT Development Group
2 results for propositional logic
From WordNet (r) 3.0 (2006) [wn]:
propositional logic n a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them Synonym(s): propositional logic, propositional calculus
From The Free On-line Dictionary of Computing (15Feb98) [foldoc]:
propositional 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. (2002-05-21)