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

Durante esta sesión vimos el tema acerca de las leyes de Morgan y como es la negación de una proposición compuesta. 

Las leyes de De Morgan​​​ son un par de reglas de transformación que son ambas reglas de inferencia válidas. Las normas permiten la expresión de las conjunciones y disyunciones puramente en términos de vía negación.

Las leyes de Morgan son las maneras distintas de escribir las proposiciones dependiendo de que nos estén pidiendo en cada una de ellas. 

Para las conjunción en estos casos pasa de ser conjunción a disyunción.

Ejemplo de negación de conjunción: 

A Pablo le gusta comer pizza y Pedro le gusta comer papas. 

Negación:  A Pablo no le gusta comer pizza o Pedro no le gusta comer papas. 

Ejemplo de negación disyunción: 

Alex corre afuera o Marcos corre adentro. 

Negación: Alex no corre afuera y Marcos no corre adentro.