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
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014

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]
Random House Kernerman Webster's College Dictionary, © 2010 K Dictionaries Ltd. Copyright 2005, 1997, 1991 by Random House, Inc. All rights reserved.
References in periodicals archive ?
A "natural-language proto-interpretation of the sentential calculus" (NLPI of SC) is a function that assigns meanings of declarative sentences of English to sentence letters.
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.