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
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

Ley Exponencial
Esta ley nos dice
La Rapidez de Cambio de la Cantidad es proporcional a esa Cantidad
Si y es la cantidad, esta Ley se puede escribir matemticamente de la siguiente
forma
dy/dt y
para convertir esta ecuacin en una igualdad, aadimos la Constante de
Proporcionalidad k, entonces
dy/dt=ky
que es la ecuacin diferencial que nos representa la Ley Exponencial, que nos
permite MODELAR problemas de:
Crecimiento Poblacional
Decaimiento Radioactivo
Enfriamiento de Cuerpos
Descarga de un Condensador
y en general cualquier problema que cumpla la Ley Exponencial se puede modelar
mediante la Ecuacin Diferencial
dy/dt=ky
donde y es una cantidad cualquiera.
Para encontrar la solucin de este problema, son necesarias DOS Condiciones

Condicin Inicial y Posterior

La Condicin Inicial
La Condicin Posterior
La condicin Inicial, nos indica cuanta cantidad se tena INICIALMENTE
La cantidad Posterior, nos da la cantidad en un tiempo Posterior
Usando estas dos condiciones, es posible determinar completamente la solucin de
la Ley Exponencial

Solucin de la Ley Exponencial

Para resolver la Ley Exponencial

dy/dt=ky
separamos las variables
dy/y=kdt
integrando
dy/y=kdt
calculando las integrales
ln y = k t + c
aplicando la exponencial
ln y = k t + d
y = e kt+d
aplicando reglas de exponentes
y = e kt e d
finalmente, la solucin de la Ley Exponencial
dy/dt=ky
est dada por
y = c e kt
que contiene DOS Constantes arbitrarias k y c
La constante c se determina de la
Condicin Inicial
y (0) = yo
Aplicndola a la solucin
y = c e kt
tenemos
yo = c e 0 = c
es decir
c = yo
sustituyendo en la Solucin
y = c e kt
encontramos
y = yo e k t
Finalmente, usando la
Condicin Posterior
y()=
podemos determinar la constante k
Aplicando la condicin a la solucin
= yo e k
despejando la exponencial
e k = / yo
aplicando logaritmo
k = ln ( / yo )
Finalmente, despejando k
k = [ ln ( / yo )] /
Entonces, la solucin de la Ley Exponencial es
y = yo e {[ ln ( / yo )] / } t
o
y = yo ( / yo ) t /
de la primera solucin, nos damos cuenta de donde proviene el nombre de
Ley Exponencial, proviene del hecho de que su SOLUCIN siempre es una
funcin EXPONENCIAL.

Teora de Conjuntos
La teora de conjuntos es una rama de las matemticas que estudia las propiedades y
relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como
objetos en s mismas. Los conjuntos y sus operaciones ms elementales son una
herramienta bsica en la formulacin de cualquier teora matemtica.
Sin embargo, la teora de los conjuntos es lo suficientemente rica como para construir el
resto de objetos y estructuras de inters en matemticas: nmeros, funciones, figuras
geomtricas,...; y junto con la lgica permite estudiar los fundamentos de aquella. En la
actualidad se acepta que el conjunto de axiomas de la teora de Zermelo-Fraenkel es
suficiente para desarrollar toda la matemtica.
Adems, la propia teora de conjuntos es objeto de estudio per se, no slo como
herramienta auxiliar, en particular las propiedades y relaciones de los
conjuntos infinitos. En esta disciplina es habitual que se presenten casos de
propiedades indemostrables o contradictorias, como la hiptesis del continuo o la
existencia de un cardinal inaccesible. Por esta razn, sus razonamientos y tcnicas se
apoyan en gran medida en la lgica.
El desarrollo histrico de la teora de conjuntos se atribuye a Georg Cantor, que
comenz a investigar cuestiones conjuntistas puras del infinito en la segunda mitad
del siglo XIX, precedido por algunas ideas de Bernhard Bolzano e influido por Richard
Dedekind. El descubrimiento de las paradojas de la teora cantoriana, de conjuntos,
formalizada por Gottlob Frege, propici los trabajos de Bertrand Russell, Ernst
Zermelo, Abraham Fraenkel y otros a principios del siglo XX.
Ejemplos.

Los conjuntos numricos usuales en matemticas son: el conjunto de

los nmeros naturales N, el de los nmeros enteros Z, el de los nmeros
racionales Q, el de los nmeros reales R y el de los nmeros complejos C. Cada uno
es subconjunto del siguiente:

NCZCQCRCC

El espacio
tridimensional E3 es
un
conjunto
de
objetos
elementales
denominados puntos p, p E3. Las rectas r y planos son conjuntos de puntos a su
vez, y en particular son subconjuntos de E3, r E3 y E3.

Diagramas de Venn
Los diagramas de Venn son esquemas usados en la teora de conjuntos, tema de
inters en matemticas, lgica de clases y razonamiento diagramtico. Estos diagramas
muestran colecciones (conjuntos) de cosas (elementos) por medio de lneas cerradas.
La lnea cerrada exterior abarca a todos los elementos bajo consideracin, el conjunto
universal U.
Los diagramas de Venn fueron ideados hacia 1880 por John Venn.

Introduccin
Con los diagramas de Venn es posible representar las relaciones de interseccin,
inclusin y disyuncin sin cambiar la posicin relativa de los conjuntos

Interseccin
Dado que los conjuntos pueden tener elementos comunes, las regiones encerradas por
sus lneas lmite se superponen. El conjunto de los elementos que pertenecen
simultneamente a otros dos es la interseccin de ambos.1

A = {1; 2; 3; 4; 6; 12}
B = {1; 3; 5; 15}
U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13;
14; 15; 16}

A = {x | x es divisor natural de 12}

B = {x | x es divisor natural de 15}
U = {x | x es natural menor o igual que 16}

Inclusin
Si todos los elementos de un conjunto son parte de los elementos de otro, se dice que el
primero es un subconjunto del segundo o que est incluido en el segundo.1 En los
diagramas de Venn, todas las regiones de superposicin posibles deben ser
representadas. Y, cuando hay regiones que no contienen elementos (regiones vacas),
la situacin se indica anulndolas (con un color de fondo distinto). 2

A = {1; 2; 3; 4; 6; 12}
B = {1; 2; 3; 6}
U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12}

A = {x | x es divisor natural de 12}

B = {x | x es divisor natural de 6}
U = {x | x es natural menor o igual que
12}

Disyuncin
Cuando los conjuntos no tienen elementos comunes, la regin de superposicin queda
vaca.

A = {2; 4; 6; 8}
B = {1; 3; 5; 7; 9}
U = {1; 2; 3; 4; 5; 6; 7; 8; 9; 10}

A = {x | x es par y de una cifra}

B = {x | x es impar y de una cifra}
U = {x | x es natural menor o igual que
10}

A la izquierda de los diagramas, las definiciones de los conjuntos por enumeracin y por
comprensin.

Diagrama de Euler
Un diagrama de Euler o esquema de Euler es una manera diagramtica de
representar a los conjuntos y sus relaciones. Son una representacin moderna de los
crculos de Euler, los cuales deben su nombre a su creador, Leonhard Euler.
Los diagramas de Euler normalmente consisten de simples curvas cerradas en el plano
que son usadas para describir conjuntos. Las relaciones espaciales entre las curvas
(superposicin, contencin o ninguno) corresponden, respectivamente, a relaciones
de interseccin, subconjunto y disjuntes, de la teora de conjuntos.
Estos diagramas son una generalizacin del bien conocido diagrama de Venn, el cual
representa todas las posibles intersecciones entre los conjuntos presentes dados.
A la interseccin del interior de una coleccin de curvas con el exterior del resto de
curvas se le llama zona. As, dado un conjunto de curvas, en los diagramas de Venn
todas las zonas deben estar presentes, pero no as en un diagrama de Euler, donde
algunas zonas podran no estar.
En el sentido de la lgica, uno puede usar la semntica de un modelo terico para
interpretar los diagramas de Euler dentro de un dominio de discurso. En el ejemplo de la
figura, el diagrama de Euler representa que los conjuntos Animal y Mineral son
disjuntos, porque las curvas correspondientes son disjuntas, y tambin que el
conjunto Four Legs es un subconjunto del conjunto Animal. El diagrama de Venn que
usa las mismas categoras Animal, Mineral y Four Legs no encapsula esta informacin.
Tradicionalmente, este vaco de un conjunto en los diagramas de Venn es descrito por

un sombreado o achurado de la regin. Los diagramas de Euler, en cambio,

representan vaco ya sea por el sombreado o por la omisin de una de las zonas.
A menudo se impone un conjunto de condiciones bien formadas, que corresponden a
restricciones topolgicas o geomtricas impuestas a la estructura del diagrama. Por
ejemplo, se puede forzar la conectitud de las zonas, o prohibir la concurrencia de curvas
o puntos mltiples como forma de representar intersecciones tangenciales de curvas.
En el diagrama de abajo, se observa la transformacin secuencial de pequeos
diagramas de Venn en diagramas de Euler; algunos de los diagramas intermedios tienen
concurrencia de curvas. Sin embargo, esta secuencia de transformaciones desde un
diagrama de Venn con sombreado hasta un diagrama de Euler sin sombreado, no es
siempre posible. En efecto, existen ejemplos de diagramas de Euler con 9 conjuntos que
no son diagramables usando curvas cerradas simples y sin la creacin de zonas no
deseadas, puesto que ellos tendran que tener grafos duales no planares.

Un diagrama de Euler no necesita mostrar todas las posibles intersecciones.

Un diagrama de Venn muestra todas las posibles intersecciones.

Ejemplos de diagramas de Venn con regiones sombreadas representando conjuntos vacos, fcilmente
transformables a diagramas de Euler.

Una proposicin es una oracin con valor referencial o informativo, de la cual

se puede predicar su veracidad o falsedad, es decir, que puede ser falsa o
verdadera pero no ambas a la vez.
La proposicin es la expresin lingstica del razonamiento, que se
caracteriza por ser verdadera o falsa empricamente, sin ambigedades.

"Componentes de una proposicin"

TIPOS DE PROPOSICIONES

Proposiciones Simples:

Son aquellas que no tienen oraciones componentes afectadas por

negaciones (no) o trminos de enlace como conjunciones (y),
disyunciones (o) o implicaciones (si . . . entonces). Pueden aparecer
trminos de enlace en el sujeto o en el predicado, pero no entre oraciones.

Proposiciones Compuestas:

Una proposicin ser compuesta si no es simple. Es decir, si est afectada

por negaciones o trminos de enlace entre oraciones componentes.
EJEMPLOS:
Simples:
La ballena es roja.
La raz cuadrada de 16 es 4.
Gustavo es alto.
Teresa va a la escuela.
Compuestas:
La ballena no es roja.
Gustavo no es alto.
Teresa va a la escuela o Mara es inteligente.
4 es menor que 8 o 6 es mayor que 10.
El 1 es el primer nmero primo y es mayor que cero.
El 7 es mayor que 5 y 7 es menor que 10.
Si Yolanda es estudiosa entonces pasar el examen.
Si corro rpido entonces llegar temprano.
Terminar rpido si y slo si me doy prisa.
Aprender Matemticas si y slo si estudio mucho.

Denominadas a travs de letras minsculas, las proposiciones matemticas tienen

un valor de verdad (que ser la veracidad o la falsedad de su enunciado). De
acuerdo a sus caractersticas, es posible distinguir entre proposiciones
simples (que
carecen
de
conectores lgicos)
y proposiciones
compuestas (cuentan con ms de un conector lgico). Dentro de estos grupos
tambin
pueden
advertirse
otras
clasificaciones: proposiciones
relacionales, proposiciones predicativas, etc.
Las proposiciones matemticas pueden ser vistas como expresiones de juicio que
no pueden resultar verdaderas y falsas de manera simultnea. Por ejemplo:
a: 9 es mltiplo de 3
Dicha expresin es una proposicin matemtica que resulta verdadera, ya que 3 x
3 es igual a 9 y, por lo tanto, 9 es uno de los infinitos mltiplos de 3. Como
decamos lneas arriba, la proposicin matemtica tambin puede ser falsa:
b: 7 es mltiplo de 3
En este caso, la proposicin es falsa ya que 7 no est entre los mltiplos de 3 (3 x 2
= 6, 3 x 3 = 9).
Proposicin matemtica abierta

Hay ciertas afirmaciones de las cuales no podemos anticipar su valor de verdad a

simple vista, ya que en su contenido existe al menos una variable, cuyo valor se
desconoce. Luego de observarla y analizarla, pueden llevarse a cabo los clculos
necesarios para dar con uno de los valores capaces de reemplazarla, para
finalmente estar en condiciones de asegurar se la proposicin es verdadera o falsa.