Полный англо-русский словарь
negation operation
Мат. операция отрицания
Полный англо-русский словарь
negation of theorem
negation rule