La negación en la lógica actual se considera una función u operador lógico definido como regla que cambia el valor de verdad de la proposición.