Predicate logic

логика исчисления предикатов Смотри также: predicate

Англо-русский словарь компьютерных терминов

Predicate logic

математика логика предикатов

Англо-русский научно-технический словарь

Predicate logic

(Or "predicate calculus") An extension of propositional logic with separate symbols for predicates, subjects, and quantifiers. Higher-order predicate logic allows predicates to be the subjects of other predicates.

Free Online Dictionary of Computing