логика исчисления предикатов Смотри также: predicate
математика логика предикатов
(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.