English dictionary
Hint: Question mark (?) is a wildcard. Question mark substitutes one character.
English noun: predicate calculus | |||
| 1. | predicate calculus (cognition) a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) | ||
| Synonyms | functional calculus | ||
| Broader (hypernym) | formal logic, mathematical logic, symbolic logic | ||
| Part holonym | quantification | ||
Based on WordNet 3.0 copyright © Princeton University.
Web design: Orcapia v/Per Bang. English edition: .
2025 onlineordbog.dk
Web design: Orcapia v/Per Bang. English edition: .
2025 onlineordbog.dk