El operador “negación clásica”, simbolizado “∼”, está caracterizado desde el punto de vista semántico por la siguiente equivalencia: A es aceptado ⇔∼ A no es aceptado. Esta equivalencia dice que un enunciado es aceptado si y solamente si su negación no es aceptada
