La introducción de la negación es una regla de inferencia , o regla de transformación , en el campo del cálculo proposicional .
La introducción a la negación establece que si un antecedente dado implica tanto el consecuente como su complemento, entonces el antecedente es una contradicción. [1] [2]
Esto se puede escribir como:
Un ejemplo de su uso sería un intento de probar dos afirmaciones contradictorias a partir de un solo hecho. Por ejemplo, si una persona dijera "Cada vez que escucho sonar el teléfono, estoy feliz" y luego dijera "Cada vez que escucho sonar el teléfono, no estoy feliz ", se puede inferir que la persona nunca oye sonar el teléfono.
Muchas pruebas por contradicción utilizan la introducción de la negación como esquema de razonamiento: para probar ¬ P , se asume la contradicción P y luego se derivan de ella dos inferencias contradictorias Q y ¬ Q . Dado que la última contradicción hace que P sea imposible, ¬ P debe cumplirse.