or propositional calculus, n. (Logic) the formal theory of which the intended interpretation concerns the logical relations between sentences treated only as a whole and without regard to their internal structure. Its primitive terms are the logical constants and an unlimited supply of sentential symbols (sometimes called propositional variables), usually capital or lower case letters with indices if necessary. Compare predicate calculus.