Semana 5- Sesión 4 Negación de una Proposición compuesta, leyes de De morgan

 Augustus de Morgan fue un matemático que formuló a través de un algoritmo las leyes que nos permiten negar una proposición compuesta por dos proposiciones simples. Estas fueron formuladas para la conjunción, disyunción, condicional y bicondicional.

Para esta sesión solamente se trabajaron las Leyes de De Morgan para la conjunción y disyunción.

Para poder negar una proposición se le debe cambiar su valor de verdad.

Primero se explicó la forma de aplicar dichas leyes a la Conjunción, se realizó una demostración y luego se ejemplificó la forma de trabajar esta ley.

Luego se trabajó la aplicación de la ley para la disyunción, nuevamente se hicieron algunos ejemplos y se demostró mediante una tabla que la negación de una conjunción es equivalente a la disyunción de la negación de cada proposición simple.

Al finalizar la explicación del tema, se asignó la hoja de trabajo y se realizó un ejemplo para facilitar la comprensión de los ejercicios.