LGICA MATEMTICA

Favin Arenas A. y Amaury Camargo

Universidad de Crdoba
Facultad de Ciencias Bsicas e Ingenieras
Departamento de Matemticas




Lgica Matemtica
UNIDAD DE APRENDIZAJE II
2. Introduccin a los Conjuntos
Las ideas esenciales de la teora de conjuntos fue introducida por George.
Cantor, en la parte nal del siglo XIX. Desde entonces la teora dos con-
juntos no ha dejado de desarrollarse intensamente, de tal forma que ahora
puede decirse que todas las ramas de la Matemtica fueron profundamente
inuenciados y enriquecidos por esa teora. Procuraremos en esta unidad de
aprendizaje introducir algunas de las ideas bsicas de teora de conjuntos,
evitando un tanto una formulacin demasiado abstracta, o rigurosa.
La nocin de conjunto es una de las que tiene la Matemtica Moderna
(recuerda que es un punto en geometra? eso tambin es una nocin) , en
donde los conceptos y no las deniciones son adoptados como punto de par-
tida y sirven base para la denicin de otros conceptos introducidos en el
desarrollo de la teora. Intuitivamente, un conjunto es entendido como una
coleccin de objetos de cualquier natureza , los cuales se dicen elementos del
conjunto.
Favin Arenas. 33 Camargo Bentez.
2.1 Objetivos Lgica Matemtica
2.1. Objetivos
El alumno conocer, utilizar y aplicar los siguientes elementos bsicos
para la solucin de un problema:
Generalidades sobre que es un conjunto y sus Clases.
Generalidades sobre el lgebra de conjuntos y problemas.
Razonamiento sobre cardinalidad de conjuntos..
2.2. Competencias
Determina conjuntos por extensin y comprensin.
Maniesta habilidad en la representacin grca de conjuntos y sus
operaciones.
Muestra inters participando en la construccin de proposiciones com-
puestas y nuevos conjuntos.
Reconoce a partir de una proposicin el conjunto equivalente.
Comprende y demuestra las leyes logicas y de conjuntos.
Favin Arenas. 34 Camargo Bentez.
2.3 Estrategias pedaggicas o actividades de aprendizaje Lgica Matemtica
2.3. Estrategias pedaggicas o actividades de apren-
dizaje
Mesa redonda.
Presentacin de trabajos.
Sesin de Chat.
Sesin Foro.
Talleres
Encuentro presencial
2.4. Recursos de aprendizaje
Aula de clases,
Laboratorios
Auditorios.
Videobeam
Retroproyector.
Favin Arenas. 35 Camargo Bentez.
2.5 Teora de conjuntos Lgica Matemtica
2.5. Teora de conjuntos
Elementos: la mnima parte de un objeto se denomina elementos, son
elementos los integrantes de una familia, son elementos los das de la semana,
son elementos los nmeros de telfonos de montera, son elementos las hojas
de un rbol, claro est esta es una nocin que has escuchado antes y est
muy relacionado con otro objeto matemtico llamado CONJUNTO.
Conjunto: se suele decir que una agrupacin de elementos es un conjun-
to, pero tambin es conjunto aunque tenga solo un elemento o aunque no
tenga elementos; por lo tanto son conjuntos: la familia, la semana, el direc-
torio telefnico, un rbol, el grupo de presidentes de Colombia, el grupo de
mamferos que ponen huevos.
Smbolos: Los conjuntos se representan con letras maysculas: A; B; C;...
Los elementos con letras minsculas: a; b; c; :::
Al representarlos , para agrupar los elementos utilizamos llaves , tam-
bin podemos usar un diagrama de Venn, a veces es ms fcil , por eso debes
utilizar las dos formas.
Ejemplo:
Representa el conjunto de los nmeros dgitos
D = 0; 1; 2; 3; 4; 5; 6; 7; 8; 9
o tambin
Relacin de pertenencia. Si se tiene un conjunto A y un elemento a
y ocurre que a es un miembro de A, se dice, entonces, a pertenece a A y se
escribe a A (a es un elemento de A).
Pero si se tiene un elemento c que no pertenece al conjunto A ,se escribe
Favin Arenas. 36 Camargo Bentez.
2.6 Clases de conjuntos Lgica Matemtica
c = A (c no es un elemento de A).
2.6. Clases de conjuntos
Los conjuntos se clasican segn el nmero de elementos que posean,
veamos:
Conjunto vaco:
Es aquel conjunto que no tiene elementos, como una bolsa vaca, se sim-
boliza con
El conjunto de los nmeros pares que terminan en 3
Representmoslo as:
P = los nmeros pares que terminan en 3 =
Conjunto unitario: es el que tiene un solo elemento.
B = { la capital de Colombia}
M = {Lucy}
C = 0
Conjunto nito: es aquel que tiene un nmero nito de elementos .
Tambin es nito el conjunto unitario.
Favin Arenas. 37 Camargo Bentez.
2.7 Determinacin de un conjunto
Lgica Matemtica
S = {lunes, martes, mircoles, jueves, viernes, sbado, domingo}
N = 3; 13; 23; 33; 34; 35
T = {Miguel, Jos}
A = a; b; c; d; :::; x; y; z
Conjunto innito: si tiene tantos elementos que es imposible contarlos
se le llama conjunto innito.
N = 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; 18; 19; 20; 21; :::
Conoces otro conjunto que sea innito? Cuantos?
Que signica los puntos suspensivos?
2.7. Determinacin de un conjunto
Para determinar o identicar un conjunto existen dos maneras:
Por extensin, que consiste en escribir todos y cada uno de los elementos
que lo conforman, as conociendo todos sus elementos conocemos el conjunto.
Por comprensin, esta consiste en indicar una caracterstica especial y
comn que tienen los elementos de un conjunto.
Ejemplo 9.
por extensin:
V = a; e; i; o; u
F = 1; 11; 21; 31; 41; 51; 61; 71; 81; 91; 101; 111; ::::
Y =
Por comprensin:
Favin Arenas. 38 Camargo Bentez.
2.7 Determinacin de un conjunto
Lgica Matemtica
V ={las vocales}
F={los nmeros naturales que terminan en 1}
Y ={los nmeros impares que terminan en 0}
Subconjunto:
Si un conjunto B est contenido en un conjunto A, es porque todos los
elementos de B estn en A; pero es posible que existan elementos en A, que
no estn en B.
Entonces B es un Subconjunto de A, o tambin se puede decir B est
contenido en A. Se representa con los smbolos: B A
As que:
(B A) ==(x B ==x A)
Favin Arenas. 39 Camargo Bentez.
2.8 Algebra de conjuntos Lgica Matemtica
2.8. Algebra de conjuntos
Unin de Conjuntos Los conjuntos A = a; b; c; d; e y B = a; e; i; o; u
se combinan para formar un nuevo conjunto, donde ningn elemento puede
estar repetido a; b; c; d; e; i; o; u, a este conjunto lo llamaremos unin de A
y B.
M = 1; 2; 3; 4; 5 y J = 1; 3; 5; 7; 9 entonces
M ' J = 1; 2; 3; 4; 5; 7; 9
En forma grca la unin es la regin resaltada
Simblicamente la unin de A y B es:
AUB = x : x A . x B
Interseccin de Conjuntos En esta operacin de conjuntos se trata de
encontrar los elementos comunes a ambos conjuntos, es decir los repetidos,
veamos:
M = 1; 2; 3; 4; 5 y J = 1; 3; 5; 7; 9 entonces
Favin Arenas. 40 Camargo Bentez.
2.8 Algebra de conjuntos Lgica Matemtica
La interseccin la representamos por:
M J = 1; 3; 5 pues son los que se repiten. En forma grca la inter-
seccin es la regin resaltada
Simblicamente la intercepcin de A y B es:
A B = x : x A . x B
Diferencia de Conjuntos En los conjuntos V = a; e; i; o; u y A =
a; e; o
La diferencia de V A es el conjunto formado por los elementos de V
que no estn en A as:
V A = i; o
M = 1; 2; 3; 4; 5 y J = 1; 3; 5; 7; 9 entonces
La diferencia la representamos por:
M J = 2; 4 pues son los que estn en M y no en J.
Tambin se puede calcular J M
J M = 7; 9 pues son los que estn en J y no en M.
Favin Arenas. 41 Camargo Bentez.
2.8 Algebra de conjuntos Lgica Matemtica
En forma grca la diferencia es la regin sombreada
Simblicamente es:
M J = x : x M . x = J
J M = x : x J . x = M
Complemento Para esta operacin debemos denir primero un conjunto
que nos sirva como base o referencia, lo simbolizarn con la letra U, se llamar
universal o referencial.
Si U = 0; 1; 2; 3; 4; 5; 6; 7; 8; 9 y el conjunto A = 0; 1; 2; 3
Llamaremos complemento de A , al conjunto formado por todos los el-
ementos de U que no estn en A, o sea 4; 5; 6; 7; 8; 9, a este conjunto lo
denotaremos con A/
Notese que A/ = U A
U = 1; 3; 5; 7; 11; 13; 17; 19; 23; 29
Si B = 1; 11; 29 entonces B/ = 3; 5; 7; 13; 17; 19; 23
Si C = 3; 5; 7; 17; 23 entonces C/ = 1; 11; 13; 19; 29
Si D = 1; 3; 5; 7; 11; 13; 17; 19; 23; 29 entonces D/ =
Simblicamente es:
A
0
= x : x U . x = A
Favin Arenas. 42 Camargo Bentez.
2.9 Propiedades de los Conjuntos
Lgica Matemtica
2.9. Propiedades de los Conjuntos
Existen ciertas analogas entre los conectivos de las proposiciones y las
operaciones con conjuntos, una de ellas consiste en que todos los operadores
de conjuntos se pueden poderse reducir a combinaciones de intercepciones
y uniones, as como los conectivos de proposiciones se pueden reducir a los
conectivos
2
"(.), .
o
"(.) y la negacin (~).
La interseccin de conjuntos es anloga a la conjuncin de proposiciones - .
La unin de conjuntos es anloga a la disyuncin de proposiciones ' - .
El complemento de conjuntos es anlogo a la negacin de proposiciones A
0
- ~ p
La contenencia de conjuntos es anloga a la implicacin de proposiciones A B - p q
La diferencia de conjuntos es anloga a la implicacin de proposicionesA B = A B
0
-
p q =~ p . q
Por lo tanto gozan de propiedades semejantes a las proposiciones:
Leyes de Idempotencia
A A = A
A ' A = A
Leyes conmutativas
Favin Arenas. 43 Camargo Bentez.
2.9 Propiedades de los Conjuntos
Lgica Matemtica
A B = B A
A ' B = B ' A
Leyes asociativas
p . (q . r) =(p . q) . r
p . (q . r) =(p . q) . r
p (q r) =(p q) r
Leyes distributivas
A (B ' C) = (A B) ' (A C)
A ' (B C) = (A ' B) (A ' C)
Leyes de absorcin
A (A ' B) = A
A ' (A B) = A
Leyes de Morgan
(A ' B)
0
= A
0
B
0
(A B)
0
= A
0
' B
0
Leyes de Involucin
(A
0
)
0
= A
Favin Arenas. 44 Camargo Bentez.
2.10 Actividades Lgica Matemtica
Veamos grcamente la ley de Morgan (A ' B)
0
= A
0
B
0
2.10. Actividades
1. Completa en el dibujo las cantidades correspondientes a cada seccin
de la gura y con esa informacin responde las preguntas a, b, c y d
36 personas fueron a Europa, visitaron Espaa, Inglaterra o Francia, sin
embargo, no todas fueron a los tres lugares, para identicar la cantidad exacta
Favin Arenas. 45 Camargo Bentez.
2.10 Actividades Lgica Matemtica
de personas que fueron a cierto pas, se especica cada cantidad en el siguiente
diagrama de Venn.
21 personas fueron a Francia
17 personas fueron a Espaa
16 personas fueron a Inglaterra
9 personas fueron a Francia y a Espaa
8 personas fueron a Espaa y a Inglaterra
6 personas fueron a Francia y a Inglaterra
1. a) El nmero de personas que fue a Francia y Espaa pero no a
Inglaterra es:_______
b) El nmero de personas que fue a Espaa o Inglaterra es:______
c) El nmero de persona que fue a Inglaterra, Espaa y Francia
es:________
d) El nmero de personas que fue a Espaa o Inglaterra pero no a
Francia es:______
2. Despus de medir su peso en una balanza, se obtienen los siguientes
resultados:
Favin Arenas. 46 Camargo Bentez.
2.10 Actividades Lgica Matemtica
Andrs es ms liviano que Fernando, pero ms pesado que Gabriela
Esteban es ms liviano que Andrs, pero ms pesado que Gabriela
Pedro es ms liviano que Jorge, pero ms pesado que Miguel
Jorge es ms liviano que Gabriela
Ordena los jvenes segn su peso, comenzando con el ms pesado.
(Paradoja de Russell) En un pueblo chico hay solo un barbero, y los
hombres del pueblo, por lo que se reere a la rasurada, se dividen en
dos grupos: los que se rasuran con el barbero, y los que se rasuran solos.
A cual de los dos grupos pertenece el barbero?
Explica.
Favin Arenas. 47 Camargo Bentez.