República bolivariana de Venezuela

Ministerio del poder popular para la educación

U.B.A. Universidad Bicentenario de Aragua
Asignatura: Lógica matemática

TEORIA DE CONJUNTO

Profesora: Integrantes:
Velásquez Leudys Wuilyelis Bernard C.I.28.616.392
Marielena Reyes C.I.27.186.178
Ana Cristina Reyes C.I.27.656.772

Ciudad Guayana, Noviembre del 2018

1
 Introducción
Un conjunto es una agrupación, clase o colección de objetos denominados
elementos del conjunto: utilizando símbolos de S presenta que el elemento a
pertenecer o está contenido en el conjunto S. o lo que es el mismo, el conjunto
S contiene al elemento a. Un conjunto S está definido si dado un objeto a, se
sabe con certeza que o a e S o a S. Esto es a no pertenece a S.
Un conjunto se representa frecuentemente con el símbolo S = | |, en donde las
llaves engloban los elementos de S, ya sea de forma explícita, escribiendo todos
y cada uno de los elementos, a dando una formula, regla o proposición que los
describa.
La Teoría de Conjuntos es una teoría matemática, que estudia básicamente a un
cierto tipo de objetos llamados conjuntos y algunas veces, a otros objetos
denominados no conjuntos, así como a los problemas relacionados con estos.
Intuitiva e informalmente los objetos de estudio de la Teoría de Conjuntos quedan
descritos así:
 Si x no tiene elementos, entonces x es un objeto de la Teoría de
Conjuntos.
 Si x es un conjunto, entonces x es un objeto de la Teoría de Conjuntos.
 Los únicos objetos de la Teoría de Conjuntos son los descritos en 1 y 2.
La importancia de la Teoría de Conjuntos radica en que a partir de ella se puede
reconstruir toda la matemática, salvo la Teoría de Categorías.
Por ejemplo, con la Teoría de Conjuntos se pueden definir los siguientes
conceptos y probar todas sus propiedades: par ordenado, relación, función,
partición, orden, estructuras algebraicas, los naturales, los enteros, los
racionales, los reales, los complejos, etc.

2
Teoría elemental de conjuntos
Lógica proposicional

Una proposición es cualquier enunciado lógico al que se le pueda asignar un

valor de verdad (1) o falsedad (0).
Dada una proposición p, se define la negación de p como la proposición p' que
es verdadera cuando p es falsa
y que es falsa cuando p es verdadera. Se lee "no p".
A partir de una o varias proposiciones elementales se pueden efectuar
diversas operaciones lógicas para construir
nuevas proposiciones; en este caso, se necesita conocer su valor de verdad o
falsedad en función de los valores de
las proposiciones de que se componen, lo cual se realiza a través de las tablas
de verdad de dichas operaciones.
Por ejemplo, la tabla de verdad de la negación es la siguiente:

p p'

1 0

0 1

A continuación se describen las principales operaciones lógicas entre dos

proposiciones p, q y sus tablas de verdad:
Conjunción: es aquella proposición que es verdadera cuando p y q son
verdaderas, y falsa en cualquier otro caso.
Se escribe p Ù q, y se lee "p y q".

p q pÙq

1 1 1

1 0 0

0 1 0

0 0 0

Disyunción: es aquella proposición que es verdadera cuando al menos una

de las dos p o q es verdadera,
y falsa en caso contrario. Se escribe p Ú q, y se lee "p o q".
3
p q pÚq

1 1 1

1 0 1

0 1 1

0 0 0

Disyunción exclusiva: es aquella proposición que es verdadera cuando una

y sólo una de las dos p o q es verdadera,
y falsa en cualquier otro caso. Se escribe p Ú q, y se lee "p o q
pero no ambas". Se usa muy poco.

p q pÚq

1 1 0

1 0 1

0 1 1

0 0 0

Condicional: es aquella proposición que es falsa únicamente cuando

la condición suficiente p es verdadera y la
condición necesaria q es falsa. Se escribe p Þ q, y se lee "si p
entonces q".

p q pÞq

1 1 1

1 0 0

0 1 1

0 0 1

Bicondicional: es aquella proposición que es verdadera cuando p y q tienen

el mismo valor de verdad,
y falsa en caso contrario. Se escribe p Û q, y se lee "si y sólo

4
si p entonces q".

p q pÛq

1 1 1

1 0 0

0 1 0

0 0 1

Una proposición se dice que es una tautología si su valor de verdad es

siempre 1 independientemente de los valores
de las proposiciones que lo componen; por ejemplo: p Ú p'.
Una proposición se dice que es una contradicción si su valor de verdad es
siempre 0 independientemente de los valores
de las proposiciones que lo componen; por ejemplo: p Ù p'.
Una paradoja es una proposición a la que no se le puede asignar ningún valor
de verdad; suelen estar relacionadas con
incorrecciones en el lenguaje lógico. Por ejemplo: p="la proposición p es falsa".

Dos proposiciones p y q se dicen equivalentes si tienen la misma tabla de verdad

en función de las proposiciones elementales
que lo componen; esta definición equivale a decir que la proposición p Û q es
una tautología. Por ejemplo, las proposiciones
p Þ q y q' Þ p'
Son equivalentes. Esta ley se llama "ley del contra recíproco", y se usa en los
razonamientos por reducción al absurdo.
Se pueden obtener fácilmente más "resultados lógicos" a través de su relación
con la teoría de conjuntos.
RELACION ENTRE LA TEORIA DE CONJUNTOS Y LA LOGICA
PROPOSICIONAL

Existe una relación muy estrecha entre la Teoría de Conjuntos y la Lógica

Proposicional.
Para mostrar dicha relación, denotemos por letras mayúsculas A, B... los
conjuntos y
por las correspondientes minúsculas a, b... sus propiedades características
(es decir, la proposición lógica que caracteriza a los elementos de cada
conjunto);
entonces se tiene la siguiente correspondencia:

5
 conjuntos A Í B A = B A È B A Ç B A' A - B ADB

proposiciones a Þ b a Û b a Ú b a Ù b a' a Ù b' a Ú b

Además, el conjunto vacío se corresponde con una contradicción y el conjunto

universal con una tautología.
Mediante esta correspondencia, todos los resultados sobre conjuntos se pueden
reescribir en términos de lógica
proposicional y viceversa; a modo de ejemplo:

AÈ(AÇB)=A aÚ(bÙc)Ûa

AÈ( BÇC ) = ( AÈB )Ç(aÚ( bÙc )Û( aÚb )Ù(

AÈC) aÚc)

( A È B )' = A' Ç B' ( a Ú b )' Û a' Ù b'

PROPOSICIONES CON CUANTIFICADORES

Los símbolos " (cuantificador universal) y $ (cuantificador existencial) se utilizan
en Matemáticas para
enunciar proposiciones lógicas relativas a objetos matemáticos.
Sea A un conjunto y p(x) una proposición o propiedad que hace referencia a un
elemento x.
(1) Cuantificador universal: La expresión
”X Î A Þ p(x)
Se lee "para todo x que pertenece a A se verifica p(x)", representa la proposición
{X Î A: p(x)} = A
(2) Cuantificador existencial: La expresión
$ X Î A | p(x)
Se lee "existe x que pertenece a A tal que p(x)", representa la proposición
{ xÎA : p(x) }¹Æ

La negación de cualquiera de las dos proposiciones anteriores se realiza

negando la proposición p(x)
y cambiando el cuantificador universal por el cuantificador existencial, o
viceversa.

6
Así, la negación de la proposición "" x Î A Þ p(x)" es "$ x Î A | p(x)' ", mientras
que
la negación de "$ x Î A | p(x)" es "" x Î A Þ p(x)' "

Conjuntos finitos: Combinatoria

La Combinatoria es la parte de las Matemáticas que se dedica al estudio de los

conjuntos finitos.
Puesto que la propiedad principal de estos conjuntos es que se puede
representar su número de elementos
mediante un número natural (llamado cardinal de dicho conjunto), la tarea básica
de la Combinatoria es
precisamente el cálculo del cardinal de dichos conjuntos.
Para dicho cálculo se necesita definir los llamados números combinatorios:

(1) Números factoriales: se define n! mediante la ley de recurrencia

N! = n · (n-1)!
Y la condición inicial 0! := 1. De forma iterativa, se tiene
N! = n · (n-1) · (n-2) · ... · 3 · 2 · 1
N! es el número de permutaciones de n elementos, es decir, es el número
total de formas de ordenar n elementos
de todas las formas distintas posibles.

(2) Coeficientes binomiales: se definen por la fórmula

El número "n sobre k" es el número de combinaciones de n elementos

tomados de k en k, es decir,
el número de subconjuntos distintos de k elementos que tiene un conjunto
con n elementos.
Los coeficientes binomiales tienen dos propiedades básicas:
(a)

(b)

7
 Como aplicación de los números combinatorios y del Binomio de Newton,
podemos contar el número total de
subconjuntos que tiene un conjunto A con n elementos, es decir, el cardinal
de partes de A; para ello, notemos
que el número de tales subconjuntos se obtiene sumando el número de
subconjuntos de 0 elementos más los de
1 elemento, más los de 2 elementos, y así hasta los de n elementos, es
decir:

Pero esta cantidad corresponde a desarrollar mediante el binomio de

Newton la expresión
(1+1)n = 2n
Así pues se obtiene qué # Ã (A) = 2n si # A = n.
Números naturales: principio de inducción

Aditivos como intuitivo el concepto de número natural; así, podemos enumerar

los números naturales en orden creciente:
N = {1, 2, 3, 4, 5,}
Cuando se quiere demostrar que una proposición relativa a números naturales
es cierta, se necesita el Principio de Inducción:
"Sea S el conjunto de números naturales para los que la proposición p(n)
es cierta; supongamos que
M Î S y que
N Î S Þ n+1 Î S
Entonces S = {m, m+1, m+2,... }"
(Es decir, la propiedad se verifica para todo número natural a partir de m;
normalmente se usa con m = 1).

Algunas veces, cuando se quiere demostrar que la proposición es cierta para

n+1, es necesario usar que la proposición

8
se verifica para todo k < n+1; en ese caso se utiliza el Principio de Inducción
completa:
"Sea S el conjunto de números naturales para los que la proposición p(n)
es cierta; supongamos que
M Î S y que
M, m+1,..., n Î S Þ n+1 Î S
Entonces S = {m, m+1, m+2,...}"

Ejercicio: pruébese por inducción la fórmula del binomio de Newton

(Indicación: utilícense las propiedades de los números combinatorios).

Teoría de Conjuntos

NOCION INTUITIVA DE CONJUNTO

Un conjunto es la reunión en un todo de objetos bien definidos y diferenciables
entre sí, que se llaman elementos del mismo.
Si a es un elemento del conjunto A se denota con la relación de
pertenencia a Î A.
En caso contrario, si a no es un elemento de A se denota aÏ A.

Ejemplos de conjuntos:

o Æ: el conjunto vacío, que carece de elementos.

o N: el conjunto de los números naturales.
o Z: el conjunto de los números enteros.
o Q: el conjunto de los números racionales.
o R: el conjunto de los números reales.
o C: el conjunto de los números complejos.

Se puede definir un conjunto:

9
 o por extensión, enumerando todos y cada uno de sus elementos.
o por comprensión, diciendo cuál es la propiedad que los caracteriza.

Un conjunto se suele denotar encerrando entre llaves a sus elementos, si se

define por extensión,
o su propiedad característica, si se define por comprensión. Por ejemplo:
o A := {1,2,3, ... ,n}
o B := {pÎ Z | p es par}

Se dice que A está contenido en B (también que A es un subconjunto de B o que

A es una parte de B),
y se denota A Í B, si todo elemento de A lo es también de B, es decir,
a Î A Þ a Î B.
Dos conjuntos A y B se dicen iguales, y se denota A = B, si simultáneamente
AÍB y B Í A;
esto equivale a decir que tienen los mismos elementos (o también la misma
propiedad característica).
Para cualquier conjunto A se verifica que ÆÍ A y A Í A;
B Í A es un subconjunto propio de A si A ¹ Æ y B ¹ A.
El conjunto formado por todos los subconjuntos de uno dado A se
llama partes de A, y se denota à (A).
Entonces, la relación B Í A es equivalente a decir B Î Ã (A). Ejemplos:

Si A = {a, b} entonces à (A) = {Æ, {a}, {b}, A}.

Si a Î A entonces {a} ÎÃ (A).

Cuando en determinado contexto se consideran siempre conjuntos que son

partes de uno dado U,
se suele considerar a dicho U como conjunto universal o de referencia.
OPERACIONES ENTRE CONJUNTOS
Dados dos conjuntos A y B, se llama diferencia al conjunto A - B:= {a Î A | a Ï B}.
Asimismo, se llama diferencia simétrica entre A y B al conjunto A D B:= (A - B) È
(B - A).
Si A Î Ã (U), a la diferencia U - A se le llama complementario de A respecto de
U,
y se denota abreviadamente por A' (U se supone fijado de antemano).
Es fácil ver que si A y B son subconjuntos cualesquiera de U se verifica:
o Æ ' = U.

10
 o U ' = Æ.
o (A')' = A.
o A Í B Û B' Í A’.
o Si A = {x Î U | p(x) es una proposición verdadera} entonces A' =
{x Î U | p(x) es una proposición falsa}.

Se llama unión de dos conjuntos A y B al conjunto formado por objetos que son
elementos de A o de B,
es decir: A È B:= {x | x Î A Ú x Î B}.
Se llama intersección de dos conjuntos A y B al conjunto formado por objetos
que son elementos de A y de B,
es decir: A Ç B:= {x | x Î A Ù x Î B}.
Si A y B son subconjuntos de un cierto conjunto universal U, entonces es fácil
ver que A-B = A Ç B'.
En este caso, las llamadas operaciones booleanas (unión e intersección)
verifican las siguientes propiedades:

PROPIEDADES UNION INTERSECCION

1.- Idempotencia AÈA=A AÇA=A

2.- Conmutativa AÈB=BÈA AÇB=BÇA

3.- Asociativa AÈ(BÈC)=(AÈB)ÈC AÇ(BÇC)=(AÇB)ÇC

4.- Absorción AÈ(AÇB)=A AÇ(AÈB)=A

5.- Distributiva AÈ(BÇC)=(AÈB)Ç(AÈC) AÇ(BÈC)=(AÇB)È(

6.- Complementariedad A È A' = U A Ç A' = Æ

Estas propiedades hacen que partes de U con las operaciones unión e

intersección tenga una estructura de álgebra de Boole.
Además de éstas, se verifican también las siguientes propiedades:
o A È Æ = A, A Ç Æ = Æ (elemento nulo).
o A È U = U, A Ç U = A (elemento universal).
o (A È B)' = A' Ç B’, (A Ç B)' = A' È B' (leyes de Morgan).

Dados dos conjuntos A y B, se define el producto cartesiano de ambos como el

11
conjunto de pares ordenados:

A ´ B:= {(a, b): a Î A Ù b Î B}

Dos pares (a, b) y (c, d) de A ´ B son iguales si a = c y b = d; análogamente,

dados cuatro conjuntos A, B, C, D se verifica

A ´ B = C ´ D Û (A = C Ù B = D)

Se llama grafo relativo a A´B a todo subconjunto G Í A ´ B.

Dado un grafo G relativo a A ´ B, se llama proyección de G sobre A al conjunto

ProyAG:= {a Î A: (a, b) Î G, $ b Î B}

Análogamente se define la proyección ProyBG de G sobre B.

Por último, los conceptos anteriores pueden generalizarse a familias de
conjuntos.
Si para cada elemento i de un conjunto (de índices) I se tiene un conjunto Ai,
entonces se define el conjunto {Ai : iÎI }
y se denomina familia de conjuntos indicada por I. También se suele denotar por
{ Ai } i Î I .
De forma análoga se define una familia de elementos ( ai ) i Î I .
Dada una familia de conjuntos { Ai } i Î I se definen:

o È i ÎI Ai := { a : a Î Ai , $ i Î I }
o Ç i Î I Ai := { a : a Î Ai , " i Î I }
o Õ i Î I Ai := { (ai) : ai Î Ai , " i Î I }

Las propiedades de la unión e intersección siguen siendo válidas para familias

de conjuntos, y en particular las leyes de Morgan:

(È i Î I Ai )' = Ç i Î I A'i , (Çi Î I Ai )' = Èi Î I A'i

DIAGRAMAS DE VENN
Los conjuntos de suelen representar gráficamente mediante "diagramas de
Venn", con una línea que encierra a sus elementos.
Así, todas las operaciones entre conjuntos se pueden representar gráficamente
con el fin de obtener una idea más intuitiva.

12
AB

AB

AB

13
AB

AB

14
 Conclusión
Como se mencionó anteriormente, una colección está determinada por una
propiedad P formulada en un lenguaje preciso. Una clase es una colección,
cuyos objetos son los objetos de la Teoría de Conjuntos que cumplen la
propiedad P que caracteriza a la colección.

Las colecciones llamadas clases, son colecciones de objetos de la Teoría de

Conjuntos, y pueden ser o no conjuntos en el siguiente sentido: Todo conjunto
es una clase, pero no toda clase es un conjunto.
Proposición.
La clase de todos los objetos x tales que cumplen la propiedad "x no pertenece
a x", no es un conjunto.
Prueba.
Supongamos que dicha clase sí fuera un conjunto y llamémosle R. Entonces:
 Si R no pertenece a R, R cumple la propiedad que caracteriza a la clase
y tenemos que R pertenece a R.
 Si R pertenece a R, entonces R no cumple la propiedad que caracteriza a
la clase y tenemos que R no pertenece a R.
Así pues, hemos mostrado que: si R no pertenece a R, entonces R pertenece a
R; y si R pertenece a R, entonces R no pertenece a R. Pero como R pertenece
a R o R no pertenece a R, entonces necesariamente se cumple que R pertenece
a R y que R no pertenece a R, lo cual es absurdo.

En conclusión, no es posible que dicha clase sea un conjunto.

Si una clase no es un conjunto le llamaremos clase no conjunto o clase propia,
y no es un objeto de estudio de la Teoría de Conjuntos. Por lo anterior, la clase
de todos los objetos x tales que x no pertenece a x, es una clase propia. Y se le
conoce a dicha proposición como la Paradoja de Russell.
El Conjunto Universo Local.
En la Teoría de Conjuntos, se tiene como referencia, explícita o implícitamente,
un universo local; es decir, un marco de referencia dentro del cual se trabaja.
Este universo local o del discurso debe de ser un conjunto, quedando muy claro
este concepto, ya que no se le debe confundir con la colección de todos los
conjuntos, que es una colección que no es un conjunto, sino una clase propia;
por lo tanto, aunque no existe el conjunto de todos los conjuntos, si existirá en
casi cada caso particular, un conjunto que tenga a todos los conjuntos
de interés del discurso.

15
 Referencia
https://www.monografias.com/trabajos106/introduccion-teoria-
conjuntos/introduccion-teoria-conjuntos.shtml#3
http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Conjuntos/marco_conjuntos.
htm

16