Значение слова "DOUBLE NEGATION" найдено в 2 источниках

DOUBLE NEGATION

double negation: translation

The result of negating the negation of a proposition. In classical propositional calculus, ¬¬ p is equivalent to p . In intuitionistic logic this is not so; we cannot infer p from ¬¬ p .

найдено в "Англо-русском научно-техническом словаре"

матем. двойное отрицание

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z