Ley de Morgan

Según lo aprendido en clase son un par de reglas de transformación que son ambas reglas e inferencia válidas. Las normas permiten la expresión de las CONJUNCIONES  y DISYUNCIONES puramente en términos de vía negación.

Las reglas se pueden expresar en español como:

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 regla de la negación de la conjunción se puede escribir en la subsiguiente notación:

${\displaystyle \neg (P\land Q)\vdash (\neg P\lor \neg Q)}$

La negación de la regla de disyunción se puede escribir como:

${\displaystyle \neg (P\lor Q)\vdash (\neg P\land \neg Q)}$

En Forma de Regla:

•  negación de la conjunción

${\displaystyle {\frac {\neg (P\land Q)}{\therefore \neg P\lor \neg Q}}}$

•  negación de la disyunción

${\displaystyle {\frac {\neg (P\lor Q)}{\therefore \neg P\land \neg Q}}}$

 se expresa como un teorema de lógica proposicional:

${\displaystyle \neg (P\land Q)\to (\neg P\lor \neg Q)}$

${\displaystyle \neg (P\lor Q)\to (\neg P\land \neg Q)}$

Donde , y  son proposiciones expresadas en algún sistema formal.