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" : mathematical logic, formal logic, quantification, symbolic logic |
Copyright © 2025 Free Translator.org |