" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ОТРИЦАНИЕ

Значение ОТРИЦАНИЕ в математической энциклопедии:

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

В. Е. Плиско