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