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.
introducción, negación, introducción, negación, regla, inferencia, regla, transformación, campo, cálculo, proposicional, introducción, negación, establece, antecedente, determinado, implica, tanto, consecuente, complemento, antecedente, contradicción, notación. La introduccion de la negacion es una regla de inferencia o regla de transformacion en el campo del calculo proposicional La introduccion de la negacion establece que si un antecedente determinado implica tanto el consecuente y su complemento el antecedente es una contradiccion 1 2 Notacion formal EditarEsto puede escribirse como P Q P Q P displaystyle P rightarrow Q land P rightarrow neg Q leftrightarrow neg P Un ejemplo de su uso seria un intento de probar dos declaraciones contradictorias de un mismo hecho Por ejemplo si una persona fuera a declara Cuando suena el telefono me pongo feliz y posteriormente declara Cuando suena el telefono me pongo molesto la inferencia logica que se hace de esta informacion contradictoria es que la persona esta haciendo una falsa declaracion sobre el timbre del telefono Enlaces externos EditarCategoria Logica proposicional en ProofWiki GFDLed Esta obra contiene una traduccion total derivada de Negation introduction de la Wikipedia en ingles concretamente de esta version publicada por sus editores bajo la Licencia de documentacion libre de GNU y la Licencia Creative Commons Atribucion CompartirIgual 3 0 Unported Referencias Editar 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 Datos Q16155098Obtenido de https es wikipedia org w index php title Introduccion de la negacion amp oldid 131115240, wikipedia, wiki, leyendo, leer, libro, biblioteca,
