English noun: functional calculus | |||
1. | functional calculus (cognition) a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) | ||
Synonyms | predicate calculus | ||
Broader (hypernym) | formal logic, mathematical logic, symbolic logic | ||
Part holonym | quantification | ||