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