Está en la página 1de 32

Teora elemental de conjuntos

Lgica proposicional
Una proposicin es cualquier enunciado lgico al que se le pueda asignar un
valor de verdad (1) o falsedad (0).
Dada una proposicin p, se define la negacin de p como la proposicin 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
lgicas para
construir
nuevas proposiciones; en este caso, se necesita conocer su valor de verdad o
falsedad
en
funcin
de
los
valores
de
las proposiciones de que se componen, lo cual se realiza a travs de las tablas de
verdad de
dichas
operaciones.
Por ejemplo, la tabla de verdad de la negacin es la siguiente:
p
1
0

p'
0
1

A continuacin se describen las principales operaciones lgicas entre dos


proposiciones p,q y sus tablas de verdad:
Conjuncin: es aquella proposicin que es verdadera cuando p y q son
verdaderas, y falsa en cualquier otro caso. 1 verdadero, 0 falso
Se escribe p q, y se lee "p y q".

p q
1
1
0
0

1
0
1
0

p
q
1
0
0
0

Disyuncin: es aquella proposicin 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

Disyuncin exclusiva: es aquella proposicin que es verdadera cuando una


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

1
0
1
0

p
q
0
1
1
0

es
que es

Condicional:
aquella
proposicin
falsa
nicamente
suficiente p

cuando la condicin
es verdadera y la
condicin 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 proposicin 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 slo si
p entonces q".

p q
1 1
0
1
0 1
0 0

p
q
1
0

0
1

Una proposicin se dice que es una tautologa si su valor de verdad es


siempre 1 independientemente de los valores
de las proposiciones que lo componen; por ejemplo: p p'.

Una proposicin se dice que es una contradiccin 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 proposicin a la que no se le puede asignar ningn valor de
verdad; suelen estar relacionadas con
incorrecciones en el lenguaje lgico. Por ejemplo: p="la proposicin p es falsa".
Dos proposiciones p y q se dicen equivalentes si tienen la misma tabla de verdad
en funcin de las proposiciones elementales
que lo componen; esta definicin equivale a decir que la proposicin p q es
una tautologa. Por ejemplo, las proposiciones
pq
y
q' p'
son equivalentes. Esta ley se llama "ley del contrarrecproco", y se usa en los
razonamientos por reduccin al absurdo.
Se pueden obtener fcilmente ms "resultados lgicos" a travs de su relacin
con la teora de conjuntos.

EJEMPLOS RESUELTOS
CONSTRUIR TABLAS

Teora de Conjuntos

NOCION INTUITIVA DE CONJUNTO


Un conjunto es la reunin en un todo de objetos bien definidos y
diferenciables entre si, que se llaman elementos del mismo.

Si a es un elemento del conjunto A se denota con la relacin de pertenencia a A.


En caso contrario, si a no es un elemento de A se denota a A.

Ejemplos de conjuntos:

: el conjunto vaco, que carece de elementos.

N: el conjunto de los nmeros naturales.

Z: el conjunto de los nmeros enteros.

Q : el conjunto de los nmeros racionales.

R: el conjunto de los nmeros reales.

C: el conjunto de los nmeros complejos.

Se puede definir un conjunto:


o

por extensin, enumerando todos y cada uno de sus elementos.

por comprensin, diciendo cul es la propiedad que los


caracteriza.

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


se define por extensin,
o su propiedad caracterstica, si se define por comprensin. Por ejemplo:
o

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

B := {p Z | p es par}

Se dice que A est contenido en B (tambin 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 tambin de B, es decir,


a A a B.

Dos conjuntos A y B se dicen iguales, y se denota A = B, si simultneamente A B


y B A;
esto equivale a decir que tienen los mismos elementos (o tambin la misma
propiedad caracterstica).
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 relacin 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 simtrica entre A y B al conjunto
A B := (A 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 fcil ver que si A y B son subconjuntos cualesquiera de U se verifica:
o

'=U.

U ' = .

(A')' = A .

A B B' A' .

Si A = { x U | p(x) es una proposicin verdadera} entonces A' =


{ x U | p(x) es una proposicin falsa}.

Se llama unin 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 interseccin 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 fcil ver


que A B = A B'.
En este caso, la llamadas operaciones booleanas (unin e interseccin) verifican
las siguientes propiedades :
PROPIEDADES
1.- Idempotencia
2.- Conmutativa
3.- Asociativa
4.- Absorcin
5.- Distributiva
6.Complementariedad

UNION
AA=A
AB=BA
A(BC)=
(AB)C
A(AB)=A
A(BC)=
(AB)(AC)
A A' = U

INTERSECCION
AA=A
AB=BA
A(BC)=(AB)C
A(AB)=A
A(BC)=
(AB)(AC)
A A' =

Estas propiedades hacen que partes de U con las operaciones unin e


interseccin tenga una estructura de lgebra de Boole.
Adems de stas, se verifican tambin las siguientes propiedades:
o

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; anlogamente, dados


cuatro conjuntos A,B,C,D se verifica
AB=CD(A=CB=D)

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


Dado un grafo G relativo a A B, se llama proyeccin de G sobre A al conjunto
ProyAG := { a A : (a,b) G, b B}

Anlogamente se define la proyeccin 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. Tambin se suele denotar por
{ Ai } i I .
De forma anloga 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 }

iI

Ai := { a : a Ai , i I }

iI

Ai := { (ai) : ai Ai , i I }

Las propiedades de la unin e interseccin siguen siendo vlidas para


familias de conjuntos, y en particular las leyes de Morgan :
(
DIAGRAMAS DE VENN

iI

Ai )' =

iI

A'i

(i I Ai )' = i I A'i

Los conjuntos de suelen representar grficamente mediante "diagramas de Venn",


con una lnea que encierra a sus elementos.
As, todas las operaciones entre conjuntos se pueden representar grficamente con el
fin de obtener una idea ms intuitiva.
AB

AB

AB

AB

AB

RELACION ENTRE LA TEORIA DE CONJUNTOS Y LA LOGICA


PROPOSICIONAL
Existe una relacin muy estrecha entre la Teora de Conjuntos y la Lgica
Proposicional.

Para mostrar dicha relacin, denotemos por letras maysculas A,B ... los conjuntos
y
por las correspondientes minsculas a,b ... sus propiedades caractersticas
(es decir, la proposicin lgica que caracteriza a los elementos de cada conjunto);
entonces se tiene la siguiente correspondencia:

conjuntos

AB

A=B

proposiciones a b a b

A B A B A' A B A B
ab

a b a' a b' a b

Adems, el conjunto vaco se corresponde con una contradiccin y el conjunto


universal con una tautologa.
Mediante esta correspondencia, todos los resultados sobre conjuntos se pueden
reescribir en trminos de lgica
proposicional y viceversa; a modo de ejemplo:

A(AB)=A

a(bc)a

A(BC)=
(AB)(AC)

a(bc)(ab)(a
c)

( A B )' = A' B'

( a b )' a' b'

PROPOSICIONES CON CUANTIFICADORES


Los smbolos (cuantificador universal) y (cuantificador existencial) se utilizan
en Matemticas para
enunciar proposiciones logicas relativas a objetos matemticos.
Sea A un conjunto y p(x) una proposicin o propiedad que hace referencia a un
elemento x.
(1) Cuantificador universal : La expresin
x A p(x)
se lee "para todo x que pertenece a A se verifica p(x)", representa la proposicin
{ x A : p(x) } = A
(2) Cuantificador existencial : La expresin

x A | p(x)
se lee "existe x que pertenece a A tal que p(x)", representa la proposicin
{ x A : p(x) }

La negacin de cualquiera de las dos proposiciones anteriores se realiza negando la


proposicin p(x)
y cambiando el cuantificador universal por el cuantificador existencial, o viceversa.
As, la negacin de la proposicin " x A p(x)" es " x A | p(x)' ", mientras
que
la negacin de " x A | p(x)" es " x A p(x)' "

Conjuntos finitos : Combinatoria

La Combinatoria es la parte de las Matemticas que se dedica al estudio


de los conjuntos finitos.
Puesto que la propiedad principal de estos conjuntos es que se puede
representar su nmero de elementos
mediante un nmero natural (llamado cardinal de dicho conjunto), la tarea
bsica de la Combinatoria es
precisamente el clculo del cardinal de dichos conjuntos.
Para dicho clculo se necesita definir los llamados nmeros
combinatorios:
(1) Nmeros factoriales: se define n! mediante la ley de recurrencia
n! = n (n-1)!

y la condicin inicial 0! := 1. De forma iterativa, se tiene


n! = n (n-1) (n-2) ... 3 2 1
n! es el nmero de permutaciones de n elementos, es decir, es el
nmero total de formas de ordenar n elementos
de todas las formas distintas posibles.
(2) Coeficientes binomiales: se definen por la frmula

El nmero "n sobre k" es el nmero de combinaciones de n


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

(b)

Como aplicacin de los nmeros combinatorios y del Binomio de


Newton, podemos contar el nmero total de
subconjuntos que tiene un conjunto A con n elementos, es decir, el
cardinal de partes de A; para ello, notemos
que el nmero de tales subconjuntos se obtiene sumando el nmero
de subconjuntos de 0 elementos ms los de
1 elemento, ms 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 expresin
(1+1)n = 2n
As pues se obtiene que # (A) = 2n si # A = n.

CONJUNTOS

La palabra conjunto generalmente la asociamos con la idea de agrupar objetos,


por ejemplo un conjunto de discos, de libros, de plantas de cultivo y en otras
ocasiones en palabras como hato, rebao, piara, parcelas, campesinado, familia,
etc., es decir la palabra conjunto denota una coleccin de elementos claramente
entre s, que guardan alguna caracterstica en comn. Ya sean nmeros, personas,
figuras, ideas y conceptos.
En matemticas el concepto de conjunto es considerado primitivo y ni se da una
definicin de este, sino que se trabaja con la notacin de coleccin y
agrupamiento de objetos, lo mismo puede decirse que se consideren primitivas
las ideas de elemento y pertenencia.
La caracterstica esencial de un conjunto es la de estar bien definido, es decir que
dado un objeto particular, determinar si este pertenece o no al conjunto. Por
ejemplo si se considera el conjunto de los nmeros dgitos, sabemos que el 3
pertenece al conjunto, pero el 19 no. Por otro lado el conjunto de las bellas obras
musicales no es un conjunto bien definido, puesto que diferentes personas puedan
incluir distintas obras en el conjunto.
Los objetos que forman un conjunto son llamados miembros o elementos. Por
ejemplo el conjunto de las letras de alfabeto; a, b, c, ..., x, y, z. que se puede
escribir as:

{ a, b, c, ..., x, y, z}

Como se muestra el conjunto se escribe entre llaves ({}) , o separados por comas
(,).

El detallar a todos los elementos de un conjunto entre las llaves, se


denomina forma tabular, extensin o enumeracin de los elementos.
Dos conjuntos son iguales si tienen los mismos elementos, por ejemplo:
El conjunto { a, b, c } tambin puede escribirse:
{ a, c, b }, { b, a, c }, { b, c, a }, { c, a, b }, { c, b, a }

En teora de conjuntos se acostumbra no repetir a los elementos por ejemplo:


El conjunto { b, b, b, d, d } simplemente ser { b, d }.

MEMBRESIA
Los conjuntos se denotan por letras maysculas : A, B, C,... por ejemplo:
A={ a, c, b }
B={ primavera, verano, otoo, invierno }
El smbolo indicar que un elemento pertenece o es miembro de un conjunto.
Por el contrario para indicar que un elemento no pertenece al conjunto de
referencia, bastar cancelarlo con una raya inclinada / quedando el smbolo
como .
Ejemplo:
Sea B={ a, e, i, o, u }, a B y c B

SUBCONJUNTO
Sean los conjuntos A={ 0, 1, 2, 3, 5, 8 } y B={ 1, 2, 5 }
En este caso decimos que B esta contenido en A, o que B es subconjunto de A.
En general si A y B son dos conjuntos cualesquiera, decimos que B es un
subconjunto de A si todo elemento de B lo es de A tambin.
Por lo tanto si B es un subconjunto de A se escribe B A. Si B no es
subconjunto de A se indicar con una diagonal .
Note que se utiliza solo para elementos de un conjunto y solo para
conjuntos.

UNIVERSO O CONJUNTO UNIVERSAL


El conjunto que contiene a todos los elementos a los que se hace referencia recibe
el nombre de conjunto Universal, este conjunto depende del problema que se
estudia, se denota con la letra U y algunas veces con la letra S (espacio muestral).
Por ejemplo si solo queremos referirnos a los 5 primeros nmeros naturales el
conjunto queda:
U={ 1, 2, 3, 4, 5 }

Forma alternativa para indicar conjuntos de gran importancia:


Conjunto de nmeros naturales (enteros mayores que cero) representados
por la letra N donde
N={ 1, 2, 3, .... }
Conjunto de nmeros enteros positivos y negativos representados por la
letra Z donde
Z={..., -2, -1, 0, 1, 2, ... }

Conjunto de nmeros racionales (nmeros que se representan como el


cociente de dos nmeros enteros {fracciones }). Estos nmeros se
representan por una Q
Conjunto de nmeros irracionales (nmeros que no puedan representarse
como el cociente de dos nmeros enteros) representados por la letra I.
Conjunto de los nmeros reales que son los nmeros racionales e
irracionales es decir todos, representados por R.

Todos estos conjuntos tienen un nmero infinito de elementos, la forma de


simbolizarlos por extensin o por enumeracin es de gran utilidad cuando los
conjuntos a los que se hace referencia tienen pocos elementos para poder trabajar
con ellos se emplean la notacin llamada comprehensin.
Por ejemplo, la denotar el conjunto de los nmeros naturales menores que 60.
Aqu U es el conjunto N y se tiene una propiedad que caracteriza a los elementos
del conjunto: ser menores que 60.

Para indicar esta situacin empleamos la simbologa del lgebra de conjuntos:


{ x/x N ; x<60 }
En esta expresin se maneja un conjunto de x que pertenece a los nmeros
naturales (N) y adems que los valores de x son menores que 60.

Ahora si se desea trabajar con conjuntos que manejen intervalos estos pueden ser
representados por medio de una expresin algebraica; supongamos que se desea
expresar los nmeros enteros (Z) entre -20 y 30 el conjunto quedara de la
manera siguiente:
{ x/x Z ; -20 x 30 }

Tambin se puede expresar el valor de un conjunto indicando la pertenencia o no


pertenencia a uno diferente, por ejemplo
L={ 1, 3, 4, 6, 9 }
P={ x/x N ; X L }
En el conjunto P se indica que los elementos x de un conjunto pertenecen a los
nmeros naturales y adems x no pertenece al conjunto L.

OPERACIONES CON CONJUNTOS

UNION
La unin de dos conjuntos A y B la denotaremos por A B y es el conjunto
formado por los elementos que pertenecen al menos a uno de ellos a los dos. Lo
que se denota por:
A B = { x/x A x B }
Ejemplo: Sean los conjuntos A={ 1, 3, 5, 7, 9 } y B={ 10, 11, 12 }
A B ={ 1, 3, 5, 7, 9, 10, 11, 12 }

INTERSECCION
Sean A={ 1, 2, 3, 4, 5, 6, 8, 9 } y B={ 2, 4, 8, 12 }
Los elementos comunes a los dos conjuntos son: { 2, 4, 8 }. A este conjunto se le
llama interseccin de A y B; y se denota por A B, algebraicamente se escribe
as:
A B = { x/x A y x B }
Y se lee el conjunto de elementos x que estn en A y estn en B.

Ejemplo:
Sean Q={ a, n, p, y, q, s, r, o, b, k } y P={ l, u, a, o, s, r, b, v, y, z }
Q P={ a, b, o, r, s, y }

CONJUNTO VACIO
Un conjunto que no tiene elementos es llamado conjunto vaco conjunto nulo lo
que denotamos por el smbolo .

Por ejemplo:
Sean A={ 2, 4, 6 } y B={ 1, 3, 5, 7 } encontrar A B.
A B= { }
El resultado de A B= { } muestra que no hay elementos entre las llaves, si este
es el caso se le llamar conjunto vaco nulo y se puede representar como:
A B=

CONJUNTOS AJENOS
S la interseccin de dos conjuntos es igual al conjunto vaco, entonces a estos
conjuntos les llamaremos conjuntos ajenos, es decir:
Si A B = entonces A y B son ajenos.

COMPLEMENTO

El complemento de un conjunto respecto al universo U es el conjunto de


elementos de U que no pertenecen a A y se denota como A' y que se representa
por comprehensin como:
A'={ x U/x y x A }

Ejemplo:
Sea U = { 1, 2, 3, 4, 5, 6, 7, 8, 9 }
A= { 1, 3, 5, 7, 9 } donde A U
El complemento de A estar dado por:
A'= { 2, 4, 6, 8 }

DIFERENCIA
Sean A y B dos conjuntos. La diferencia de A y B se denota por A-B y es el
conjunto de los elementos de A que no estn en B y se representa por
comprehensin como:
A - B={ x/x A ; X B }

Ejemplo:
Sea A= { a, b, c, d } y
B= { a, b, c, g, h, i }
A - B= { d }
En el ejemplo anterior se observa que solo interesan los elementos del conjunto A
que no estn en B. Si la operacin fuera B - A el resultado es

B A = { g, h, i }
E indica los elementos que estn en B y no en A.

DIAGRAMAS DE VENN
Los diagramas de Venn que de deben al filsofo ingls John Venn (1834-1883)
sirven para encontrar relaciones entre conjuntos de manera grfica mediante
dibujos diagramas.
La manera de representar el conjunto Universal es un rectngulo, bien la hoja
de papel con que se trabaje.
Un ejemplo de la representacin del conjunto universal se muestra como:

Los conjuntos se representan por medio de dibujos dentro del rectngulo, los
aspectos de inters se resaltan sombreando las reas respectivas. En el caso de
este curso las indicaremos por medio de un color azul por ejemplo:

Utilizar diagramas para rellenar