functional calculus

noun

1. the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers.

functional calculus

noun

1. See predicate calculus
   another name for predicate calculus

Word History and Origins

Origin of functional calculus¹

First recorded in 1930–35