Noun has 1 sense

• functional calculus(n = noun.cognition) predicate calculus - a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions);