Leyes De Morgan
Ley de Morgan
Las leyes de De Morgan son una parte de la Lógica proposicional y analítica ,y fue creada por Augustus De Morgan(Madurai,1806-Londres,1871).
Las leyes de De Morgan declaran que la suma de n variables globalmente negadas (o invertidas) es igual al producto de las n variables negadas individualmente y queinversamente, el producto de n variables globalmente negadas es igual a la suma de las n variables negadas individualmente.
Las Leyes de Morgan permiten:
1. El cambio del operador de conjunción enoperador de disyuncióny viceversa.
2. Las proposiciones conjuntivas o disyuntivas a las que se aplicanlas leyes de Morgan pueden estar afirmadas o negadas (en todo o en sus partes).
La estrategiageneral a seguir en la aplicación de las leyes de Morgan es el siguiente:
3. Si nos encontramos con una proposición conjuntiva totalmente negada, la ley de Morgan nos permite transformarla enuna proposición disyuntiva con cada uno de sus miembros
Negados.
SU ESQUEMA ES EL SIGUIENTE:
¬ (P∧Q) ≡ (¬P∨ ¬Q)
4. Si nos encontramos con una proposición disyuntiva totalmente negada, la ley de Morgannos permite transformarla en una proposición disyuntiva con cada uno de sus miembros
Negados.
SU ESQUEMA ES EL SIGUIENTE:
¬ (P∨Q) ≡(¬P∧¬Q)
5. Si nos encontramos con una proposición conjuntivaafirmada, la ley de Morgan nos permite transformarla en una proposición disyuntiva negada en su totalidad y en sus miembros.
SU ESQUEMA ES EL SIGUIENTE:
(P∧Q)≡ ¬ (¬P∨¬Q)
6. Si nos encontramos conuna proposición disyuntiva afirmada, la ley de Morgan nos permite transformarla en una proposición conjuntiva negada en su totalidad y en sus miembros.
SU ESQUEMA ES EL SIGUIENTE:
(P∨Q)≡ ¬(¬P∧¬) Q
Auguste De Morgan (matemático y lógico inglés; 1806-1871)
Dos conjuntos son iguales si tienen los mismos elementos.Una técnica fácil para demostrar que dos conjuntos son iguales es...
Regístrate para leer el documento completo.