propositional calculus

(redirected from Sentential logic)
Also found in: Thesaurus, Encyclopedia.
Related to Sentential logic: Predicate logic

propositional calculus

n.
The branch of symbolic logic that deals with the relationships formed between propositions by connectives such as and, or, and if as opposed to their internal structure.

propositional calculus

n
(Logic) the system of symbolic logic concerned only with the relations between propositions as wholes, taking no account of their internal structure. Compare predicate calculus

senten′tial cal′culus


n.
the branch of symbolic logic that deals with the logical relations between unanalyzed propositions, as conjunction, disjunction, negation, and implication. Compare functional calculus. Also called propositional calculus.
[1935–40]
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.propositional calculus - 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 ?
In Chapter 6, 'Intuitionistic Logic', Burgess explains Godel's interpretation of the intuitionistic sentential logic I as a modal logic in which the box is interpreted as a provability operator and shows, via Kripke models, that a formula is a theorem of the intuitionistic logic I iff that formula's modal transformation is a theorem of S4 (130-32).
gets undergraduate students to appreciate the elegance of symbolic logic early on, and guides them through in an accessible and conversational manner from sentence logic (including arguments, necessary truth and falsity, sentential logic, conjunctions, disjunctions, conditionals, negations, truth tables and truth-functional logical properties), sentence derivations (including a list of all the rules and what derivations prove), quantifier logic (including proving quantificational logical properties) and quantifier derivations.
SL = Sentential Logic) Every theorem of classic sentential logic is a theorem.