Introducción

Matemáticas es el estudio de las relaciones entre ciertos objetos ideales

como números, funciones y figuras geométricas. Estos objetos no existen en el
mundo real sino que son modelos abstractos de situaciones físicas. Para que un
sistema matemático sirva como modelo de la realidad debemos tener en
principio un método para reconocer enunciados verdaderos, aunque en la práctica
alguno puede ser difícil de demostrar.

Cuando los objetos de estudio nos son intuitivamente familiares (como los
números enteros), tomamos como axiomas ciertas propiedades intuitivamente
verdaderas e intentamos deducir a partir de ellas todas las restantes propiedades
del sistema. Una vez elegidos los axiomas, podemos olvidar la interpretación
intuitiva y vemos a nuestros objetos como entidades abstractas sujetas a los
axiomas dados.

Cuando vayamos a aplicar nuestro sistema a un caso concreto,

debemos buscar una interpretación para cada noción introducida y verificar que en
esta interpretación todos los axiomas son verdad. Entonces podemos concluir que
todos los enunciados derivados de los axiomas también son ciertos. Esta
consideración subraya la necesidad de mantener el sistema de axiomas lo más
pequeño posible.

El concepto de conjunto es uno de los más fundamentales en matemáticas,

incluso más que la operación de contar, pues se puede encontrar, implícita o
explícitamente, en todas las ramas de las matemáticas puras y aplicadas. Dada la
importancia esencial de los conjuntos, la teoría de conjuntos, junto con la lógica,
constituye la base fundamental de las matemáticas modernas.

En algún lugar especial, de los libros de la teoría axiomática de conjuntos

suele darse una explicación de por qué es necesario fundamentar la teoría de
conjuntos y dejarla construida a partir de unos cuantos axiomas. Estos
axiomas son, en su mayoría, principios evidentes de por sí una vez que se ha
comprendido previamente como deben comportarse los conjuntos o, por lo menos,
cuando ya se tiene una idea de esto.
 Teoría de Conjuntos
Permite visualizar las intersecciones que puedan existir entre las partes que
conforman un problema, así como cada parte con el todo. Es un instrumento
esencial para el desarrollo de la capacidad de análisis.

Conjuntos:

La palabra conjunto es una colección de objetos cuyas propiedades o

características están claramente definidas. Cada objeto que forma parte de un
conjunto se llama elemento.

Es una colección de objetos considerados como una simple unidad. Los

objetos que determinan un conjunto se denominan elementos del conjunto. Los
conjuntos pueden denotarse con letras mayúsculas como A, B, C,…y los
elementos con letras minúsculas como a, b, c,… o con números separados por
comas y encerrados entre dos llaves. Así por ejemplo: el conjunto “A” formando
por las vocales, la podemos escribir: A: {a, e, i, o, u} y un conjunto “B” cuyos
elementos son los tres números impares lo denotamos B = {1, 3,5}.

Conjunto de Números Naturales

Es el conjunto de los símbolos que se utilizan para representar los

cardinales (principales), y se designan con la letra “N”, siendo su conjunto infinito
porque no tiene ultimo termino. Los números naturales se pueden usar para contar
o medir (2 sillas, 3 metros), es decir, para expresar cantidades, y en ese caso se
denominan Cardinales. Si, en cambio, se usan para describir la posición o el orden
de un determinado elemento en relación con otros en una secuencia ordenada, se
llaman Ordinales.

Cuando se dice: <<Vivo en el tercer piso>>, se esta utilizando un numero

Ordinal.

Ejemplo:

Los números Naturales, se puede representar mediante una recta

numérica.

U
 0 1 2 3 4 5….

N* = {1,2,3,4,5…} Conjunto de los números naturales, excluido el cero.

N = {0,1,2,3,4,5,6…} Conjunto de los números naturales, incluido el cero.

Conjunto de los Números

Está formado por los números naturales y los números negativos. Se

simboliza con la letra “Z”.

Propiedades de los Números Enteros

El conjunto de los números enteros:

 Es un conjunto infinito

 No tiene ni primero ni último elemento

 Cada número tiene su opuesto. Por ejemplo, el opuesto de + 2

es - 2.

 Si un número está a la derecha de otro en la recta numérica,

entonces es mayor que él.

Ejemplo:

2 = {…,-2,-1, o, 1, 2, 3,…} Conjunto de números enteros.

Z+ = {0,1, 2 ,3, 4, 5,…} Conjunto de los enteros positivos.

Z- = {…-4,-3,-2,-1} Conjunto de los números enteros negativos.

Números Enteros Positivos

Los números naturales, que se escriben con un signo <<+>>delante

(excepto el cero), Z se llaman números enteros positivos. Por ejemplo, el número
+6 es un entero positivo; se puede representar como 6 o como +6. Los números
naturales precedidos de un signo <<->> se llaman números enteros negativos. En
este caso, dado que representan una cantidad que no se tiene, necesariamente se
debe anteponer el signo -. Por ejemplo, el número -6 es Nº negativo. El “0” es el
único numero entero que no es positivo ni negativo.

Conjuntos de los Números Racionales

Está formado por los números enteros y los números fraccionarios. Se

simbolizan con la letra “Q”.

Propiedades del conjunto de los Números Racionales

Es un conjunto infinito.

 No tiene ni primero ni último elemento.

 Todo número racional ya sea entero o fraccionario se puede

expresar con infinitas fracciones equivalentes.

 Se define de la siguiente manera:

Ejemplo:

Q = {a/b,b"0} Conjunto de los números racionales para b"0

Los Números Irracionales

Se caracterizan por poseer infinitas cifras decimales que no se repiten

nunca, es decir, no periódicas. Por ello no pueden ser expresados en forma de
fracción de dos enteros. Algunos números irracionales son identificados mediante
símbolos.

Por Ejemplo:

= 3,1415926535914039…

e = 2,71828…

Conjunto de los Números Reales

 Es el conjunto de los números (racionales o irracionales) que puedan medir
longitudes, junto con sus inversos aditivos y el cero. Se llama real a un número
que puede ser racional o irracional. Por lo tanto, el conjunto de los números reales
es la unión del conjunto de los números racionales y el conjunto de los números
irracionales. Se designa con el símbolo “R”.

Propiedades del Conjunto de los Números Reales

El conjunto de los números reales es el conjunto de todos los números

que corresponden a los puntos de la recta.

El conjunto de los números reales es el conjunto de todos los números

que pueden expresarse con decimales finitos o infinitos periódicos o no periódicos.

El conjunto de los números reales se representa por la letra “R”.

Recta de los Números Reales o Recta Real

-4,2426 -3,1416 "18

-6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6

Ejemplo de representación de números reales en la recta real.

Intervalos de Números Reales

Un intervalo de números reales es un subconjunto de R, que tiene la

siguiente propiedad: dados dos números a y b en el intervalo, todos los números
comprendidos entre a y b también pertenecen al intervalo. Gráficamente, un
intervalo se identifica en la recta real con un segmento o una semirrecta, con o sin
sus extremos, o con toda la recta real.

Ejemplo:

{x | 2 " x " 8}

Es un intervalo, que se representa en la recta real como un segmento con

extremos 2 y 8.

Ejemplo:
 {x | x > "5}

Es un intervalo, que se representa en la recta real como una semirrecta,

con origen en -5, sin contar este extremo. Para los intervalos se utiliza una
notación específica, y se los clasifica además en intervalos cerrados, abiertos y
semiabiertos.

El intervalo cerrado [a, b], con a y b números reales, es el subconjunto de R

definido como

[a, b] = {x | a " x " b}.

En particular, a y b son elementos de [a, b].

El intervalo abierto (a, b), con a y b números reales, es el subconjunto de R

definido como

(a, b) = {x | a < x < b}.

En este caso, a y b no son elementos de (a, b).

Los subconjuntos de la forma {x | x > a} y {x | x < a}, también se llaman

intervalos abiertos, y para estos se utiliza la notación (a, ") y ("", a),
respectivamente. Al símbolo " se lo denomina símbolo de infinito. El conjunto R es
también un intervalo abierto, que se denota ("", ").

Por último, los intervalos semiabiertos se denotan de la forma [a, b), (a, b],
[a,") y ("", a], siendo a y b números reales. Se definen por comprensión de la
siguiente manera:

[a, b) = {x | a " x < b}

(a, b] = {x | a < x " b}

[a,") = {x | x " a}

("", a] = {x | x " a}

Ejemplo:
 Si a = "2, y b = 3, entonces ["2, 3) = {x | "2 " x < 3}, y ("2, 3] =

{x | "2 < x " 3}.

Conjunto Escrito por Extensión

Un conjunto esta expresado por extensión cuando se enumeran todos los

elementos que lo forman. Si el conjunto tiene infinitos elementos, se nombraran
algunos de ellos y se escriben tres puntos suspensivos.

Ejemplo:

A = {a, e, i, o, u}

B = {0,2 ,4, 6, 8}

C = {c,o,n,j,t,s}Es un conjunto determinado por extensión no se repite un

mismo elemento.

Conjunto Escrito por Comprensión

Un conjunto esta expresado por comprensión cuando se enuncian las

propiedades o características comunes de sus elementos: El conjunto “A” está
formado por los números naturales comprendidos entre 0 y 5, ambos inclusive.

Ejemplo:

A = {X/X Es una vocal}

B = {X/X Es un numero par menor que 10}

C = {X/X Es una letra de la palabra conjuntos}

Conjunto Universo

Es el conjunto que contiene a todos los elementos del discurso. Es un

término relativo se le denota por la letra U. Es un conjunto finito o infinito de
elementos, tal que cualquiera de sus subconjuntos A queda determinado por una
propiedad que depende únicamente de los elementos de U y solo de ellos.
 Ejemplo:

Si U es el conjunto de los números reales A puede ser el conjunto de los

números enteros.

Ejemplo:

Sean los conjuntos:

A = {Aves} B = {Peces} C = {Conejos} D = {Monos}

Existe otro conjunto que incluye a los conjuntos A,B,C y D

U = {Animales}

Gráficamente se representan por un rectángulo tal como se observa a

continuación.

Conjunto Unitario

Es todo conjunto que está formado por un solo y único elemento.

Ejemplo:

A = {5}

B = {Números pares entre 6 y 10} = {8}

C = {La capital de Perú} = {Lima}

D = {X/2x = 6} = {3}

Conjunto Vacío

Es aquel que no posee ningún elemento, y se representa por Ø.

A = {Los perros que vuelan} A ={} A = {Ø} A = {0}

B = {X/X Es un mes que tiene 53 días} B ={} B = {Ø} B = {0}

C = {X/X³ = 8 y es impar} C = {} C = {Ø} C = {0}

 D = {X/X Es un día de 90 horas} D = {} D = {Ø} D = {0}

A = {X/X

a los números impares X² = 4} ; A = Ø

Subconjunto

Definimos que un conjunto es subconjunto de otro, cuando tiene todos sus

elementos incluidos en otro. Decimos que A esta incluido o es subconjunto de B
cuando se representan de la siguiente manera, A c B si solo si todos los
elementos de A están en B.

Ejemplo:

A = {2,3,4,5}y B = {1,2,3,4,5,6} , Decimos que A û B

A = {1,2,3} y B = {2,3,4,5} , A û B, A no es subconjunto de B.

Identidad de Conjuntos

Serían conjuntos idénticos entre ellos, aquellos que cumplieran dos

exigencias:

1.- Tener los mismos elementos. "Sean dos conjuntos A y B, en los cuales
todo elemento de A tiene otro idéntico en B y todo elemento de B tiene otro
idéntico en A".

2.- Tener la misma convergencia, es decir, que la cohesión, ordenación y

cualquier norma de agrupamiento se da en ambos conjuntos al mismo nivel.
Por tanto han de ser dos conjuntos indistinguibles uno del otro.

Para representar dos conjuntos idénticos podemos usar el signo ><

Así, A >< B nos dice que el conjunto A es idéntico al conjunto B y viceversa.

Como ejemplos podemos poner:

 -Un conjunto en relación como podría ser una caja A de botellas de wisky y
junto a ella otro B en iguales condiciones y marca.

-O un conjunto de fusión como podría ser una automóvil recién salido de

fábrica, y junto a él otro de igual modelo y características.

Llegados a este punto, podríamos establecer un concepto de cierta

importancia en los conjuntos cuál sería su IDENTIDAD.

La IDENTIDAD sería según hemos visto la totalidad de características y

particularidades de un conjunto, incluidos sus elementos, convergencia, etc., es
decir todo aquello que lo hacen específico y diferente de otros.

Producto Cartesiano

Llamaremos producto cartesiano al conjunto de todos los pares ordenados

cuyo primer elemento pertenece al primer conjunto que resulta de multiplicar A x B
y cuyo segundo elemento pertenece al segundo conjunto que resulta de multiplicar
B x A.

Ejemplo.

Sea los conjuntos A = {1,2,3} Y b = {4,5,6} se tiene:

A x B = {(1,4), (1,5), (1,6), (2,4), (2,5), (2,6), (3,4), (3,5), (3,6)}

El producto cartesiano de A x B no es igual al producto cartesiano de B x A.

Si los conjuntos A y B tienen elementos comunes, entonces los elementos del
producto cartesiano de la forma (a, a), se les llama elementos diagonales. Si el
producto cartesiano lo forman más de dos conjuntos, los elementos del producto
cartesiano lo formaran grupos de elementos tomados ordenadamente de cada uno
de los conjuntos que lo forman tomando un elemento del primer conjunto, otro del
segundo otro del tercero y así hasta llegar al último.

Para representa gráficamente el producto cartesiano utilizaremos la

representación cartesiana que consiste en trazar unos ejes perpendiculares, en el
eje horizontal colocaremos los elementos del conjunto A y en el eje vertical los
elementos del conjunto B, los elementos del producto cartesiano los forman los
puntos de intersección que se obtienen al trazar por los elementos del conjunto A
paralelas al eje vertical y por los elementos del conjunto B paralelas al eje
horizontal.

Ejemplo:

En símbolos, A × B = {(a, b) | a " A y b " B}.

Si A = {2, 4, 6} y B = {4, 5, 6}, el producto cartesiano de A por B es

A × B = {(2, 4), (2, 5), (2, 6), (4, 4), (4, 5), (4, 6), (6, 4), (6, 5), (6, 6)}

Ejemplo:

Si los conjuntos tienen una cantidad finita de elementos puede resultar útil
el uso de una

Así, en la tabla del producto cartesiano X × Y de dos conjuntos finitos X e Y,

tenemos que la fila correspondiente al elemento x de X contiene todos los pares
ordenados de X × Y cuyo primera coordenada es x, mientras que la columna
correspondiente al elemento y de Y contiene todos los pares ordenados de X × Y
cuya segunda coordenada es y.

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

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

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

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.

Números naturales: principio de inducción

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

Teoría de Conjuntos
Noción Intuitiva de Conjuntos

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:

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

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

Se puede definir un conjunto:

 Por extensión, enumerando todos y cada uno de sus elementos.
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:

A := {1,2,3, ... ,n}

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:

Æ'=U.
U'=Æ.
(A')' = A .
A Í B Û B' Í A' .
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 UNIÓN INTERSECCIÓN

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) AÇ(BÇC)=(AÇB)
ÈC ÇC
4- Absorción AÈ(AÇB)=A AÇ(AÈB)=A
5- Distributiva AÈ(BÇC)=(AÈB) AÇ(BÈC)=(AÇB)
Ç(AÈC) È(AÇC)
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:

A È Æ = A , A Ç Æ = Æ ( elemento nulo ).
A È U = U , A Ç U = A ( elemento universal ).
( 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 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:

È i ÎI Ai := { a : a Î Ai , $ i Î I }
Ç i Î I Ai := { a : a Î Ai , " i Î I }
Õ 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'

Relación entre la Teoría de Conjuntos y la Lógica Proporcional

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:

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ÈC) aÚ(bÙc)Û(aÚb)Ù(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.

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)' "
 Conclusión:
La Teoría de conjuntos creada por Cantor es de gran utilidad en las
matemáticas, pues es una herramienta importante para poder estudiar las
relaciones existentes entre un todo y sus partes, al mismo tiempo que sentó las
bases para simplificar definiciones de conceptos que resultaban más complejas.

Más aún, la teoría de los conjuntos es lo suficientemente rica como para

construir el resto de objetos y estructuras de interés en matemáticas: números,
funciones, figuras geométricas; y junto con la lógica permite estudiar los
fundamentos de esta. En la actualidad se acepta que el conjunto de axiomas de la
teoría de Zermelo-Fraenkel es suficiente para desarrollar toda la matemática. La
propia teoría de conjuntos es objeto de estudio, no sólo 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 hipótesis del continuo o la existencia de
un cardinal inaccesible. Por esta razón, los razonamientos y técnicas de la teoría
de conjuntos se apoyan en gran medida en la lógica matemática.