(26/06/2020) REGLAS DE DE MORGAN

Son parte de la lógica proposicional y analítica, creada por Augustus De Morgan.  Son útiles para encontrar proposiciones equivalentes de la negación de la disyunción y de la conjunción.

• La negación de una conjunción equivale a la disyunción de las negaciones.

• La negación de una disyunción equivale a la conjunción de las negaciones.

Por ejemplo

En la conjunción y disyunción se niegan las dos proposiciones lógicas y se cambia el conector

Un día tiene 24 horas Y una semana tiene 6 días 

-Un día NO tiene 24 horas O una semana NO tiene 6 días

La tierra es un planeta O la luna es un planeta

-La tierra NO es un planeta Y la luna NO es un planeta

Considero que estas primeras reglas que he aprendido, son fáciles de interpretar, ya que solo es cuestión de negar las proposiciones y cambiarles el conectivo ( en caso de ser conjunción, pasarlo a disyunción) lo único es leer bien y procurar que nada se nos pase por alto. Además me parece un tema muy interesante, que es importante conocer siempre que se vean proposiciones, para tener una noción más completa de las mismas.