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