Introducción de la negación
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
Esto puede escribirse como:
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
- Categoría:Lógica proposicional en ProofWiki (GFDLed)
- Esta obra contiene una traducción total derivada de «Negation introduction» de Wikipedia en inglés, concretamente de esta versión, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.
Referencias
- ↑ Wansing (Ed.), Heinrich (1996). Negation: A notion in focus. Berlin: Walter de Gruyter. ISBN 3110147696.
- ↑ Haegeman, Lilliane (30 de marzo de 1995). The Syntax of Negation. Cambridge: Cambridge University Press. p. 70. ISBN 0521464927.