Semana 5 Proposiciones y tablas de verdad

 SESIÓN 2 PROPOSICIONES Y TABLAS DE VERDAD 

Una tabla de verdad de una proposición es un tablero que muestra todos los valores de verdad de un esquema molecular formada por todas las combinaciones posibles de las variables proposiciones que la componen. Valor de verdad de una proposición.

SESIÓN 3 CONJUNCIÓN Y DISYUNCIÓN 

SESIÓN 4 NEGACIÓN DE UNA PROPOSICIÓN COMPUESTA, LEYES DE MORGAN 

¿Qué son las leyes de De Morgan?

Las leyes de De Morgan son dos leyes lógicas pertenecientes a la lógica proposicional que fueron formuladas por el matemático inglés Augustus De Morgan (1806-1871). En ellas se establece lo siguiente, respecto a una proposición lógica compuesta:

1. El opuesto de una conjunción es equivalente a la disyunción que se forma con los opuestos o negaciones de las proposiciones que conforman la conjunción.
2. La negación de la disyunción se puede expresar como una conjunción conformada por los opuestos o negaciones de las proposiciones involucradas en la disyunción.

En la notación de la lógica proposicional, las leyes de De Morgan se expresan de una forma compacta y más formal así:

1. ∼(p ∧ q) ⇔ ∼p ∨ ∼q
2. ∼(p ∨ q) ⇔ ∼p ∧ ∼q