Engelsk ordbok



Tips: Asterisk/stjerne (*) kan anvendes som jokertegn (wild card). Stjernen erstatter null eller flere tegn.

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 uttrykkformal logic, mathematical logic, symbolic logic


Omfatter disse spesifikke uttrykkquantification









Basert på WordNet 3.0 copyright © Princeton University.
Teknikk og design: Orcapia v/ Per Bang. Norsk utgave: .
2024 onlineordbog.dk