Source : WordNet®

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