English-Russian big polytechnic dictionary
предикат с отрицанием
sameness predicate — предикат тождественности
predicate selectivity — применяемость предиката
quantification of the predicate — квантификация предиката
restricted predicate calculus — узкое исчисление предикатов
predicate calculus machinery — аппарат исчисления предикатов