Synonyms/Hypernyms (Ordered by Estimated Frequency) of noun functional_calculus

1 sense of functional calculus

Sense 1
predicate calculus, functional calculus -- (a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions))
       => symbolic logic, mathematical logic, formal logic -- (any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity)