NEGATION: значение слова

bar
мат. знак отрицания

completeness
мат. отрицательная полнота

count
число изменений знака (при инвертировании числа)

element
элемент отрицания

of alternation
мат. отрицание дизъюнкции

of conditional
мат. отрицание условного предложения

of conjunction
мат. отрицание конъюнкции

of negation
мат. отрицание отрицания

of theorem
мат. обратная теорема

operation
мат. операция отрицания

theorem
мат. теорема об отрицании