negation operation Мат. операция отрицания Источник: Полный англо-русский словарь на Gufo.me Предложить изменения negation of theorem negation rule
