Engelsk substantiv: predicate calculus | |||
| 1. | predicate calculus (om erkjendelse) a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) | ||
| Ord med samme betydning (synonymer) | functional calculus | ||
| Mindre spesifikke uttrykk | formal logic, mathematical logic, symbolic logic | ||
| Omfatter disse spesifikke uttrykk | quantification | ||