a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
French language
Toggle Transcript
predicate calculus::noun | Spocien Dictionary
| Type | Words |
|---|---|
| Synonyms | functional calculus |
| Type of | formal logic, mathematical logic, symbolic logic |
