логоческая операция, ставящая в соответствие простому высказыванию новое высказывание, значение которого противоположно значению исходного высказывания.