sentential calculus


Also found in: Thesaurus, Encyclopedia, Wikipedia.

sentential calculus

n
(Logic) logic the formal theory the intended interpretation of which concerns the logical relations between sentences treated only as a whole and without regard to their internal structure

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]
References in periodicals archive ?
NLPI of the modal sentential calculus (MSC) are the same as for SC.
In OASL, by contrast, the two initial diagrams are observationally equivalent in that all sentences in the sentential calculus which are true in one are true in the other and hence if there is an OASL proof of the target from one diagram there will also be one from the other diagram.