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
sentential calculus in American English
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
Word origin
[1935–40]This word is first recorded in the period 1935–40. Other words that entered Englishat around the same time include: Arts and Crafts Movement, bingo, blitz, gangbuster, hard core