Leyes de Morgan

Jueves 20 de junio

Las leyes de Morgan son reglas de transformación que son ambas reglas de inferencia validas . Las normas permiten la expresión de las conjunciones y disyunciones.

En términos de negación :
1. La negación de la conjunción es la disyunción de las negaciones .
2. La negación de la disyunción es la conjunción de las negaciones .

Las leyes de Morgan son de gran utilidad en los procesos inherentes a las expresiones lógicas que son utilizadas dentro de diseños de informática y diseños de







Variaciones de la condicional :

Existen otras proposiciones relacionadas con la implicación p=>q. Cualquier proposición condicional se halla conformada por un antecedente y un consecuente .
Si se intercambian, se niegan o las dos cosas o se forma una nueva proposición condicional.
Ejemplo:  si Guatemala es un país , entonces Guatemala pertenece a Centroamérica.
P: Guatemala es un país
q: Guatemala pertenece a Centroamérica .

P=>q

Al cambiar el antecedente « Guatemala es un país » y el consecuente « Guatemala pertenece a Centroamérica «  se obtiene una nueva proposición condicional .
 q => p




Recíproca : 
« Si Guatemala pertenece a Centroamérica entonces Guatemala es un país «

Si se niega ambos lados de la proposición directa , el antecedente y el consecuente se obtiene la inversa de la proposición dada .
~p => ~q

Ej: « si Guatemala no es un país , entonces Guatemala No pertenece a Centroamérica «

Contrapositiva :
Si el antecedente y el consecuente se intercambian y se niegan , se obtiene la contrapositiva de la proposición dada.

~q => ~p

« Si Guatemala no pertenece a Centroamérica, entonces Guatemala no es un país «