Leyes de DeMorgan

Auguste DeMorgan (matemtico y lgico ingls; 1806-1871)

Dos conjuntos son iguales si tienen los mismos elementos.
Una tcnica fcil para demostrar que dos conjuntos son iguales es demostrar que todos los
elementos de uno estn contenidos en el otro y viceversa. De ambas inclusiones podemos
deducir que ambos conjuntos tienen los mismos elementos y por lo tanto son iguales. Eso es
lo que haremos para demostrar dichas leyes.
Primera Ley El complementario de la unin de dos conjuntos es igual a la
interseccin de los complementarios de dichos conjuntos.

Es decir, todo elemento que pertenece al complementario de la unin pertenece a la

interseccin de los complementarios de los conjuntos
Recprocamente

Es decir, todo elemento que pertenezca a la interseccin de los complementarios de

dos conjuntos pertenece al complementario de la unin de dichos conjuntos.
De ambas inclusiones deducimos que ambos conjuntos son iguales
Segunda Ley El complementario de la interseccin de dos conjuntos es igual a la
unin de los complementarios de dichos conjuntos.

La demostracin es lgicamente anloga a la anterior.

Leyes de Morgan
de donde se deducen las dos inclusiones.

Concepto:

Son una parte de la lgica proposicional

y analtica, y fueron creadas por
Augustus De Morgan (Madurai, 1806
Londres 1871).

Leyes de
Morgan
Leyes de Morgan. Declarar que la suma de n variables preposicionales globalmente
negadas (o invertidas) es igual al producto de las n variables negadas individualmente y que
inversamente, el producto de n variables proposicionales
globalmente negadas es igual a la suma de las n variables negadas
individualmente. Demostracin formal si y solo si y . para cualquier x: Por lo tanto
inclusin: Con proposiciones. La prueba utiliza la asociatividad y la distributividad de las
leyes y . Verdad Si verdad por n.

Universo
Las leyes de De Morgan son una parte de la Lgica proposicional y analtica, y fueron
creadas por Augustus De Morgan (Madurai, 1806-Londres, 1871) La realidad es producto
del azar, y al azar en realidad se producen infinidad de universos, que a su vez en
Probabilidad Imposible se pueden clasificar en lneas generales en dos tipos de universos,
universos de sujetos u opciones infinitos, y universos de opciones limitadas.
Un universo es un conjunto de N elementos que forman una realidad susceptible de estudio
estadstico , pudindose definir a los N elementos como sujetos u opciones , en funcin del
tipo de naturaleza de los elementos que forman N, una naturaleza cuya cualidad cuantitativa
residir en la forma de medirse su magnitud. En funcin del tipo de universo al que
pertenezca N, los elementos de N se pueden definir como sujetos en tanto que opciones, o
se pueden definir como opciones limitadas a priori.

Segundo Mtodo de la Probabilidad Imposible

La principal caracterstica del Segundo Mtodo de la Probabilidad Imposible frente a la
estadstica tradicional, es que, si mientras la estadstica tradicional diferenciaba claramente
extremo de los de estudio estadstico en base a estadsticos de tendencia central o
dispersin, para el estudio de las puntuaciones directas, el estudio de la probabilidad o
frecuencia relativa se reservaba estrictamente para el estudio de la frecuencia de una serie
de opciones determinadas en la realidad, en la medida que mediante el Segundo Mtodo
todo sujeto es susceptible de ser estudiado en tanto que opcin, y toda opcin en tanto que
sujeto, por universo de sujetos u opciones infinitos se entender aquel universo de sujetos u
opciones cuyas puntuaciones directas, obtenidas de la medicin individual de cada sujeto,
son estudiadas mediante estadstica de la probabilidad o probabilidad estadstica, mediante
el cociente de la puntuacin directa, obtenida de la medicin individual, de cada sujeto,
entre el sumatoria de todas las puntuaciones directas de toda la muestra .
En la teora de conjuntos, encontramos situaciones en las que, los conjuntos considerados
son subconjuntos de algn conjunto conocido, que nos sirve de referencia. Definicin

Conjunto universo Se denomina conjunto universal o universo al conjunto de todos los

elementos que intervienen en el tema o situacin de inters. Se simboliza U. Ejemplo Sean
los conjuntos:

A: Las vocales

B: Las consonantes

C: El abecedario espaol. Se sabe que las vocales y las consonantes estn en el

abecedario espaol, por tanto, C es el conjunto universo o sea C = U. Conjunto
vaco y conjunto unitario. Extendemos la nocin intuitiva de conjuntos a los casos
de carencia de elementos y de unicidad de elementos mediante la introduccin de
los conjuntos vaco y unitario. Conjunto vaco y conjunto unitario Extendemos la
nocin intuitiva de conjuntos a los casos de carencia de elementos y de unicidad de
elementos mediante la introduccin n de los conjuntos vaco y unitario.

Definicin Conjunto vaco. Un conjunto que no tiene elementos se denomina conjunto

vaco y se simboliza . El conjunto vaco es subconjunto de todo conjunto.

Las reglas se pueden expresar en espaol como:

La negacin de la conjuncin es la disyuncin de las negaciones. La negacin de la
disyuncin es la conjuncin de las negaciones. o informalmente como: "no (A y B)" es lo
mismo que "(no A) o (no B)" y tambin, "no (A o B)" es lo mismo que "(no A) y (no B)"

Las Proposiciones
Una proposicin es una afirmacin que puede recibir un valor de verdad falso (F), o bien
verdadero (V), pero no ambos a la vez. Su denotacin generalmente la encontramos con las
letras (p, q, r)

Conectores Lgicos
Podemos formar nuevas proposiciones a partir proposiciones dadas mediante el uso de
conectivos lgicos. Algunos de ellos son: ^ y conjuncin v o disyuncin -> si ,
entonces implicacin < -> si y slo si doble implicacin no negacin

Leyes de Morgan permite:

Son una parte de la Lgica preposicional, analtica, y fueron creadas por Augustus de
Morgan. Estas declaran las reglas de equivalencia en las que se muestran que dos
proposiciones pueden ser lgicamente equivalentes. Las Leyes de Morgan permiten: El
cambio del operador de conjuncin en operador de disyuncin y viceversa. Las
proposiciones conjuntivas o disyuntivas a las que se aplican las leyes de Morgan pueden
estar afirmadas o negadas (en todo o en sus partes).

Casos:
(P ^ Q) (P v Q) Si nos encontramos con una proposicin conjuntiva totalmente
negada, la ley de Morgan nos permite transformarla en una proposicin disyuntiva con cada
uno de sus miembros negados
(P v Q) (P ^ Q) Si nos encontramos con una proposicin disyuntiva totalmente
negada, la ley de Morgan nos permite transformarla en una proposicin conjuntiva con cada
uno de sus miembros negados
(P ^ Q) ( P v Q) Si nos encontramos con una proposicin conjuntiva afirmada, la ley
de Morgan nos permite transformarla en una proposicin disyuntiva negada en su totalidad
y en sus miembros.
(P v Q) (P ^ Q) Si nos encontramos con una proposicin disyuntiva afirmada, la ley
de Morgan nos permite transformarla en una proposicin conjuntiva negada en su totalidad
y en sus miembros

Fuentes

Consultado en Leyes_de_De_Morgan

Consultado en leyes-de-morgan

Revisado en las-leyes-de-de-morgan-son-una-parte-de-la-lgica-proposicional-yanaltica