Eliminación de la negación

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

La introducción de la la negación es una regla de inferencia, o regla de transformación, en el campo del cálculo proposicional.

La introducción de la negación establece que si un antecedente determinado implica tanto el consecuente y su complemento, el antecedente es una contradicción.[1] [2]

Notación formal[editar]

Esto puede escribirse como: (P \rightarrow Q) \and (P \rightarrow \neg Q) \leftrightarrow \neg P

Un ejemplo de su uso sería un intento de probar dos declaraciones contradictorias de un mismo hecho. Por ejemplo, si una persona fuera a declara "Cuando suena el teléfono me pongo feliz" y, posteriormente declara "Cuando suena el teléfono me pongo molesto", la inferencia lógica que se hace de esta información contradictoria es que la persona está haciendo una falsa declaración sobre el timbre del teléfono.


Enlaces externos[editar]

Referencias[editar]

  1. Wansing (Ed.), Heinrich (1996). Negation: A notion in focus. Berlin: Walter de Gruyter. ISBN 3110147696. 
  2. Haegeman, Lilliane (30 de marzo de 1995). The Syntax of Negation. Cambridge: Cambridge University Press. p. 70. ISBN 0521464927.