Nivelacin- Ingeniera

PROYECTO DE AULA DE ALGEBRA

ALUMNOS:
CRISTIAN REINO
XAVIER LOZANO
ADRIN CUSCO
JONATHAN MINCHALA

PROFESOR:
LCDA. CARMEN CALLE.

FECHA:
21 DE NOVIEMBRE DE 2014.

TEMA:
1.- Investigacin sobre: Razonamientos, Mtodos de demostracin, Algebra de Boole y
circuitos lgicos.
2.-Investigacion sobre el ESTUDIO de los conjuntos y proposiciones desde la
antigedad hasta los tiempos modernos.

ESTUDIO

DE

LOS

CONJUNTOS

PROPOSICIONES

DESDE

LA

ANTIGEDAD HASTA LOS TIEMPOS MODERNOS.

En el sentido ms general de la palabra, el estudio de la lgica se remonta cuando
Aristteles la puso a la cabeza de su sistema filosfico como materia indispensable para
cualquier otra ciencia.
1585: A partir de aqu, fsica clsica fue sustituida por la nueva fsica de Galileo y
Newton, la lgica simplemente fue ignorada. Se mantuvo, pero en manos de filsofos y
en parte de los matemticos con inclinaciones filosficas, aunque sin jugar ningn papel
relevante en el desarrollo de las ciencias. Leibniz le dio cierto impulso, pero sin
abandonar una postura conservadora.
1850: Georg Boole en su Mathematical Analysis of Logic trat de presentar la lgica
como parte de las matemticas.
1873: Gottlob Frege intent mostrar que la aritmtica era parte de la lgica en su Die
Grundlagen der Arithmetik
1874: Cantor cre una nueva disciplina matemtica: la teora de conjuntos.
Su obra fue admirada y condenada simultneamente por sus contemporneos. Segn la
definicin de conjunto de Cantor, ste es una coleccin en un todo de determinados y
distintos objetos de nuestra percepcin o nuestro pensamiento, llamados los elementos
del conjunto.
Etapas del descubrimiento de la teora de conjuntos de cantor
1. Es sabido que cantor descubri su teora general de conjuntos, y en particular su
teora de los transfinitos, a partir de los problemas matemticos muy concretos,
planteados por heine, en relacin con la unicidad e la presentacin de una funcin
mediante series trigonomtricas. Dauben (1971) ha estudiado perfectamente este
punto, por lo cual ni instruiremos ms en l. Baste recordar que en esta primera
ocasin, Cantor estudia nicamente conjuntos de nmeros tales como los
2.

coeficientes de una serie trigonomtrica o las races de una ecuacin polinmica.

La introduccin de los conjuntos derivados de puntos implica una primera
generalizacin del planteamiento inicial, al par que una tentativa concreta y exitosa
de resolver el problema de partida. Pero la resolucin de problema no freno la

investigacin, sino todo lo contrario. Lo que en un principio haba aparecido como

un mero recurso tcnico para solucionar un problema concreto que la teora de
funciones paso a ser luego, tal y como ha ocurrido repetidas veces a lo largo de la
historia de las matemticas, un objeto con inters propio, e incluso el germen de
toda una teora. La operacin de derivacin consiste en definir, dado un conjunto
cualquiera P de puntos (y no ya solo de nmeros), el conjunto derivado P (1) que
contiene todos los puntos-lmite del primero, como los llamo Cantor, es decir lo que
actualmente suele denominarse puntos de acumulacin. La operacin de derivacin
resulta ser matemticamente precisa e iterable, pese a que est definida sobre
entidades que hasta entonces no haban sido considerados como objetos
matemticos: los conjuntos continuos o discontinuos de puntos , que ya no son
figuras geomtricas ni recorridos de funciones. Surgieron as los conjuntos de
primera especie, tales que p(n) = para algn n finito y los conjuntos de segunda
especie, tales que p(n) para todo numero natural n. con esta distincin se
prefigura ya la nocin de transfinito, pero est todava no ha aparecido, por lo cual
debe de ser distinguida esta etapa como singular.
3. Con el fin de clasificar los conjuntos de segunda especie, Cantor introdujo los
smbolos de infinitud en 1880 y los defini en funcin de la operacin de derivacin
de la manera siguiente:

Y as sucesivamente:
Los conjuntos derivados precedentes quedaban englobados en estos smbolos de
infinitud, as como su clasificacin, con lo cual se haba cumplido un nuevo paso lgico
en la creacin de teora.
4. A continuacin, tal como lo seala Hallet: Cantor empez en seguida a utilizar
instintivamente una aritmtica de smbolos, combinndolos entre si y con los
nmeros naturales. Con ello se entra en una nueva etapa, que la construccin
estructural interpretara como de construccin de un nuevo modelo parcial de la
teora. Hallet subraya que este paso implica lo que l llama principio cantoriano de

finitismo, consistente en presuponer que los smbolos del infinito y los nmeros
naturales eran objetos operatoriamente equivalentes, al serles aplicables las mismas
operaciones aritmticas tanto a cada uno de ellos por separado como al combinarlos
entre s. Pas este por cierto, enormemente frecuentada entre matemticos, cada vez
que aparecen nuevos tipos de signos, y cuya funcin Heurstica es importantsima,
tanto en investigacin cantoriana como en otros casos histricos. Por lo mismo, la
denominacin de principio de finitismo nos parece restrictiva, adems de
inadecuada. Podra ser llamado, perfectamente, principio de combinacin operatoria
de los signos, y habra de ser ligado a algn paradigma algebrista cuyos orgenes
histricos se remontaran al siglo XVI, probablemente.
5. Tres aos ms tarde, en 1883, Cantor ya haba asimilado esos smbolos a nmeros,
introduciendo el principio de correspondencia biunvoca entre dos conjuntos como
la definicin comn para los nmeros finitos y transfinitos. Surgen tambin los
primeros descubrimientos concretos (hechos nuevos e imprevisible, en el sentido de
Lakatos, al no estar planteados previamente como problemas ni tener paralelo con
otros resultados y modelos matemticos de la poca) tales como la demostracin de
biunivocidad entre N y Q y de la no biunivocidad entre N y R. Puede concluirse
que, precisamente en esta etapa, el ncleo de la teora de conjuntos queda ya
constituido en la mente de Cantor, siendo el mtodo diagonal el resultado ms
tangible y novedosos de la teora, como lo ser a continuacin el teorema de Cantor,
N<2N, que engendra la serie de los transfinitos

BIOGRAFIAS CON APORTES EN CADA AO

John Venn (Drypool, 4 de agosto de 1834 Cambridge, 4 de abril de 1923), fue un matemtico
y lgico britnico. Destac por sus investigaciones
en lgica inductiva. Es especialmente conocido por
su

mtodo

de

representacin

grfica

de

proposiciones (segn su cualidad y cantidad) y

silogismos. Los diagramas de Venn permiten,
adems, una comprobacin de la verdad o falsedad de un silogismo. Posteriormente
fueron utilizados para mostrar visualmente las operaciones ms elementales de la teora

de

conjuntos.

John Venn naci en 1834 en Hull, Yorkshire. Su madre, Martha Sykes, provena de
Swanland, cerca de Hull, y muri mientras John era an muy pequeo. Su padre era el
reverendo Henry Venn, quien en la poca en que naci John era el rector de la parroquia
de Drypool, cerca de Hull. Henry Venn vena de una familia distinguida. Su propio
padre, el abuelo de John, el Reverendo John Venn, haba sido rector de Clapham en el
sur de Londres. Era el lider de la Secta Clapham, un grupo de cristianos evanglicos que
se reunan en su iglesia y que promovan la reforma de la prisin y la abolicin de la
esclavitud

de

los

deportes

crueles.

El padre de John Venn (Henry) jug tambin un papel prominente en el movimiento

evanglico. La Society for Missions in Africa and the East (Sociedad de las Misiones en
frica y Oriente) fue fundada por la clereca evanglica de la Iglesia de Inglaterra en
1799, y en 1812 fue rebautizada como la Church Missionary Society for Africa and the
East (Sociedad de la Iglesia Misionaria de frica y Oriente). Henry Venn fue secretario
de la Sociedad desde 1841. Se mud a Highgate, cerca de Londres, con el fin de llevar a
cabo sus deberes. All mantuvo su posicin hasta su muerte en 1873.
Diagramas de Venn y Subconjuntos
Los diagramas de Venn son ilustraciones usadas
en la rama de la Matemtica y Lgica de
clases conocida como teora de conjuntos. Estos
diagramas se usan para mostrar grficamente la
agrupacin de cosas elementos en conjuntos,
representando cada conjunto mediante un crculo o
un valo. La posicin relativa en el plano de tales
crculos muestra la relacin entre los conjuntos. Por ejemplo, si los crculos de los
conjuntos A y B se solapan, se muestra un rea comn a ambos conjuntos que contiene
todos los elementos contenidos a la vez en A y en B. Si el crculo del conjunto A aparece
dentro del crculo de otro B, es que todos los elementos de A tambin estn contenidos
en B.
En la teora de conjuntos comnmente utilizamos los diagramas de Venn, desarrollados
por el lgico John Venn (1834-1923). En estos diagramas el conjunto es representado

por un rectngulo, y los dems conjuntos relevantes dentro de este universo se

representan mediante regiones ovaladas.
Leonhard Paul Euler
Leonhard Euler fue un matemtico suizo, cuyos trabajos ms
importantes se centraron en el campo de las matemticas puras,
campo de estudio que ayud a fundar.
Euler naci en Basilea en 1707 y estudi en la Universidad de
Basilea

con

el

matemtico

suizo

Johann

Bernoulli,

licencindose a los 16 aos. En 1727, por invitacin de la

emperatriz de Rusia Catalina I, fue miembro del profesorado de
la Academia de Ciencias de San Petersburgo. Fue nombrado catedrtico de fsica en
1730 y de matemticas en 1733.
En 1741 fue profesor de matemticas en la Academia de Ciencias de Berln a peticin
del rey de Prusia, Federico el Grande. Euler regres a San Petersburgo en 1766, donde
permaneci hasta su muerte.
Aunque obstaculizado por una prdida parcial de visin antes de cumplir 30 aos y por
una ceguera casi total al final de su vida, Euler produjo numerosas obras matemticas
importantes, as como reseas matemticas y cientficas.
En su Introduccin al anlisis de los infinitos (1748), Euler realiz el primer tratamiento
analtico completo del lgebra, la teora de ecuaciones, la trigonometra y la geometra
analtica. En esta obra trat el desarrollo de series de funciones y formul la regla por la
que slo las series convergentes infinitas pueden ser evaluadas adecuadamente.
Tambin abord las superficies tridimensionales y demostr que las secciones cnicas
se representan mediante la ecuacin general de segundo grado en dos dimensiones.
Otras obras trataban del clculo (incluido el clculo de variaciones), la teora de
nmeros, nmeros imaginarios y lgebra determinada e indeterminada.
Euler, aunque principalmente era matemtico, realiz tambin aportaciones a la
astronoma, la mecnica, la ptica y la acstica. Entre sus obras se encuentran
Instituciones del clculo diferencial (1755), Instituciones del clculo integral (17681770) e Introduccin al lgebra (1770).

Euler tena una memoria prodigiosa; recordaba las potencias, hasta la sexta, de los 100
primeros nmeros primos, y la Eneida entera. Realizaba clculos mentalmente que otros
matemticos realizaban con dificultad sobre el papel.
La productividad matemtica de Euler fue extraordinaria. Nos encontramos su nombre
en todas las ramas de las matemticas: Hay frmulas de Euler, polinomios de Euler,
constantes de Euler, integrales eulerianas y lneas de Euler. A pesar de todo esto se cas
y tuvo trece hijos, estando siempre atento al bienestar de familia; educ a sus hijos y
nietos.
Muri el 7 de septiembre de 1783.
George Cantor
(San Petersburgo, 1845-Halle, Alemania, 1918) Matemtico
alemn de origen ruso. El joven Cantor permaneci en Rusia
junto a su familia durante once aos, hasta que la delicada
salud de su padre les oblig a trasladarse a Alemania. En
1862 ingres en la Universidad de Zurich, pero tras la muerte
de su padre, un ao despus, se traslad a la Universidad de
Berln, donde estudi matemticas, fsica y filosofa. Se
doctor en 1867 y empez a trabajar como profesor adjunto
en la Universidad de Halle. En 1874 public su primer trabajo sobre teora de conjuntos.
Entre 1874 y 1897, demostr que el conjunto de los nmeros enteros tena el mismo
nmero de elementos que el conjunto de los nmeros pares, y que el nmero de puntos
en un segmento es igual al nmero de puntos de una lnea infinita, de un plano y de
cualquier espacio. Es decir, que todos los conjuntos infinitos tienen el mismo tamao.
Consider estos conjuntos como entidades completas con un nmero de elementos
infinitos completos. Llam a estos nmeros infinitos completos nmeros transfinitos
y articul una aritmtica transfinita completa. Por este trabajo fue ascendido a profesor
en 1879. Sin embargo, el concepto de infinito en matemticas haba sido tab hasta
entonces, y por ello se granje algunos enemigos, especialmente Leopold Kronecker,
que hizo lo imposible por arruinar su carrera. Estancado en una institucin docente de
tercera clase, privado del reconocimiento por su trabajo y constantemente atacado por
Kronecker, sufri su primera crisis nerviosa en 1884. Sus teoras slo fueron
reconocidas a principios del siglo XX, y en 1904 fue galardonado con una medalla de la

Sociedad Real de Londres y admitido tanto en la Sociedad Matemtica de Londres

como en la Sociedad de Ciencias de Gotinga. En la actualidad se le considera como el
padre de la teora de conjuntos, punto de partida de excepcional importancia en el
desarrollo de la matemtica moderna. Muri en una institucin mental.
De Morgan, Augustus (1806-1871).
Lgico y matemtico britnico nacido el 27 de junio de
1806 en Madura (India) y fallecido el 18 de marzo de
1871 en Londres (Inglaterra). Hijo de un teniente coronel
destinado en la India -que falleci cuando Augustus
contaba diez aos de edad-, Augustus de Morgan regres
junto con su familia al Reino Unido con tan slo siete
meses. No fue un estudiante destacado en el colegio;
haba perdido la visin del ojo derecho poco despus de
nacer y esa discapacidad le perjudic en el desarrollo de
sus capacidades y le impidi participar en las actividades deportivas de la escuela,
adems de hacerle vctima de las crueles burlas de algunos de sus compaeros.
Ingres en el Trinity College de Cambridge en 1823, a los 16 aos, donde recibi clases
de Peacock y Whewell -quienes se convirtieron en sus amigos de por vida-. Ms tarde
regres a Londres para ingresar en el Lincoln's Inn, y en 1827 solicit ser profesor del
recin fundado University College de Londres en el que, a pesar de no contar todava
con publicaciones matemticas, fue aceptado. En 1828, De Morgan se convirti en
profesor titular de matemticas en la citada institucin, con una leccin inaugural
titulada "On the study of mathematics" ("Sobre el estudio de las matemticas"). Sin
embargo, renunci a su puesto en 1831 "por cuestin de principios". Fue admitido de
nuevo en 1836 y la mantuvo hasta 1866, cuando renunci por segunda vez.
Public su famoso libro Elements of arithmetic (Elementos de aritmtica, que tuvo
luego numerosas ediciones) en 1830. En 1838 defini sobre bases rigurosas el concepto
de "induccin matemtica", que se haba usado hasta entonces sin ninguna claridad. La
definicin del trmino apareci por primera vez en el artculo "Induccin
(Matemticas)", que De Morgan escribi para la Penny Cyclopedia, publicada por la
Society for the Diffusion of Useful Knowledge -que tambin public el famoso trabajo

de este autor "The Differential and Integral Calculus"- y que incluy con el paso de los
aos un total de 712 artculos de la pluma de De Morgan.
En 1849 public Trigonometry and double algebra, en el que ofreca una interpretacin
geomtrica de los nmeros complejos. Fue un apasionado del lgebra: estudi su
naturaleza puramente simblica y puso de manifiesto la existencia de otras lgebras
distintas de la ordinaria. Una de sus mayores contribuciones fue la introduccin de las
leyes lgicas que llevan su nombre (vid. infra), fundamentales en el desarrollo de la
lgica matemtica.
Fue cofundador en 1866 de la Sociedad Matemtica de Londres, de la que fue primer
presidente y su hijo, George de Morgan, primer secretario. En ese mismo ao fue
elegido miembro de la Real Sociedad Astronmica; sin embargo, nunca fue miembro de
la clebre Royal Society, ya que se neg siempre a que su nombre fuera propuesto como
candidato, y tambin rechaz otros honores como, por ejemplo, el Honorary Degree de
la Universidad de Edimburgo. En este sentido, muchos contemporneos suyos dejaron
constancia de su peculiar personalidad, arisca y poco dada a la sociabilidad, tal vez
debido a su enfermedad fsica. l mismo se consideraba un desarraigado, sin ningn
apego a su patria (no se consideraba ingls, ni escocs, ni gals, ni irlands); jams vot
en las elecciones, ni visit la Casa de los Comunes, ni la Torre de Londres, ni la Abada
de Westminster. Prefera quedarse en la ciudad, recorriendo libreras polvorientas,
mientras su familia pasaba el verano en la playa o los hombres de ciencia celebraban sus
reuniones veraniegas de la British Association en el campo. Thomas Hirst lo defini
como "un seco pedante dogmtico", sin ninguna simpata o inters en comn con el
resto de los intelectuales y cientficos de su poca.
George Boole
(Lincoln, Reino Unido, 1815 - Ballintemple, actual
Irlanda, 1864) Matemtico britnico. Proceda de una
familia venida a menos y tuvo que desestimar la idea de
convertirse en monje al verse obligado a mantener a sus
padres.
A los diecisis aos enseaba matemticas en un colegio
privado y ms tarde fund uno propio. A los veintecuatro

aos, tras la publicacin de su primer escrito, pudo ingresar en Cambridge, pero

desestim la oferta, de nuevo a causa de sus deberes respecto a su familia. En 1849 fue
nombrado profesor de matemticas del Queens College, en Cork, donde permaneci el
resto de su vida.
El gran descubrimiento de Boole fue aplicar una serie de smbolos a operaciones lgicas
y hacer que estos smbolos y operaciones por eleccin cuidadosa tuvieran la misma
estructura lgica que el lgebra convencional. En el lgebra de Boole, los smbolos
podan manipularse segn reglas fijas que produciran resultados lgicos.
En 1854 public Investigacin sobre las leyes del pensamiento, libro que trataba por
completo de la lgica simblica y su lgebra. La influencia de esta lgica matemtica
sobre las matemticas modernas tendra una evolucin lenta: si en un primer momento
no pareca ms que un intrincado juego de palabras, ms adelante se vio que era de lo
ms til, y hasta completamente indispensable para conseguir la matemtica lgica.
Boole se cas a la edad de cuarenta aos y tuvo cinco hijas, a las que no lleg a ver
adolescentes.
EJERCICIOS
1.-Operaciones de Conjuntos
Unin
1) Realizar la unin de los conjuntos A y B, siendo A= {1, 2, 3, 4} B= { 2, 3, 5, 6}
Solucin: A B = {1, 2, 3, 4, 5, 6}
Interseccin
2) Determine la interseccin de los siguientes conjuntos
A = {a, b, c, d} B = {a, d, f, g}
Solucin: A B = {a, d}

A B = {a, d}

Diferencia
3) Determine A B, y B A, si se conoce los siguientes conjuntos
A = {2, 3, 4, 5}; Y B = {3, 6}
Solucin: A - B = {2, 4, 5}

B A = {6}

Complemento
4) Determine A, U A; si se conoce que
U = {1, 2, 3, 4, 5, 6, 7, 8, 9}

A = {3, 6, 8}

Solucin: A = U A
A = {1, 2, 4, 5, 7, 9}
Uniones, Intersecciones, diferencia simtrica, diferencia, complemento de
conjuntos.
5) Dados los conjuntos U, A, B, C, determina el conjunto indicado en cada caso.
U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
A = {2, 4, 6, 8, 10}
B = {1, 2, 3, 4, 5}
C = {1, 3, 5, 7, 9}
a) A B = B A
A B = {1, 2, 3, 4, 5, 6, 8, 10}
b) A B
A B = {2, 4}
c) A B
A B = {1, 3, 5, 6, 8, 10}
d) B U
B U = {}
e) U B
U B = {6, 7, 8, 9, 10}
f) C
C = {2, 4, 6, 8, 10}
g) (A B)
(A B) = {7, 9}

2.- Operaciones con proposiciones

1) Sea p= no entrara en el y q no recibe el Reino de Dios como un nio,
formular en proposiciones:
El que no reciba el reino de Dios como un nio, no entrara en el (S. Biblia, N.T.
Marcos, X, 15)
Sol: p q = No entrara en l, si y solamente si no recibe el reino de Dios como un
nio
2) Construya el bicondicional utilizando las proposiciones p y q. Luego escriba
este bicondicional en la forma de una conjuncin de dos proposiciones.
p: Hoy es lunes.
q: Est lloviendo.
Bicondicional:
pq = Hoy es lunes si y solo si est lloviendo
Conjuncin de dos proposiciones:
(p q) (~p~q) Si hoy es lunes, entonces est lloviendo, y si hoy no es lunes
entonces no est lloviendo.
3) Sea P hace fro y sea q llueve. Dar una frase verbal simple que describa
cada uno de los enunciados siguientes:
(1) ~p,

(2) p q,

(3) p q,

(4) q~p,

(5) ~p~q,

(6) ~~q

En cada caso interprete , y ~ como y, o, es falso que o no respectivamente,

y luego escriba la frase.
(1)No hace frio.
(2)Hace frio y llueve.
(3)Hace frio o llueve.
(4)Llueve o no hace frio.
(5)No llueve y no hace frio.
(6)No es cierto que no llueve.
4) Sea p l es alto y q l es apuesto. Escriba cada uno de los enunciados
siguientes de manera simblica usando p y q.
(1) l es alto y apuesto.

(2) l es alto pero no es apuesto.

(3) Es falso que l sea bajo y no apuesto
(4) l no es alto ni apuesto.
(5) l es alto, o es bajo y apuesto.
(6) No es cierto que l sea bajo o no sea apuesto.
(Suponer que l es bajo significa l no es alto, i.e. ~p)
(1) p q
(2) p ~q
(3) ~(~p q)
(4) ~p ~q
(5) p (~p q)
(6) ~( ~p ~q)
5) Sean las proposiciones
p: Est nevando.
q: Ir a la ciudad.
r: Tengo tiempo.
(a) Escribir, usando conectivos lgicos, una proposicin que simbolice cada una de las
afirmaciones siguientes:
(a.1)
(a.2)
(a.3)
(a.4)

Si no est nevando y tengo tiempo, entonces ir e a la ciudad.

Ir a la ciudad solo si tengo tiempo.
No est nevando.
Est nevando, y no ir e a la ciudad.

(b) Enunciar las afirmaciones que se corresponden con cada una de las proposiciones
siguientes:
(b.1)
(b.2)
(b.3)
(b.4)

q (r p)
rq
(q r) (r q)
(r q)

Solucin:
(a) Escribimos en forma simblica las afirmaciones propuestas.
(a.1) (p r) q
(a.2) qr
(a.3) p
(a.4) p q
(b) Escribimos en forma de afirmaciones las proposiciones.

(b.1)
(b.2)
(b.3)
(b.4)

Ir a la ciudad si, y slo si tengo tiempo y no est nevando.

Tengo tiempo e ir a la ciudad.
Ir a la ciudad si y slo si tengo tiempo.
Ni tengo tiempo, ni ir a la ciudad

3.- Operaciones de conjuntos Cardinalidad

1) En una encuesta realizada de un grupo de 200 mujeres, se sabe que: 180 tienen
televisor, 120 tienen cocina a gas. Cuntas mujeres de dicho grupo tienen los dos
artefactos?
Solucin 1: con ecuaciones
A = mujeres que tiene televisor
B = mujeres que tienen cocina a gas
n(A B) = 200
180 x + x + 120 x = 200
300 x = 200
x = 100
Solucin 2: sistema de cardinales
n(A) + n(B) n(A B) = n(A B)
180 + 120 200 = n(A B)
300 200 = n(A B)
100 = n(A B)
2) En un aula de clase hay 34 alumnos, de los cuales: 12 aficionados al futbol, 18
aficionados al bsquet, y 10 aficionados a ambos deportes. Cuntos no son
aficionados a ninguno de estos deportes?
Solucin:
A = aficionados al futbol.
B = Aficionados al bsquet.
(A B) = Aficionados a ambos
deportes.
Sabemos que n(A B) = n(A) + n(B) n(A B), despejando la unin de los dos
conjuntos tendremos:

n(A B) = n(A) + n(B) n(A B)

n(A B) = 12 + 18 10.
n(A B) = 20
Luego restamos de los 34 alumnos los 20 que son aficionados al futbol y al bsquet y
tendremos la respuesta a nuestra pregunta:
34 20 = 14 alumnos que no son aficionados a ningn deporte.
3) Se observa en el aula de clase que 36 alumnos tienen libros de matemticas e
historia, 42 tiene libro de matemticas, 46 tiene libro de historia Cuntos alumnos
hay en clase?, considerando que al menos cada uno tiene un libro.
Solucin:
A = alumnos que tienen libros de
matemticas.
B = Alumnos que tienen libros de
historia.
(A B) = Alumnos que tienen los
libros de matemticas e historia.
(A B) = Alumnos de la clase.
Entonces para saber cuntos alumnos hay en la clase realizamos la siguiente operacin
de conjuntos:
(A B) = n(A) + n(B) n(A B)
(A B) = 42 + 46 36
(A B) = 52
4) En una conferencia internacional hay 100 cientficos de los cuales 50 son fsicos, 35
son matemticos y 40 son bilogos, adems se sabe que 10 son fsicos-matemticos,
8 son fsicos-bilogos y 12 son bilogos-matemticos. Cuntos son nicamente
fsicos?
n(F) = 50 fsicos
n(M) = 35 Matemticos
n(B) = 40 Bilogos
n(F M) = 10
n(F B) = 8

n(M B) = 12
n(F M B) = Fsicos, matemticos, Bilogos.

Aplicamos las operaciones de conjuntos:

n(F M B) = n(F) + n(M) +n(B) n(M B) n(F M) n(F B) + n(F M B)
100 = 50 + 35 + 40 12 10 8 + n(F M B)
n(F M B) = 5
Una vez que sacamos los que son fsicos, matemticos, y bilogos, procedemos a sacar
solo fsicos:
Slo n(F) = n(F) n(F M) n(F B) + n(F M B)
Slo n(F) = 50 10 8 + 5
Solo n(F) = 37 solo son fsicos.
5) En una clase de 50 alumnos, se practican 3 deportes: bsquet, fulbito, atletismo.

Los que practica atletismo o fulbito pero no bsquet son 30.

Los que practican bsquet o fulbito pero no atletismo son 27.
Los que practican fulbito y atletismo son 7.
Los que practican fulbito pero no atletismo o bsquet son 15.
Los que no practican este deporte son la cuarta parte de los que practican
bsquet y fulbito pero no atletismo.
Los 4 practican atletismo y bsquet pero no fulbito.

Cuntas personas practican los 2 deportes o

no practican ninguno?
50 = 15 + 8 + (7 X) + X + 8 + X + 4 + 4 + 2
X = 50 48
X = 2 //
Solo los 2 deportes pero ninguno de los tres:
5 + 4 + 8 + 2 = 19 //
4.- Aplicaciones leyes de algebra de conjuntos
Conjuntos
1) Demostrar: A`- B`= B A
A`- B`

A` (B`) `
A` B
B A`
BA
B A= B A

Ley del complemento

Ley del complemento
Ley Conmutativa
Ley del complemento
L.Q.Q.D

2) Demostrar que: (AB) U (AB`)=A

(AB) U (AB`)
A (B U B`)
AUU
A
A=A

Ley Distributiva
Ley del complemento
Ley de Identidad
L.Q.Q.D

3) Demostrar que (A U B) C = (A U B U C) C
(A U B) C`
[(A U B) C`] U
[(A U B) C`] U (C` C)
[C` (A U B)] U (C` C)
C` [(A U B) U C)]
(A U B U C) C`
(A U B U C) - C
(A U B U C) C = (A U B U C) - C

Ley del Complemento

Ley de Identidad
(Artificio) Ley del complemento
Ley Conmutativa
Ley Distributiva
Ley Conmutativa
Ley del Complemento
L.Q.Q.D

4) (A B) C = A (B U C)
(A B) C
(A B) C
Ley de complemento
(A B) C
Ley de complemento
A (B C)
Ley asociativa
A (B C)
Ley de Morgan
A (B U C)
Ley de complemento
(A B) C = A (B U C) L.Q.Q.D
5) [A (AB)] U [B-(AB)] U (AB) = A U B
[A (AB)] U [B-(AB)] U (AB)
[A (AB)] U [B (AB)] U (AB)
[A (AUB)] U [B (AUB)] U (AB)
[(AA) U (AB)] U [(BA) U (BB)] U (AB)
(AB) U (BA) U (AB)
(AB') U [(BA') U (AB)]
(AB') U [(AA') B]
(AB') U B
(AUB) (B' U B)
A U B //
Proposiciones
Simplificar:

Dato.
Ley Complemento
Ley Morgan
Ley Distributiva
Ley de identidad
Ley Asociativa
Ley Distributiva
Ley de Identidad
Ley Distributiva
Ley de Identidad L.Q.Q.D

1) ~ {[(~p) (~q)] ~q}

= ~ {[~p (~q ~q)]}
= ~ {[~p ~q]}
= ~ (~p) ~ (~q)
= pq
2) [~p v q ] v [~q v ~ p]
= ~p (q v ~q) v ~p
= p v V v ~p
= (~p v V) v ~p
= V v ~p
=V
3) (p ~p) [p (q p)]
= V [p (q p)]
= p (q p)
= p (p q)
= p

Ley Asociativa
Ley de Idempotencia
Ley de Morgan
Ley de Complemento

Ley asociativa
Ley del Complemento
Ley Asociativa
Ley de Identidad
(tautologa) Ley de Identidad
Ley del Complemento
Ley de Identidad
Ley Conmutativa
Ley de Absorcin

4) ~[( p p ) p]
= ~ [p p]
= ~ [(p p) (p p)]
= ~ (p p)
= ~ (~p p)
= ~ (V)
= F

Ley de Idempotencia
Ley del Bicondicional
Ley de Idempotencia
Condicional
Ley del complemento
Negacin

5) [(~p q) (r ~r)] ~q
= [(~p q) F) ~q
= [~ (~p q) v F] ~q
= [(p v ~q) v F] ~q
= (p v ~q) ~q
= ~q (~q v p)
= ~q

Ley del Complemento

Ley del Condicional
Ley de Morgan
Ley de Identidad
Ley Conmutativa
Ley de Absorcin

5) Cuantificadores, demostraciones y razonamiento.

Cuantificadores
1) Determine e valor de verdad y luego niguelo; (x) (x + 2 = 5 3x = 6)
Valor de verdad:
X + 2 = 6; p
3x = 6: q
(x) (pq); (VV); V//

Esta proposicin es verdadera; la negamos.

~ (x)= ~ (pq)
(x)= ~ (~ p v q)
(x) (X + 2 = 5 3x 6)
(x) (F F); F //
2) Obtener el cuantificador universal y existencial y la funcin proposicional es P(x):
x2- 8x + 15 = 0 y obtenga el valor de verdad:
P(x): x2- 8x + 15 = 0 A = {1, 2, 3, 4, 5, 6}
1.- (x), P(x): Para todo x, x2- 8x + 15= 0
2.- (x), P(x), Existe un x tal que x2- 8x + 15 = 0
X2- 8x + 15 = 0
(x 5) (x 3) = 0
X1= 5
X2= 3
1. - x: P A V.V=F //
2. - x: P V.V=V //
Demostraciones
3) Demostrar que: [p(pq)]q es una tautologa.

4) Demostrar que es una contradiccin (pq) v (pq)

Razonamiento
5)
A.
B.
C.
D.
E.

La proposicin
No viajas a Piura ni al Cuzco.
Viajas a Piura y al Cuzco
Viajas a Piura y no al Cuzco
No viaja a Piura y si al Cuzco
No se puede precisar

RESOLUCION:
*Haciendo:
p: viaja a Piura
q: vayas al Cuzco
FORMALIZANDO: pq
FORMALIZANDO LOS ENUNCIADOS:
1)
2)
3)
4)

pq
pq
pq
pq

La respuesta seria la la C; Viajas a Piura y no al Cuzco ya que:

pq= pq

Bibliografa:
Historia de la teora de conjuntos
Gonzales, Carlos. (2012). La teora de conjuntos: historia evolucin al paso del tiempo.
Recuperado de http://prezi.com/iqf-zhvsvlkf/la-teoria-de-conjuntos-historia-evolucional-paso-del-tiempo/
Ramos, Jos. (Ed) (2012). Diagramas de Venn y Subconjuntos. Recuperado de
http://padrorodriguezkrystal.blogspot.com/2012/08/diagramas-de-venn-y-subconjuntoslos.html
Astromia. (s.f). En otros cientficos Leonhard Euler y las matemticas puras.
Recuperado de http://www.astromia.com/biografias/euler.htm
Biografica.info. (s.f). En Biografa de Cantor, Georg Ferdinand. Recuperado de
http://www.biografica.info/biografia-de-cantor-georg-ferdinand-423
La web de las bibliografas. (s.f). En De Morgan, Augustus (1806-1871). Recuperado de
http://www.mcnbiografias.com/app-bio/do/show?key=de-morgan-augustus
Biografias
y
vidas.
(s.f)
En
George
http://www.biografiasyvidas.com/biografia/b/boole.htm

Boole.

Recuperado

de

Operaciones con conjuntos

Proao Viteri, Ramiro.(2001). Algebra Superior Tomo 1.
Carrilloa, Hernan. (2012). En Ejercicios resueltos de conjuntos. Recuperado de
http://www.slideshare.net/hernancarrilloa/ejercicios-resueltos-de-conjuntos
Introduccin al mundo cientfico. pg. 9
Operaciones con proposiciones
Matemtica discreta. (s.f). En Matemtica Discreta: Proposiciones condicionales.
Recuperado
de
http://www.uprb.edu/es/academico/departamentos/mate/materiales
%20de%20cursos/MATE%203175/material
%20suplementario/Proposiicones_Condicionales1.pdf Pg. 3
Gonzlez Gutirrez, F. (2005). Apuntes de Lgica Matemtica 1. Lgica de
Proposiciones.
Recuperado
de
http://www2.uca.es/matematicas/Docencia/ESI/1710040/Apuntes/Leccion1.pdf Pg. 12
Cardinalidad
Teora de conjuntos (s.f). En Teoria de conjuntos problemas resueltos en pdf.
Recuperado de http://matematica.pe/teoria-de-conjuntos-problemas-resueltos-en-pdf/

Matemticas ejercicios resueltos. (s.f). En conjuntos 2 ejercicio 4.Recuperado de

http://matematica1.com/category/cardinal-de-un-conjunto/
Aplicacin de las leyes de conjuntos y proposiciones
Conjuntos
Proao Viteri, Ramiro. (2001). Algebra superior tomo I pg. 135
GuiaMath. (s.f). En 03 Lgica y conjuntos: c) Conjuntos 7. Demostracin de igualdad
con
algebra
de
conjuntos.
Recuperado
de
http://www.guiamath.net/ejercicios_resueltos/01_03_03_11-3-demigualdad/desarrollo_001htm
GuiaMath. (s.f). En 03 Lgica y conjuntos: c) Conjuntos 7. Demostracin de igualdad
con
algebra
de
conjuntos.
Recuperado
de
http://www.guiamath.net/ejercicios_resueltos/01_03_03_11-3-demigualdad/desarrollo_002.htm
Proposiciones
Lgica Matemtica. (s.f). En leyes del algebra de proposiciones. Recuperado de
http://lgicaepn.blogspot.com/2011/12/leyes-del-algebra-de-proposiciones.html
5 de cuantificadores, razonamiento y demostracin.
Proao Viteri, Ramiro. (2001). Algebra superior tomo 1. Ejercicio 102 y 3 de la pgina
60 y 61.
Matemticas ejercicios resueltos. (s.f). Matemticas ejercicios resueltos ejercicio 13.
Recuperado de http://matematica1.com/category/proposiciones-logicas/