Terms for subject Mathematics containing Negation

English	Russian
alternative negation	альтернативное отрицание
classical negation	классическое отрицание
complete negation	полное отрицание
converse law of double negation	обратный закон двойного отрицания
cyclic negation	циклическое отрицание
diametric negation	диаметральное отрицание
double negation	двойное отрицание
double negation rule	закон двойного отрицания
line-negation index	индекс отрицания ребра
minimal negation	минимальное отрицание
negation bar	знак отрицания
negation completeness	отрицательная полнота
negation extension	углубление отрицания
negation functor	функтор отрицания
negation of alternation	отрицание дизъюнкции
negation of conditional	отрицание условного предложения
negation of conjunction	отрицание конъюнкции
negation of negation	отрицание отрицания
negation of proposition	отрицание высказывания (of statement)
negation of theorem	обратная теорема
negation operation	операция отрицания
negation rule	правило отрицания
negation sign	знак отрицания
negation theorem	теорема об отрицании
principle of negation	принцип отрицания
strict negation	строгое отрицание
symbol of negation	знак отрицания
triple negation	тройное отрицание