Está en la página 1de 2

Leyes de D’ Morgan

Se conoce con el nombre de Leyes de Morgan a dos postulados,
emitidos en su momento por el matemático británico Augustus de
Morgan, y que se basan principalmente en declarar la equivalencia
que puede existir entre dos proposiciones lógicamente
equivalentes. En este sentido, las Leyes de Morgan habrían sido
establecidas a fin de permitirle al matemático la posibilidad
de cambiar el operador de conjunción a un operador de disyunción,
así también como su proceso contrario, por medio del cual el
matemático podría cambiar el operador de disyunción por un
operador de conjunción, tanto si estas conjunciones y disyunciones
son afirmadas o negadas, de forma absoluta o en algunas de sus
partes.

Por lo general la Lógica proposicional también hace uso de las
proposiciones P y Q para expresar formalmente las Leyes de
Morgan, dándole entonces un valor a cada signo, teniendo por
consiguiente que cada uno equivale al siguiente concepto:
¬ considerado el operador de negación, con su equivalente “No”
˄ considerado el operador de conjunción, con su equivalente “Y”
˅ considerado el operador de disyunción (O)-
<=> considerado como el equivalente a “puede ser reemplazado”.

Se dice que las leyes de Morgan son dos:

 La negación de la conjunción es la disyunción de las
negaciones.

 La negación de la disyunción es la conjunción de las negaciones. la cual tomaría la siguiente forma:  No (A y B) es equivalente o igual que (no A) o (no B . de esta forma: No obstante. Las reglas pueden ser expresadas en un lenguaje formal con dos proposiciones P y Q. estas mismas fuentes señalan que también existe una expresión informal de las Leyes de Morgan.