Большая Советская Энциклопедия
Отрицание (в логике)
Отрицание, одна из логических операций ; отражает употребление выражения «неверно, что...» в логических выводах.