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 ?
Infeasible states are eliminated by writing a set of propositional logic formulas in which the underlying propositions are of the form, modeling variable = value.
Encoding Plans in Propositional Logic. In Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, 374-384.
The critical reader will be left with many unanswered questions: Must we choose absolutely between predicational and propositional logic? Can only the elect make use of the latter?
Reduced axioms for the propositional logics induced by basic algebras.
The first one was the Logic machine of Newell, Shaw, and Simon, which is a computer program to prove theorems in the propositional logic. Their interest was to simulate the behavior of a human problem-solver attempting the same task.
We have assembled a large corpus of student submissions to an automatic grading system, where the subject matter involves the translation of natural language sentences into propositional logic. Of the 2.3 million translation instances in the corpus, 286,000 (approximately 12%) are categorized as being in error.
His topics include mathematics and natural sciences, Euclid and beyond mathematics formalized, propositional logic, and language and meaning.
When our agent moves from the claim that a [not equal to] b to the claim that Kp[right arrow] a [not equal to] b they are employing an inference commonly referred to as "weakening" which is valid in classical propositional logic, but not in intuitionistic logic (the move fails to take into account the importance of relevance in for intuitionists).
Part I has three sections-- The nature of maps The propositional logic of the map and Reading Land of living Fossils.
The weakest logic is propositional logic. Propositional logic is an artificial language: it is study of truth, restricted to the relationship between the truth of one proposition and that of another.