| 释义 |
functional calculus
functional calculus n (Logic) another name for predicate calculus func′tional cal′culus
n. the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers. Also called predicate calculus. [1930–35] Thesaurus| Noun | 1. | functional calculus - a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)predicate calculusformal logic, mathematical logic, symbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validityquantification - a limitation imposed on the variables of a proposition (as by the quantifiers `some' or `all' or `no') |
EncyclopediaSeepredicate calculusfunctional calculus
Synonyms for functional calculusnoun a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)SynonymsRelated Words- formal logic
- mathematical logic
- symbolic logic
- quantification
|