Terms for subject Mathematics containing отрицание отрицания

Russian	English
альтернативное отрицание	alternative negation
двойное отрицание	double negation
двойное отрицание	DN (double negation)
диаметральное отрицание	diametric negation
закон двойного отрицания	double negation rule
закон отрицания антецедента	law of denial of antecedent
знак отрицания	negation sign
знак отрицания	symbol of negation
знак отрицания	negation bar
индекс отрицания ребра	line-negation index
интуиционистское отрицание	intuitionistic
классическое отрицание	classical negation
логическое отрицание	logical complement
математика без отрицания	negationless mathematics
минимальное отрицание	minimal negation
обратный закон двойного отрицания	converse law of double negation
операция отрицания	negation operation
операция отрицания	complementary operation (логическая)
отрицание высказывания	negation of proposition (of statement)
отрицание дизъюнкции	negation of alternation
отрицание импликации	antiimplication
отрицание конъюнкции	negation of conjunction
отрицание обратной импликации	converse nonimplication
отрицание отрицания	negation of negation
отрицание противоречия	denial of contradiction
отрицание условного предложения	negation of conditional
отрицание эквивалентности	nonequivalent to
полное отрицание	complete negation
правило отрицания	negation rule
принцип отрицания	principle of negation
строгое отрицание	strict negation
теорема об отрицании	negation theorem
тройное отрицание	triple negation
углубление отрицания	negation extension
функтор отрицания	negation functor
циклическое отрицание	cyclic negation