propositional logic

Also found in: Thesaurus, Encyclopedia, Wikipedia.
Related to propositional logic: Predicate logic, First order logic
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.propositional logic - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
formal logic, mathematical logic, symbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
References in periodicals archive ?
It describes Bateson's war years with the Office of Strategic Services, his postwar years when he became one of the founding fathers of cybernetics, his new propositional logic about the context of interaction, and how he applied his ideas about cybernetic communication to biology, evolution, and ecology.
Keywords: logic query, propositional logic, predicate, relational database
While the former is described by Gebser and Schaub (2016), we focus here on key issues in grounding, or how to systematically replace object variables by ground terms in an effective way, and solving, or how to compute the answer sets, of a propositional logic program obtained by grounding.
It is often said that the process of translating ordinary sentences into Predicate Logic (pl) is a lot more complicated than into Propositional Logic.
10) Indeed, within the confines of propositional logic, one might take the LEM and LNC to implicitly define the term 'proposition'.
Llyod Humberstone's The Connectives is a gigantic book about propositional logic.
The natural reconstruction of propositional logic, by restoring the axiomatic dignity of the classical principles, failed (Dimitriu 1973: 73-80).
In Isfahan, Ibn Sina produced several important books, the "Kitab Al Najat" (Book of Salvation), "Al Mantiq", translated as "The Propositional Logic of Ibn Sina", and "Al Isharat wal-Tanbihat" (Remarks and Admonitions).
The first one was the Logic machine of Newell, Shaw, and Simon, which is a computer program to prove theorems in the propositional logic.
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.
His topics include mathematics and natural sciences, Euclid and beyond mathematics formalized, propositional logic, and language and meaning.