На множестве r заданы предикаты. Отрицанием предиката называется. кванторные операции над предикатами. предикаты. отрицание предикатов. отрицание предикатов с кванторами.