propositional logic

Also found in: Dictionary, Encyclopedia, Wikipedia.
Related to propositional logic: Predicate logic, First order logic
Graphic Thesaurus  🔍
Display ON
Animation ON
  • noun

Synonyms for propositional logic

a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

References in periodicals archive ?
The key idea is thus to map inferences in ASP onto unit propagation on nogoods (5) (Gebser, Kaufmann, and Schaub 2012a), which traces back to a characterization of answer sets in propositional logic (Lin and Zhao 2004).
we can build what is called Well-Formed Formulas, compound propositions, which can be defined in the propositional logic as follows [16]:
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.
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.
A second order logic is concerned with the properties of the individuals and Propositional Logic (PL) is concerned with sentences that are either true or false (Stebbing, 1961, 33).
Incorporating feedback received by the authors since publication of the 2001 second edition, the third edition contains expanded material on logic, including a new section on the formal proof of the validity of arguments in propositional logic, and a new chapter covering elementary number theory and congruences, allowing deeper exploration of some of the groups arising in modular arithmetic and examination of the so-called public key encryption scheme that underpins much of the secure transmission of data on the internet.
K([psi] & [logical not] K[psi]) [right arrow] [logical not]K[psi] From 4 by Propositional Logic
Rules of propositional logic (Boolean-dealing with complete statements
In this paper we focus on the intuitionistic propositional logic with one propositional variable.
At first, I thought that category theory and classical propositional logic were two different approaches to the same thing, until I realized that, no, category theory absorbed propositional logic in a totally different arrangement, which is a theory of the coherence of worlds.
It allows students to practice formal proofs in propositional logic while receiving feedback and also keeps the lecturer informed about the progress the class is making and problems encountered.
Propositional logic basically defines the syntactic and semantic rules of combining propositions to more complex propositions by negation, conjunction, disjunction, and condition.
I have emphasized the above discussion because a claim often made about Burley is that he fully understood and argued for the priority of propositional logic, subordinating even the categorical syllogism to propositional rules of inference.