Математическая энциклопедия - отрицание

логическая операция, в результате к-рой из данного высказывания Аполучается новое высказывание "не А". В формализованных языках высказывание, получающееся в результате О. высказывания А, обозначается (читается: "не А","неверно, что А","Ане имеет места"). Семантически О. высказывания Аозначает, что допущение Априводит к противоречию. В классической двузначной логике операции О. соответствует следующая истинностная таблица:

В. Е. Плиско

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985