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