English dictionary
functional calculus
/'f/@//N/k/S//@/n/-/l_'k/&/lk/j//@/l/@/s/
Definitions, examples, synonyms and antonyms from WordNet 3.0.
noun
-
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Synonyms predicate calculusSource: WordNet 3.0