释义 |
functional calculus noun : a branch of symbolic logic that utilizes quantifiers in order to deal with propositional functions in addition to the unanalyzed propositions of propositional calculus — called also predicate calculus; see higher functional calculus, lower functional calculus |