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 |