Sesión 20 - Negación de una proposición compuesta, Leyes de De Morgan

15/junio/2023

Negación de una proposición compuesta, Leyes de De Morgan

La negación de una proposición compuesta implica la negación de todas sus partes constituyentes. En la lógica, la negación se representa por el símbolo "¬" (no) y se utiliza para expresar la falsedad de una proposición.

Si tenemos una proposición compuesta que se forma mediante la conjunción (p ∧ q) o la disyunción (p ∨ q) de dos proposiciones simples p y q, la negación de esta proposición compuesta se puede realizar aplicando las leyes de De Morgan.

Las leyes de De Morgan establecen las siguientes equivalencias:

1. La negación de una conjunción es equivalente a la disyunción de las negaciones de las proposiciones individuales:

¬(p ∧ q) ≡ (¬p ∨ ¬q)

Por ejemplo, si tenemos la proposición "Juan estudia y María estudia" (p ∧ q), su negación sería "No es cierto que Juan estudia y María estudia" (¬p ∨ ¬q). Esto implica que si al menos una de las dos personas no está estudiando, la negación de la conjunción sería verdadera.

2. La negación de una disyunción es equivalente a la conjunción de las negaciones de las proposiciones individuales:

¬(p ∨ q) ≡ (¬p ∧ ¬q)

Por ejemplo, si tenemos la proposición "Juan estudia o María estudia" (p ∨ q), su negación sería "No es cierto que Juan estudia o María estudia" (¬p ∧ ¬q). Esto implica que si ninguna de las dos personas está estudiando, la negación de la disyunción sería verdadera.

Las leyes de De Morgan son útiles en la resolución de problemas porque nos permiten simplificar y transformar proposiciones compuestas al momento de negarlas. Estas leyes ayudan a analizar la veracidad o falsedad de las afirmaciones y a realizar inferencias lógicas.

Personalmente me pareció un tema fácil, pero para su comprensión debemos de poner mucha atención. Después de haber realizado los ejercicios en clase se me facilitó bantante el tema y pude realizar la tarea sin ningún problema.