propositional logic


Also found in: Dictionary, Thesaurus, Wikipedia.
Related to propositional logic: Predicate logic, First order logic

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.
References in periodicals archive ?
Interpreting this program in propositional logic results in the set RF(P) of implications:
Let us show that we can conclude by using the propositional logic that most people are unhappy.
Interestingly, two chapters--"The propositional logic of the map" and "Threatened nature", use maps of Australia, unfortunately none from Australian sources, to illustrate the theme of the text.
The constants of propositional logic contain also symbols, which are similar to the words of colloquial language: "and", "not", "or", "implies", "if and only if".
The difference between ordinary propositional logic (PL), and the modal logic lies precisely with the concept of implications.
K([psi] & [logical not] K[psi]) [right arrow] K[psi] From 6 by Propositional Logic
The programming interpretation of intuitionisfic propositional logic by simply typed lambda-calculus is a significant part of interest of computer scientists.
2001) allowing students to build formal proofs in propositional logic while receiving step-by-step, contextualised feedback.
the KB may contain statements about the world, perhaps in propositional logic, predicate calculus, or some probabilistic structure (details below).
This includes automatically verifying that congruence closure, the theory of tree-embeddings, and the theory of nonstrict partial orderings are polynomial time decidable, that propositional logic is in both co-NP and exponential time, and that the first-order theory of total orderings is in co-NP.
Kolmogorov seems more concerned with the interpretation of intuitionistic propositional logic than with predicate logic; in fact, he gives only the propositional part of the formal axiom system ('calculus of problems').