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