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