functional_calculus
1. [ noun ] (mathematics,logic) a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Synonyms: predicate_calculus
Related terms: symbolic_logic quantification
Similar spelling:   functional_genomics
  functional_disorder
  functional_anatomy
  functional_illiterate