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