A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions). Synonym: predicate calculus.
|
|
|
|
| | | |||
|
|
|
|
Words linked to "Functional calculus" : formal logic, mathematical logic, quantification, symbolic logic, predicate calculus |
Copyright © 2024 Free-Translator.com |
