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