|
Definition of Functional calculus
1. Noun. A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions).
Exact synonyms: Predicate Calculus
Generic synonyms: Formal Logic, Mathematical Logic, Symbolic Logic
Terms within: Quantification
Generic synonyms: Formal Logic, Mathematical Logic, Symbolic Logic
Terms within: Quantification