Lexic.us

Definition of Propositional logic

1. Noun. A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them.

Definition of Propositional logic

1. Noun. (logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives. ¹

¹ Source: wiktionary.com

Lexicographical Neighbors of Propositional Logic

Literary usage of Propositional logic

Below you will find example usage of this term as found in modern and/or classical literature:

1. The Civilization of Illiteracy by Mihai Nadin (1997)
"Among the logics that can be used are classical propositional logic, intuitionistic propositional logic, modal logic, temporal logic, and others. ..."

2. The Concept of Knowledge by Panayot Butchvarov (1970)
"There is nothing plausible about the view that, for example, the truth of the principles of propositional logic has nothing to do with what they are about, ..."

3. The Development of Symbolic Logic: A Critical-historical Study of the by Arthur Thomas Shearman (1906)
"It seems to me, on the other hand, that there are not two species of the genus general logic : there is one logic, and that is class or propositional logic, ..."

4. The Economics and Ethics of Private Property by Hans-Hermann Hoppe (2006)
"... the validity of the perennial rationalist claim that the laws of logic—beginning here with the most fundamental ones of propositional logic and of ..."

5. Science by American Association for the Advancement of Science (1909)
"... coordinate with any other indispensable notion, the primitive notions in propositional logic are (1) Material Implication, (2; Formal Implication. ..."

6. Geometric Computing Science: First Steps by Robert Hermann (1991)
"The algebras which occur in propositional logic [2, 20, 23, 24] are not Boolean, but are ‘free' versions of them: They have quotients which are ..."

Other Resources: