NEGACIÓN DE PROPOSICIÓN Y LEYES DE MORGAN
NEGACIÓN DE PROPOSICIÓN Y LEYES DE MORGAN
Negación de proposición: En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos. Intuitivamente, la negación de una proposición es verdadera cuando dicha proposición es falsa, y viceversa.
Son muy útiles cuando se quieren encontrar equivalentes para proposiciones que se obtienen por la negación de proposiciones compuestas.
La negación de una conjunción equivale a la conjunción de las negaciones.
Ejemplo negación de conjunción
P: A Vivian le gusta dibujar.
Q: A Emily le gusta pintar.
~(A Vivian le gusta dibujar)
Ejemplo negación de disyunción
P: Cristopher cocina pizza.
Q: Andrés cocina pasta.
~(Cristopher cocina pizza)
Comentarios
Lo que expresan estas leyes es que, ya sea en la negación de la conjunción o de la disyunción, el resultado es equivalente a negar por separado a cada una de las proposiciones participantes e invertir el conector que las vincula. Para una mejor comprensión de las leyes de De Morgan, es necesario revisar el significado de las proposiciones y de los símbolos empleados en lógica proposicional, para ver como aplicar convenientemente estas leyes.
Estas leyes establecen que la negación de una conjunción es equivalente a la disyunción de las negaciones de las proposiciones individuales, y que la negación de una disyunción es equivalente a la conjunción de las negaciones de las proposiciones individuales.
En síntesis, las leyes de Morgan son herramientas poderosas para simplificar expresiones lógicas y son ampliamente utilizadas en la optimización de circuitos lógicos, programación, y la toma de decisiones basadas en lógica.