functional calculus
n 1: a system of symbolic logic that represents individuals and
predicates and quantification over individuals (as well as
the relations between propositions) [syn: {predicate
calculus}, {functional calculus}]