sentential calculus


noun

the branch of symbolic logic dealing with the logical relationships between statements insofar as they can be analyzed into conjunctions, disjunctions, and negations of more elementary statements.
Also called propositional calculus, sentential logic.

Origin of sentential calculus

First recorded in 1935–40

British Dictionary definitions for sentential calculus

sentential calculus

noun

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