
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.
Generic synonyms: Formal Logic, Mathematical Logic, Symbolic Logic
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
Propositional Logic Pictures
Click the following link to bring up a new window with an automated collection of images related to the term: Propositional Logic Images
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 Criticalhistorical 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 HansHermann 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 ..."