| 释义 |
sentential calculus
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] sentential calculus
sentential calculus[sen′ten·chəl ′kal·kyə·ləs] (mathematics) propositional calculus ThesaurusSeepropositional calculus |