functional calculus


noun

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.
Also called predicate calculus, predicate logic.

Origin of functional calculus

First recorded in 1930–35

British Dictionary definitions for functional calculus

functional calculus

noun

another name for predicate calculus