predicate calculus

Substantiv

Synonymer till predicate calculus

Vad betyder predicate calculus inom generell ?

a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

Diskussion om ordet predicate calculus