# propositional calculus

Also found in: Thesaurus, Legal, Encyclopedia, Wikipedia.

## 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:
 Noun 1 propositional calculus - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate thempropositional logicformal 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 ?
Iseki, An algebra related with a propositional calculus, Japan Acad.
If we wanted logic, we'd have become fans of propositional calculus instead.
The stoic logic represents Propositional Calculus well.
To avoid tautological necessity the law may not be the law of identity, nor a law of propositional calculus in general.
In 1920, Emil Post had clearly formulated, in his doctoral dissertation, a meta-mathematical program and carried out a careful meta-mathematical investigation of what is now called the propositional calculus.

Site: Follow: Share:
Open / Close