Definition of Propositional calculus

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 calculus

1. Noun. (logic) propositional logic. ¹

¹ Source: wiktionary.com

Propositional Calculus Pictures

Click the following link to bring up a new window with an automated collection of images related to the term: Propositional Calculus Images

Lexicographical Neighbors of Propositional Calculus

proposal
proposal of marriage
proposals
propose
propose a toast
proposed
proposer
proposers
proposes
proposing
proposita
propositi
propositional
propositional attitude
propositional calculus (current term)
propositional function
propositional functions
propositional logic
propositional variable
propositionally
propositioned
propositioning
propositions
propositive
propositus
propound
propounded
propounder
propounders

Literary usage of Propositional calculus

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

1. Geometric Computing Science: First Steps by Robert Hermann (1991)
"The Language of the propositional calculus. This is a standard topic in Logic, ... The propositional calculus is a Language based on the alphabet A ie a ..."

2. The Concept of Model: An Introduction to the Materialist Epistemology of by Alain Badiou (2007)
"The earliest non-inductive, and so effectively internal, demonstration of the completeness of the propositional calculus that I am aware of is due to the ..."

3. The Monist by Hegeler Institute (1913)
"... both notions are required in the propositional calculus, but it is the study of material implication which specially distinguishes this subject, ..."

4. The Praxis of Alain Badiou by Paul Ashton, A J Bartlett, Justin Clemens (2006)
"... not imply that for TC and P we must have either TC forces P or TC forces ~P Also, forcing does not obey some simple rules of the propositional calculus. ..."

5. A Pragmatic Legal Expert System by James Popple (1996)
"... for example, tacitly make this assumption.137 The law, they claim, can be expressed as rules using propositional calculus. A program which implements ..."

Other Resources Relating to: Propositional calculus

Search for Propositional calculus on Dictionary.com!Search for Propositional calculus on Thesaurus.com!Search for Propositional calculus on Google!Search for Propositional calculus on Wikipedia!

Search