Teora Bsica de Conjuntos

Objetivo general
Comprender y usar los conceptos fundamentales de la teora de conjuntos, hacia la

apropiacin de sus relaciones

lgicas en diferentes contextos estableciendo asimilaciones con el lenguaje natural hacia la solucin de algunas situaciones
problemas.
Objetivos especficos
1. Identificar las relaciones entre conjuntos y sus elementos.
2. Distinguir las diferentes clases de conjuntos.
3. Representar grficamente los conjuntos.
4. Realizar operaciones entre conjuntos.
5. Resolver algunas situaciones problemas usando teora de conjuntos.
Historia
El concepto de conjunto como objeto abstracto no comenz a emplearse en matemticas hasta el siglo XIX, a medida que se
despejaban las dudas sobre la nocin de infinito. Los trabajos de Bernard Bolzano y Bernhard Riemann ya contenan ideas
relacionadas con una visin conjuntista de la matemtica. Las contribuciones de Richard Dedekind al lgebra estaban
formuladas en trminos claramente conjuntistas, que an prevalecen en la matemtica moderna: relaciones de
equivalencia, particiones, homomorfismos, etc., y l mismo explicit las hiptesis y operaciones relativas a conjuntos que
necesit en su trabajo.
La teora de conjuntos como disciplina independiente se atribuye usualmente a George Cantor. Comenzando con sus
investigaciones sobre conjuntos numricos, desarroll un estudio sobre los conjuntos infinitos y sus propiedades. La
influencia de Dedekind y Cantor empez a ser determinante a finales del siglo XIX, en el proceso de axiomatizacin de la
matemtica, en el que todos los objetos matemticos, como los nmeros, las funciones y las diversas estructuras, fueron
construidos en base a los conjuntos.
Definicin y generalidades
Los conjuntos estn relacionados con el proceso de contar y por lo tanto permiten resolver problemas que involucran el
concepto de cantidad. Se define un conjunto como una coleccin de objetos, smbolos o entidades bien definidas, que
reciben el nombre de elementos del conjunto. Los conjuntos generalmente se representan con letras maysculas y sus
elementos con letras minsculas.
Ejemplo:
El conjunto de vocales V = {a, e, i, o, u}
El conjunto de los primeros cinco nmeros impares N = {1, 3, 5, 7, 9, 11}
Una clasificacin de los animales desde la biologa A = {terrestres, acuticos, voladores, anfibios}
Representacin de conjuntos
Los conjuntos se pueden representar de bsicamente de tres formas:
Por extensin: cuando nombramos cada uno de los elementos del conjunto.
H = {len, tigre, pantera, jaguar, linces, gatos, pumas}
R = {ceclidos , salamandras, sapos y ranas}
Por comprensin: cuando se nombra el conjunto de acuerdo a una caracterstica comn de sus elementos. Se puede escribir

de varias maneras:
V = {vocales}, V = {x/x es vocal}, V = {x: x es vocal} (donde / y : se leen como tales que)
N = {nmeros naturales impares menores que e iguales a 11}, N = {x/ 0<x<12, x N y x es impar}
H = {felinos}, H = {x:x es felino}
R = {animales anfibios}, R = {x/x es animal anfibio}
Estas dos representaciones descritas anteriormente se les llama tambin formas de determinar un conjunto (por extensin y
por comprensin).
Representacin grfica: Una forma sencilla de visualizar los conjuntos y las relaciones entre ellos, es mediante la
utilizacin de esquemas grficos llamados crculos de Euler o diagramas de Venn. Estos esquemas estn
compuestos por una regin cerrada del plano (generalmente un rectngulo), la cual representa el conjunto universal, y por
uno o varios crculos que representan los conjuntos a graficar.
Para indicar que un elemento es un miembro de un conjunto, se utiliza el smbolo (se lee pertenece a)

y para

indicar que no est en el conjunto se utiliza el smbolo (se lee no pertenece a).

a, e, i,
o, u

1, 3, 5,
7, 9, 11

len, tigre,
pantera,
jaguar,
linces, gatos,

pumas

Relaciones entre conjuntos

En conjuntos se hace uso de tres clases de relaciones bsicamente:
La primera se da cuando se est interesado en relacionar un elemento con un conjunto dado, se habla de una relacin de
pertenencia y se usa la notacin la cual se lee pertenece a, cuando el elemento no es parte de ese conjunto se usa la
notacin la cual se lee no pertenece a.
Ejemplo: de acuerdo a los tres conjuntos representados anteriormente podemos establecer algunas relaciones tales como:
aV

se lee a pertenece al conjunto V, tambin se puede leer como: a es una vocal

9N

se lee 9 pertenece al conjunto N, tambin se puede leer como: 9 es un elemento del conjunto N

Jaguar H

se lee el jaguar es un animal que es parte del conjunto de los felinos

mV

se lee como: m no pertenece al conjunto V o tambin como m no es vocal.

4N

se lee como: 4 no es un numero del conjunto N o 4 no pertenece a N

Perro H

Perro no pertenece al conjunto de Felinos o perro no pertenece al conjunto H

La segunda se da cuando queremos relacionar un conjunto con otro conjunto, se habla de una relacin de contenencia y
para esta se usa la notacin , cuando se desea decir que un conjunto no es parte de otro se usa la notacin . Como
ejemplos de esta relacin tenemos:
Dado los conjuntos: D = {x / x es letra del abecedario}, V = {x: x es vocal}, C = {consonantes}, Z = {x: x
es par, x N}, P = {2, 4, 6}, N = {x/ 0<x<12, x N y x es impar}, E = {Nmeros enteros}, entonces:

VD

El conjunto de vocales est contenido en el conjunto de letras del alfabeto.

CD

El conjunto de consonantes est contenido en el conjunto de letras del alfabeto.

pE

El conjunto que tiene como elementos el 2, 4, 6 est contenido en el conjunto de nmeros enteros.

Zp

El conjunto de nmeros naturales pares no est contenido en el conjunto que tiene como elementos 2, 4,6.

EN

El conjunto de nmeros enteros no est contenido en el conjunto de nmeros impares entre cero y doce.

CV

El conjunto de consonantes no est contenido en el conjunto de vocales.

Esta relacin la podemos leer en el sentido contrario, por ejemplo en el ltimo caso podemos decir que el conjunto de
vocales no contiene al conjunto de consonantes.
Clases de conjuntos
De acuerdo a la cantidad de elementos que posea un conjunto, este se puede clasificar como:
Conjuntos Infinitos: son aquellos que no se pueden expresar por extensin.
Ejemplo: S = {x/ 0 x < 9, x R}

Z = {x: x es par, x N}

As en el primer ejemplo vemos los nmeros reales que pertenecen al conjunto S en el intervalo [0,9) y en el segundo
ejemplo el conjunto de los nmeros naturales que pertenecen a Z.
Conjuntos Finitos: son aquellos cuyos elementos son contables y tiene fin el conteo.
Ejemplo: V = {x

/ x es vocal}, D = {x

/ x letra del abecedario}

En estos dos conjuntos es posible hacer el conteo total de los elementos que posee cada uno.
Otros conjuntos
Conjunto vaco: Un conjunto que carece de elementos se denomina conjunto vaco y se simboliza as: , {}
El conjunto vacio forma parte de cualquier conjunto, por lo cual se puede afirmar que: El conjunto

vaco es un

subconjunto de todo conjunto.

Ejemplo:
R = {}
P = {x/x es mujer presidente de Colombia}, Es un conjunto vacio porque no tenemos presidente
mujer en Colombia aun
D = {x: x < 0, x N), D es un conjunto que carece de elementos, puesto que no existe ningn nmero natural que
sea negativo.
Conjunto unitario: Se denomina al conjunto formado por un nico elemento.
Ejemplo:
A = {7}, es un conjunto con 1 elemento.
F = {}, es el conjunto con el elemento vacio, ejemplo; una caja vaca con otra caja vaca dentro.

Es el conjunto que tiene como nico elemento carita feliz.

E = {x / x es un primo par}, El nico nmero que cumple las dos condiciones (ser primo y a la vez par) es el nmero 2, por
lo tanto E = {2} se llama unitario.
Conjunto Universal: Es aquel que contiene todos los subconjuntos propios. Un ejemplo de ello es el conjunto de los
nmeros Complejos, viene a ser nuestro conjunto universal dado que contiene al conjunto de los nmeros naturales, el
conjunto de los nmeros enteros, el conjunto de los nmeros racionales, el conjunto de los nmeros irracionales y el
conjunto de los nmeros reales. Mientras que el conjunto de los nmeros racionales es un conjunto referencial respecto a
los enteros y a los naturales.
Conjunto Referencial: Es un conjunto que contiene otros subconjuntos. Cuando se habla o se piensa en los
conjuntos es conveniente establecer la naturaleza de sus elementos y observar si son parte de otros conjuntos.
Ejemplo:

U=V

a, e, i
o, u

Los elementos del conjunto A = {a, e, i} pertenecen al conjunto de las vocales, V = {a, e, i, o, u}, es decir, A V,
este conjunto V constituye el universo del conjunto A, por esta razn se dice que V es un conjunto Referencial.
A = {x N / x es primo} sus elementos son el conjunto de los nmeros primos naturales y un conjunto referencial viene
a ser el conjunto de los nmeros naturales.
Conjunto de partes o conjuntos de conjuntos: Si A es un conjunto, el conjunto de partes de A, escrito como P(A) esta
formado por todos los subconjuntos que se pueden formar del conjunto A.
Ejemplo:
Si A = {1, 3, 5}, entonces el conjunto de partes de A esta formado por los siguientes subconjuntos:
P (A) = {, {1}, {3}, {5}, {1,3}, {1,5}, {3, 5}, {1, 3, 5}}.
Teorema: Si un conjunto (A) tiene n elementos entonces el conjunto partes de A, P(A) tiene 2n subconjuntos.
El nmero de elementos del conjunto P(A) depende del nmero de elementos de A; en el ejemplo, si A tiene 4 elementos
P(A) tiene 16 = 24 elementos, si A tiene 2 elementos P(A) tiene 4 = 22 elementos en general, si A tiene n- elementos se
pueden formar 2n subconjuntos del conjunto A, que es lo que nos anuncia el teorema.
El conjunto vaco est en todo conjunto y este caso no es la excepcin, por esta razn tambin est en P(A). Adems, cabe

anotar que los elementos del conjunto A son a su vez conjuntos, por lo que se dice que el conjunto P(A) constituye una
familia de conjuntos.
Ejemplo. Sea B = {2, {1, 3}, 4, {2, 5}}. B no es una familia de conjuntos porque algunos elementos de B son
conjuntos y otros no.

Para que

el conjunto B fuera un conjunto de partes o una familia de conjuntos debera estar

expresado de la siguiente forma:

Subconjuntos: Un conjunto A es un subconjunto de un conjunto B, si todo elemento del conjunto A tambin
es elemento del conjunto B. Simblicamente esta relacin se expresa as: A B

(se lee A esta contenido en B) si todo

elemento x que est A tambin est en B, es decir; A B si todo x A, entonces x B

Si A = {x

x es dgito par} y B = {x

x es dgito}, claramente A

extensin la situacin se expresa as: A = {2, 4, 6, 8}

ya que todo dgito par es dgito. Por

B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, Entonces A es un

subconjunto de B.
Un resultado muy til e importante acerca de la contenencia entre conjuntos es el siguiente: Si A es un
subconjunto de B y B es un subconjunto de C, entonces, A es un subconjunto de C; simblicamente este enunciado se
escribe as: Si A B

B C, entonces,

AC

Igualdad entre conjuntos: El conjunto A

es igual al conjunto B

si ambos conjuntos tienen los mismos

elementos, es decir, si todos los elementos de A pertenecen a B y si todos los elementos de B pertenecen al
conjunto A. La igualdad entre conjuntos se simboliza de la siguiente forma: A = B si y s o l o s i A B y B A
Ejemplos:

N y que N M, por lo tanto M = N.

1.

Si M = {1, 1, 0, 2} y N = {2, 1, 0, 1}, claramente se observa que M

2.

Si A = {x / x es abecedario} y B = {x / x es consonante}, se puede observar que B A pero A B, por lo

tanto el conjunto A no es igual al conjunto B, lo cual se escribe, A B.

Conjuntos Completamente Diferentes o

Disyuntos: Es importante destacar que cuando dos conjuntos

son completamente diferentes (no tienen ningn elemento en comn) reciben el nombre de conjuntos disyuntos.

Ejemplo: Los conjuntos A = {x / x es dgito par} y B = {x / x es dgito impar} no tienen ningn elemento en comn,
es decir A y B son disyuntos.
Subconjunto propio: Todo conjunto es subconjunto de s mismo, es decir, A A (con A un conjunto cualquiera), si
ese subconjunto se llama B, entonces se puede afirmar que B es un subconjunto propio de A, este hecho se simboliza as:
B A (se lee B est contenido o es igual al conjunto A)
Ejemplos:
1.

Al considerar los conjuntos A = {x / x es vocal} y B = {a, e, i, o, u}, se puede afirmar que A = B, en particular
se observa que A

B y B A, lo cual permite afirmar que A es subconjunto propio de A y B es subconjunto

propio de A.
2.

Los conjuntos A = {1, 2, 3}, B = {1, 3}, C = {0, 2} y D = {1} son todos subconjuntos del conjunto M =
{0, 1, 2, 3}, pero ninguno es un subconjunto propio de M, ya que con ninguno se puede establecer alguna de
las relaciones siguientes: A M, B M, C M,

D M

Operaciones entre conjuntos

As como las operaciones suma, resta, multiplicacin y divisin estn definidas sobre los nmeros reales, tambin existen
operaciones definidas entre los conjuntos como la unin, interseccin, complemento, diferencia, diferencia simtrica y
producto cartesiano.
Unin: Se puede entender como el conjunto que contiene los elementos comunes y los elementos no comunes de dos o
ms conjuntos. Si A y B son dos conjuntos no vacos, se define la unin entre A y B como el conjunto de todos los
elementos que pertenecen al conjunto A o que pertenecen al conjunto B.
Simblicamente la unin se define as:
Matemticamente se define la unin como: A B = {x / x A x B}
Para representar grficamente la operacin de unin entre conjuntos, se debe tener en cuenta la relacin que exista entre
ellos, segn los siguientes casos:
Caso 1. Que los conjuntos no tengan ningn elemento en comn. (conjuntos disyuntos). La parte subrayada representa
la unin entre los conjuntos A y B.

A
1, 2,
3, 4

B
5, 6,
7

En la figura de la izquierda la unin corresponde a la parte sombreada. Si A = {1,2,3,4} y B = {5,6,7} entonces A B =

{1,2,3,4,5,6,7}
Caso 2. Que los conjuntos tengan solo unos elementos en comn.

B
1, 3,

5,

8, 10,

En la figura de la izquierda la unin corresponde a la parte sombreada. Si A = {1, 3, 5, 7, 9} y B = {7, 8, 9, 10} entonces A
B = {1, 3, 5, 7, 8, 9, 10}
Caso 3. Que un conjunto este contenido en el otro.

1, 3,

B 7,

5,

En la figura de la izquierda la unin corresponde a la parte sombreada. Si A = {1, 3, 5, 7, 8} y B = {7, 8} entonces

AB

= {1, 3, 5, 7, 8}
Interseccin: Se define la interseccin entre dos conjuntos A

y B

como el conjunto formado por los elementos

comunes entre dos o ms conjuntos o sea, todos los elementos pertenecen simultneamente al conjunto A y al conjunto B.
Matemticamente la interseccin se expresa como A B = {x / x A y x B}
Caso 1. Que los conjuntos no tengan ningn elemento en comn. (Conjuntos disyuntos)

1, 3, 5,
6

7, 8, 9,
10

En la figura de la izquierda la interseccin corresponde a la parte no sombreada. Si A = {1, 3, 5, 6} y B = {7, 8, 9, 10}

entonces

A B = {}, dado que no hay elementos en comn. Se puede observar que cuando dos conjuntos son

diferentes, su interseccin es vaca y los conjuntos se llaman disyuntos, como ya se haba mencionado.
Caso 2. Que los conjuntos tengan solo unos elementos en comn.

A
1, 3,

B
7 8,
10, 9

5, 6
9

En la figura de la izquierda la interseccin corresponde a la parte sombreada. Si A = {1, 3, 5, 6, 7, 10} y B = {7, 8, 9, 10}
entonces A B = {7, 10}, dado que el 7 y el 10 son elementos comunes.
Caso 3. Que un conjunto este contenido en el otro.

B
1, 3

7 8,
10, 9

5, 6

9
En la figura de la izquierda la interseccin corresponde a la parte sombreada. Si A = {1, 3, 5, 6, 7, 8, 9, 10} y B = {7, 8, 9,
10} entonces A B = {7, 8, 9, 10} = B, dado que todo B son los elementos comunes.
Diferencia: Se define como los elementos no comunes entre dos o ms conjuntos. A menos B, es el
conjunto formado por los elementos que estn en el conjunto A pero no en el B. matemticamente Si
A y B son dos conjuntos no vacos, entonces: A - B = {x / x A y x B}.
Caso 1. Que los conjuntos no tengan ningn elemento en comn.

1, 3, 5,
6

7, 8, 9,
10

En la figura de la izquierda la diferencia corresponde a la parte sombreada. Si A = {1, 3, 5, 6} y B = {7, 8, 9, 10} entonces
A - B = {1, 3, 5, 6} = A, dado que son los elementos del conjunto universal que est A y no estn en B.
Caso 2. Que los conjuntos tengan solo unos elementos en comn.

A
1, 3,

B
7 8,
10, 9

5, 6
9
En la figura de la izquierda la diferencia corresponde a la parte sombreada. Si A = {1, 3, 5, 6, 7, 10} y B = {7, 8, 9, 10}
entonces A - B = {1, 3, 5, 6}, dado que son los elementos no comunes que solo estn en A.
Caso 3. Que un conjunto este contenido en el otro.

B
1, 3

5, 6

7 8,
10, 9
9

En la figura de la izquierda la diferencia corresponde a la parte sombreada. Si A = {1, 3, 5, 6, 7, 8, 9, 10} y B = {7, 8, 9, 10}
entonces A - B = {1, 3, 5, 6}, dado que son los elementos que solo estn en A.
Diferencia simtrica: Dados dos conjuntos no vacos A y B, se define la diferencia simtrica A B, como el conjunto
formado por los elementos no comunes entre los dos conjuntos. Elementos que pertenecen al conjunto A o al conjunto B,
pero no pertenecen simultneamente a ambos conjuntos. Matemticamente A B = {x/ x [(A B) (A B)]}.
Caso 1. Que los conjuntos no tengan ningn elemento en comn.

1, 3, 5,
6

7, 8, 9,
10

En la figura de la izquierda la diferencia simtrica corresponde a la parte sombreada. Si A = {1, 3, 5, 6} y B = {7, 8, 9, 10}
entonces A B = {1, 3, 5, 6, 7, 8, 9, 10} = A B, dado que los conjuntos no tienen elementos en comn.
Caso 2. Que los conjuntos tengan solo unos elementos en comn.

B
7 8,
10, 9

1, 3,
5, 6

9
En la figura de la izquierda la diferencia simtrica corresponde a la parte sombreada. Si A = {1, 3, 5, 6, 7, 10} y B = {7, 8,
9, 10} entonces

A B = {1, 3, 5, 6, 8, 9}, dado que son los elementos no comunes que estn en A y

en B.
Caso 3. Que un conjunto este contenido en el otro.

A
B

B
1, 3
5, 6

7 8,
10, 9
9

En la figura de la izquierda la diferencia simtrica corresponde a la parte sombreada. Si A = {1, 3, 5, 6, 7, 8, 9, 10} y B =

{7, 8, 9, 10} entonces A B = {1, 3, 5, 6} = A - B, dado que son los elementos no comunes en A y en B.
Complemento: Si A es un conjunto no vaco, el complemento de A simbolizado por A est formado por todos los
elementos que no pertenecen al conjunto, es decir A = {x/ x A}
Caso 1. Que los conjuntos no tengan ningn elemento en comn.

1, 3, 5,
6

7, 8, 9,
10
2, 4

En la figura de la izquierda el complemento corresponde a la parte no sombreada. Si

A = {1, 3, 5, 6} y B = {7, 8, 9, 10} entonces

U= {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}

A= {2, 4, 7, 8, 9, 10}, dado que corresponde a los elementos que no

estn en el conjunto A.
Caso 2. Que los conjuntos tengan solo unos elementos en comn.

B
7 8,
10, 9

1, 3,
2,

5, 6

En la figura de la izquierda el complemento corresponde a la parte no sombreada. Si

A = {1, 3, 5, 6, 7, 10} y B = {7, 8, 9, 10} entonces

U= {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}

A= {2, 4, 8, 9}, dado que corresponde a los elementos que no

estn en el conjunto A.

Caso 3. Que un conjunto este contenido en el otro.

A
B

B
1, 3

5, 6
4

7 8,
10, 9
9

En la figura de la izquierda el complemento corresponde a la parte no sombreada que est entre a y el conjunto universal. Si

U= {1, 2, 3, 4, 5, 6, 7, 8, 9, 10},

A = {1, 3, 5, 6, 7, 10} y B = {7, 8, 9, 10} entonces

corresponde a los elementos que no estn en el conjunto A, pero estn en el conjunto universal.

A= {2, 4}, dado que

Producto Cartesiano
Par ordenado o pareja ordenada: La expresin (x, y) representa una pareja ordenada , que cumple la
condicin de que su primera componente, x pertenece al conjunto A

y la segunda componente y pertenece al

conjunto B.
Plano cartesiano: es una representacin grfica, donde dadas dos rectas perpendiculares entre si llamadas ejes, se
ubican las parejas ordenadas. Los pares ordenados (x, y), (-x, y), (x,-y), (-x,-y) se representan en el plano cartesiano como
sigue:
(-x, y)

(x, y)

X
(-x,-y)

(x,-y)

Producto Cartesiano: Si A y B son dos conjuntos no vacos, se define el producto cartesiano entre A y B as:
A X B = {(x, y) / x A y, y B}.
Ejemplo: Si A = {1, 2,3} y B = {-1, 0, 2}
El producto cartesiano de A X B es: A X B = {(1,-1), (1,0), (1,2), (2,-1), (2,0), (2,2), (3,-1), (3,0), (3,2)}
y el producto de BXA es: B X A = {(-1,1), (-1,2), (-1,3), (0,1), (0,2), (0,3), (2,1), (2,2), (2,3)}
De donde se observa que el producto cruz no es conmutativo, es decir: A x B B x A
Algebra de conjuntos
Propiedades de las operaciones entre conjuntos
Las siguientes cuatro propiedades, son validas para las operaciones de unin e interseccin:
a.

Leyes de idempotencia:

A U A =A
A A =A

b.

Leyes asociativas:

(A U B) U C = A U (B U C)
(A B) C = A (B C)

c.

Leyes conmutativas:

A U B =B U A
A B =B A

d.

Leyes distributivas:

A U (B C) = (A U B) (A U C)
A (B U C) = (A B) U (A C)

Las siguientes propiedades estn relacionadas con los conjuntos Universal U y vaco :
e.

Leyes de identidad:

A U U =U

A U =A

A U =A

A =

Propiedades con respecto al complemento.

f.

Leyes del complemento: A U A' = U

(A' )' = A

A A' =
' = U

g.

Leyes de De Morgan:

(A U B)' = A' B'

(A B)' = A' U B'

Cardinal de un conjunto. Es el nmero de elementos que tiene el conjunto.

Ejemplos:
a.

Si el conjunto A = {a, b, c, d, e, f, g}, el cardinal de A es 6

b.

Si el conjunto B = {a, e, i, o, u}, el cardinal de B es 5

c.

Si el conjunto C = {u, v, w} el cardinal de C es 3.

d.

Para los conjuntos A y B, el cardinal de A B es 9; y el cardinal de A B es 2.

e.

Para los conjuntos A y C, el cardinal de A C es 9, mientras que el cardinal de A C es 0.

El cardinal de la unin y de la interseccin de conjuntos se relaciona de acuerdo con la siguiente propiedad.

card (A B) = card (A) + card (B) card (A B)
Esta propiedad se comprueba fcilmente con el siguiente ejemplo
Sea M un conjunto con 45 elementos, y sea N otro conjunto con 25 elementos. Si M N contiene 15 elementos, cuntos
contendr M N?

N
30

15

10

Los 15 elementos de la interseccin pertenecen a M y a N, a la vez. Para determinar cuntos hay en la unin, esos 15
elementos slo deben contarse una vez. Por tanto, en M N habr 30 + 15 + 10 = 55.
Y se cumple que card (A B) = 45 + 25 - 15 = 55
Anlisis de problemas:
Supongamos que en una determinada ciudad hay tres peridicos, que llamaremos A, B y C. Se ha preguntado a un grupo
de personas sobre su lectura o no de esos peridicos, obtenindose las respuestas siguientes:
Lectores de A, 32. Lectores de B, 45. Lectores de C, 23. Lectores de A y B, 14. Lectores de A y C, 9. Lectores de B y C, 12.
Lectores de los tres peridicos, 5. Nmero de personas que no leen ninguno de esos tres peridicos, 54.
Podramos saber cuntas personas haba en el grupo?

14

24
5

7
7

54

El uso de los diagramas de Venn facilita notablemente la respuesta. Para ello dibujamos los conjuntos A, B y C,
superponindose en parte. Las partes comunes indican los lectores que leen ambos peridicos; adems, se tendr en
cuenta que los lectores que leen varios peridicos, leen cada uno de ellos. Esto es, las 5 personas que leen A, B y C (A B
C), leen A y B (A B), leen A y C (A C) y leen B y C (B C); y, por supuesto, cada uno de esos 5 leen A, leen B y leen
C. En definitiva, el nmero de lectores de peridicos es, 14 + 9 + 24 + 4 + 5 + 7 + 7 = 70. El nmero total de personas
en ese grupo es 70 + 54 = 124.

LGICA BSICA
Objetivo general
Conocer a groso modo los elementos bsicos de la teora de la lgica proposicional.
Objetivos especficos
1. Conocer la historia de la lgica y su clasificacin.
2. Establecer la relacin entre lgica y lingstica.
3. Aprender los conectivos lgicos: disyuncin, conjuncin, negacin, implicacin y equivalencia.
4. Identificar la tabla de verdad de enunciados o expresiones lgicas.
En el modulo de LGICA MATEMTICA, reescrito en su segunda edicin para la UNAD, por GEORFFREY ACEVEDO
GONZLEZ (2007: 37-40), hace una exposicin sencilla y clara de algunos conceptos introductorios los cuales se presentan
a continuacin:
Historia y clasificacin
Etimolgicamente la lgica es la ciencia del logos. Originalmente logos significa palabra o discurso, por lo que en un
principio se defini la lgica como la rama de la gramtica que se ocupaba de ciertas formas de lenguaje. Como la
palabra es la expresin, o manifestacin del pensamiento y el pensamiento racional es la base de la filosofa, puede
decirse en general, que la lgica es la ciencia del pensamiento racional; es de aclarar que la lgica no se ocupa del
contenido de los
Pensamientos sino de la manera o forma de los pensamientos. En respuesta a la necesidad de construir argumentos,
para defender o refutar pensamientos de los dems, Aristteles, considerado por los griegos el padre de la lgica.,
creo mtodos sistemticos para analizar y evaluar dichos argumentos, para lo cual desarroll la lgica proposicional
estableciendo procedimientos para determinar la verdad o falsedad de proposiciones compuestas.
El gran matemtico Gottfried Leibniz en 1646 fue el primero en intentar reformar la lgica clsica, planteando que la
dependencia lgica entre proposiciones es demostrada, reduciendo argumentos complejos en simples, para lo cual
propuso representar el conocimiento, en una forma que pudiera ser usado por un razonamiento mecnico y a ste
esquema (lgica simblica) lo llam una caracterstica universal. El proceso de la lgica continu en el siglo XIX. En
1847 el matemtico ingls George Boole en compaa de Augustus de Morgan hizo notar el parentesco entre las
operaciones lgicas con las matemticas, pues a partir de los operadores aritmticos de adicin, multiplicacin y
sustraccin crearon los operadores lgicos equivalentes de unin, interseccin y negacin; adems formularon los
principios del razonamiento simblico y el

anlisis lgico. A Boole se le atribuye la invencin de las tablas de verdad para comprobar la veracidad de
proposiciones compuestas. Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead en 1910 en su obra.
Principio Matemtico., quienes codificaron la lgica simblica en su presente forma definindola como la .Ciencia de
todas las operaciones conceptuales posibles., por esta razn la fundacin de la lgica formal moderna se le atribuye a
ellos.
Clasificacin de la lgica
La lgica se puede clasificar como:
1. Lgica tradicional o no formal.
2. Lgica simblica o formal.
En la lgica tradicional se consideran los procesos psicobiolgicos del pensamiento lgico, y los mtodos de inferencia
que estn relacionados con la destreza para interpretar y distinguir el razonamiento correcto del incorrecto; se puede
considerar que la lgica no formal resume las experiencias humanas obtenidas del conocimiento y de la observacin
del mundo circundante. La lgica como ciencia constituye la lgica formal o simblica, la cual se encarga de
investigar, desarrollar y establecer los principios fundamentales que siguen la validez de la inferencia; es considerada
como uno de los sistemas mediante el cual se llega a formas puras y rigurosas. En el pensamiento simblico, las
palabras se manipulan, segn las reglas establecidas, como si fueran simples signos sin preocuparse por su sentido.
Conceptualizacin
La lgica ofrece mtodos que ensean cmo formar proposiciones, evaluar sus valores de verdad y determinar si unas
conclusiones se pueden deducir correctamente a partir de proposiciones supuestas; adems, la lgica es una ciencia
que se interesa por las relaciones existentes entre las proposiciones, con el fin de obtener precisin, claridad y
generalidad en los razonamientos. La precisin la logra mediante el uso de smbolos, los cuales tienen como funcin
primordial eliminar las ambigedades que la estructura del lenguaje ordinario no puede evitar con facilidad. La
claridad y generalidad, la consigue en la medida en que el usuario se familiariza con los elementos bsicos de un
argumento lgico, tanto en su representacin simblica como en su significado para luego establecer un lenguaje
simblico artificial, que le permita simplificar argumentos lgicos complicados; de esta manera, el smbolo permite
concentracin sobre lo esencial de un contexto dado, incrementando la fiabilidad con que se aplica el conocimiento.
Lgica y lingstica
Por su origen y desarrollo natural, han sido reconocidos dos tipos bsicos de lenguajes: los lenguajes naturales y los
lenguajes formales o artificiales. Los lenguajes naturales no se establecieron a travs de ninguna teora, entre ellos
estn el castellano, el francs y el ingls. Las teoras y gramticas de lenguajes naturales, fueron establecidas a
posteriori, es decir despus de que el lenguaje ya haba madurado. Los lenguajes formales como las matemticas y la
lgica, fueron desarrollados, generalmente, a partir del establecimiento de una teora, la cual da las bases para que a
travs de dichos lenguajes se pueda desarrollar la misma teora. Los lenguajes naturales y formales tienen puntos en
comn, en principio, se tiene la existencia de un conjunto finito llamado alfabeto, el cual est constituido de smbolos
simples llamados comnmente letras. En los lenguajes naturales se tienen como ejemplos los alfabetos: latino, griego
y rabe-persa, entre otros. En los formales como la lgica se tiene el lxico del clculo proposicional y de predicados.
Mediante la concatenacin de las letras del alfabeto se forman los monemas, fonemas o palabras que se encuentran

en el interior de un enunciado, de tal forma que un lenguaje se considera como un conjunto infinito de oraciones o
enunciados que se forman con palabras del diccionario.
En los sistemas formales los enunciados del lenguaje consisten en una lista de smbolos, (lgicos o matemticos)
sujetos a diversas interpretaciones. En un lenguaje formal, las palabras y las oraciones estn perfectamente definidas,
una palabra mantiene el mismo significado prescindiendo del contexto o de su uso. Los lenguajes formales son, por
esto, necesariamente exentos de cualquier componente semntico fuera de sus operadores y relaciones, y es gracias
a esta ausencia de significado especial, que los lenguajes formales pueden ser usados para modelar una teora de la
ingeniera de sistemas, mecnica, elctrica, entre otras.
Simbolizacin: proposiciones
La lgica utiliza un lenguaje exacto que no da lugar a imprecisiones, para tal fin toma como elemento bsico de
anlisis a la proposicin, que no es otra cosa que una oracin del lenguaje cotidiano con un significado mucho ms
limitado, en tales condiciones, se puede considerar una proposicin como una excepcin lingstica que tiene la
propiedad de ser verdadera o falsa, y para simplificar la escritura de argumentos lgicos complicados; crea un
lenguaje simblico artificial, en donde establece un conjunto de reglas claras, bien definidas y que no presentan las
ambigedades ni vaguedades del lenguaje corriente. Es importante tener en cuenta que las proposiciones representan
oraciones declarativas, las cuales contienen un sujeto perfectamente definido o dado por el contexto, un predicado y
una conjugacin del verbo ser. Las proposiciones se representan simblicamente mediante el uso de letras minsculas
del alfabeto tales como p, q, r, s, ..., x, y, z, las cuales reciben el nombre de letras o variables proposicionales, de
esta forma, el lenguaje proposicional se hace ms simple y exacto que el lenguaje natural.
Proposiciones simples:
Se denominan proposiciones simples aquellas oraciones que no utilizan conectivos lgicos:
p: El eclipse es un fenmeno natural.
q: La luna es un satlite de la tierra.
r: 2 es el inverso multiplicativo de .2.
s: -3 es el inverso aditivo de 3.
El valor de verdad de una proposicin simple puede ser verdadero (V) o falso (F), pero no los dos valores al mismo
tiempo, pues dejara de ser proposicin.
Conectivos Lgicos: Los conectivos lgicos

son llamados;

conjuncin, disyuncin, negacin, condicional y

bicondicional, los cuales al igual que a las proposiciones se les asignan un lenguaje simblico, as:
NOMBRE

LENGUAJE

LENGUAJE

NATURAL

FORMAL

CONJUNCIN

DISYUNCIN

NEGACIN

NO

CONDICIONAL

ENTONCES

BICONDICIONAL

SI Y SOLO SI

De estos se hace uso para la creacin de proposiciones compuestas.

Proposiciones Compuestas : Las proposiciones compuestas son aquellas que se obtienen combinando dos o ms
proposiciones simples mediante trminos de enlace:
p: Est lloviendo.
q: El sol brilla.
p q: Est lloviendo y el sol brilla.
x : Quieres caf?.
y : Quieres t?.
x y : quieres caf o t?.
s : Llueve.
r : Hace fro.
s r : Si llueve entonces hace fro.
p: Un tringulo es equiltero.
q: Un tringulo tiene sus tres lados iguales.
p q: Un tringulo es equiltero si y slo si tiene sus tres lados iguales.
La veracidad o falsedad de una proposicin compuesta, depende del valor de verdad de cada una de las proposiciones
simples que la conforman y de la forma como estn combinadas; para establecer este valor, se fijan criterios que se
estudiarn en las prximas secciones de este captulo.
Construccin de tablas de verdad
Para determinar el valor de verdad de una proposicin compuesta es necesario elaborar la correspondiente tabla de
verdad, teniendo en cuenta que:
Teorema: si se tienen n proposiciones entonces se dan 2n valores de verdad.
Ejemplos:
Dada la proposicin p: hoy es

Dadas las proposiciones:

Dadas las proposiciones:

domingo, existen dos opciones,

P: hoy es domingo

P: hoy es domingo

que sea verdadero o que sea falso.

q: hoy hace frio

q: hoy hace frio

se dan las siguientes 4

r: hoy voy a cine

posibilidades

se dan las siguientes 8

posibilidades

21 = 2

valores de

verdad

22 = 4 valores de
verdad

23 = 8 valores
de verdad

OPERACIONES BSICAS ENTRE PROPOSICIONES:

Negacin: Es una operacin unaria en la cual, si se tiene una proposicin y esta es verdadera, se puede negar lo cual hace
que quede falsa y si la proposicin inicial es falsa al negarla se vuelve verdadera.
p
f
v

p
v
f
Ejemplo:
PROPOSICIN

VALOR

NEGACIN DE LA PROPOSICIN

VALOR

p: El eclipse es un fenmeno natural

p: el eclipse no es un fenmeno natural

q: La luna es un satlite de la tierra

q: la luna no es un satlite de la tierra

r: 2 es el inverso multiplicativo de -2

r: 2 no es el inverso multiplicativo de -2

s: -3 es el inverso aditivo de 1/3

s: -3 no es el inverso aditivo de 1/3

t: 2>3

t: 2<3

u: 3 + 5 = 8

u: 3 + 5 8

Conjuncin: Sean p y q dos proposiciones simples. La proposicin compuesta p q se denomina la conjuncin de p y q.

bajo esta operacin se considera que pq es verdadera si p es verdadera y q es verdadera:
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
F

La proposicin compuesta r s: 3 es nmero impar y primo positivo, est formada por:

p: 3 es un nmero impar.

:y

s : 3 es primo positivo.

Analizando esta proposicin compuesta tenemos:

p: 3 es un nmero impar.

(V)

q: 3 es primo positivo.

(V)

r s: Verdadera

(V)

p: 3 es un nmero impar.

(V)

q: 3 no es primo positivo.

(F)

r s: Falsa

(F)

p: 3 no es un nmero impar.

(F)

q: 3 es primo positivo.

(V)

r s: Falsa

(F)

p : 3 no es un nmero impar.

(F)

q: 3 no es primo positivo.

(F)

r s: Falsa

(F)

Disyuncin: Sean p y q dos proposiciones simples, la proposicin p o q simbolizada p q se llama disyuncin. El operador
: o se puede usar de dos formas: como o incluyente () como o excluyente (). En el primer caso (o incluyente) hace
que el valor de verdad de una de las dos proposiciones simples repercuta en el valor verdadero de la proposicin
disyuntiva; mientras que en la segunda forma (o excluyente) el valor de verdad de una proposicin excluye la veracidad de
la otra proposicin, esto hace que la proposicin disyuntiva tome el valor verdadero.
Uso del incluyente:
r s: Juan estudia ingeniera o Paola estudia medicina.

:o

r : Juan estudia ingeniera.

s: Paola estudia medicina.

Bajo esta operacin se considera que pq es falsa nicamente si p es falsa y q es falsa:

r
V
V
F
F

s
V
F
V
F

rs
V
V
V
F

La proposicin compuesta r s: Carlos come helado o va a cine, est formada por:

:o

r: Carlos come helado

s : Carlos va a cine

Analizando esta proposicin compuesta tenemos:

r: Carlos come helado

(V)

s: Carlos va a cine

(V)

r s: Verdadera

(V)

r: Carlos come helado

(V)

s: Carlos no va a cine

(F)

r s: Verdadera

(V)

r: Carlos no come helado

(F)

s: Carlos va a cine

(V)

r s: Verdadera

(V)

r: Carlos no come helado

(F)

s: Carlos no va a cine

(F)

r s: Falsa

(F)

Uso del excluyente:

p q: Quieres helado o gaseosa.
:o

p: Quieres helado.

q: Quieres gaseosa.

Bajo esta operacin se considera que pq es verdadera nicamente si p y q toman valores de verdad diferentes:
p
V
V
F
F

q
V
F
V
F

pq
F
V
V
F

La proposicin compuesta r s: quiere pizza o hamburguesa, est formada por:

:o

p: quiere pizza

q: quiere hamburguesa

Analizando esta proposicin compuesta tenemos:

p: quiere helado

(V)

q: quiere gaseosa

(V)

r s: Verdadera

(F)

p: quiere helado

(V)

q: quiere gaseosa

(F)

r s: Verdadera

(V)

p: quiere helado

(F)

q: quiere gaseosa

(V)

r s: Verdadera

(V)

p: quiere helado

(F)

q: quiere gaseosa

(F)

r s: Verdadera

(F)

Condicional: Se dice que una proposicin compuesta es condicional si est formada por dos proposiciones simples
enlazadas por la expresin si entonces, si p y q representan dos proposiciones la expresin si p entonces q se simboliza as:
p q se lee p implica q. La proposicin precedida por la expresin si, se llama antecedente o hiptesis y la proposicin
precedida por la expresin entonces, se llama consecuente o conclusin de la implicacin. En la expresin p q el
antecedente es p y el consecuente es q.

Las proposiciones condicionales se pueden enunciar de diferentes maneras as:

Si p entonces q,

p slo si q,

q si p,

p es suficiente para q,

q es necesaria para p.

Ejemplos:
Si un entero es mltiplo de 5 entonces es divisible por 5.
No me echan slo si trabajo.
El algoritmo est bien enunciado si el programa corre.
Si dos rectas nunca se cortan necesariamente son paralelas.
Cuando una proposicin condicional se escribe en una de las anteriores formas probablemente en el lenguaje comn habr
alguna que no se interprete como se desea, pero como la lgica no permite ambigedades stas se deben escribir segn la
definicin dada en la seccin.
Existen varias formas de enunciar proposiciones condicionales as:
Implicacin directa: p q
Implicacin contraria: q p
Implicacin recproca: ~ p ~ q
Implicacin contra-recproca: ~ q ~ p
Implicacin directa: p q
Bajo esta operacin se considera que p q es verdadera si p es verdadera y q es verdadera:
p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

Dadas las proposiciones p q: si un nmero entero es de la forma 2m entonces es divisible entre 2

P: un nmero entero es de la forma 2m.

: entonces es

q: un nmero es divisible por 2

Analizando esta proposicin compuesta tenemos:

p: si un nmero entero es de la forma 2m (V)

q: un nmero es divisible por 2

(V)

r s:

(V)

p: si un nmero entero es de la forma 2m (V)

q: un nmero es divisible por 2

(F)

r s:

(F)

p: si un nmero entero es de la forma 2m (F)

q: un nmero es divisible por 2

(V)

r s:

(V)

p: si un nmero entero es de la forma 2m (F)

q: un nmero es divisible por 2

(F)

r s:

(V)

La proposicin directa es: p q: si un nmero entero es de la forma 2m entonces es divisible entre 2,

La proposicin contraria es: q p: Si m es un nmero divisible entre 2 entonces el nmero es de la forma 2m,
La proposicin recproca es: ~ p ~ q: si un nmero entero no es de la forma 2m entonces no es divisible entre 2,
La proposicin contra-recproca es: ~ q ~ p : Si m es un nmero no es divisible entre 2 entonces el nmero no es de la
forma 2m.

La tabla correspondiente para los diferentes casos de la condicional es:

p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

qp
V
V
F
V

p q
V
V
F
V

q p
V
F
V
V

Bicondicional: Se denomina a la proposicin formada por dos proposiciones simples conectadas por la expresin s y slo s
(). El bicondicional est formado por las implicaciones p q y q p, las cuales deben tener el mismo valor de verdad
para formar una equivalencia entre p y q; en consecuencia, se dice que la proposicin p es equivalente a la proposicin q.
La proposicin bicondicional tiene varias formas de traduccin ms no de significacin, stas son: p s y slo si q, q s y slo

si p, Si p entonces q y recprocamente, Si q entonces q y recprocamente, p es una condicin necesaria y suficiente para q,

q es una condicin necesaria y suficiente para p.
Bajo esta operacin se considera que p q es verdadera si p es verdadera y q es verdadera:
p

V
V
F
F

V
F
V
F

p
q
V
F
F
V

Dadas las proposiciones p q: p: Un tringulo es rectngulo si y solo si tiene un ngulo recto.

p: Un tringulo es rectngulo.

: si y solo si

q: Un tringulo tiene un ngulo recto.

Analizando esta proposicin compuesta tenemos:

p: Un tringulo es rectngulo

(V)

q: Un tringulo tiene un ngulo recto

(V)

r s:

(V)

p: Un tringulo es rectngulo

(V)

q: Un tringulo tiene un ngulo recto

(F)

r s:

(F)

p: Un tringulo es rectngulo

(F)

q: Un tringulo tiene un ngulo recto

(V)

r s:

(F)

p: Un tringulo es rectngulo

(F)

q: Un tringulo tiene un ngulo recto

(F)

r s:

(V)

El bicondicional p q se puede traducir de las siguientes formas:

Un tringulo es rectngulo s y slo s tiene un ngulo recto.
Un tringulo tiene un ngulo recto s y slo s es un tringulo rectngulo
Si un tringulo es rectngulo entonces tiene un ngulo recto y si un tringulo tiene un ngulo recto entonces es un
tringulo rectngulo.
Una condicin necesaria y suficiente para que un tringulo sea rectngulo es que tenga un ngulo recto.
Una condicin necesaria y suficiente para que un tringulo tenga un ngulo recto es que sea un tringulo rectngulo.
Un tringulo rectngulo es equivalente a un tringulo con un ngulo recto.
TAUTOLOGA

Es una expresin lgica que es verdadera para todos los posibles valores de verdad de sus componentes. Se entiende por
tautologa aquella proposicin cuya tabla de verdad da siempre el valor de verdad V en todos los casos posibles de los
valores de verdad (V, F) de cada una de las proposiciones que la integran.

Equivalencia lgica (): Dos frmulas lgicas son equivalentes si tienen los mismos valores de verdad para todos los
posibles valores de verdad de sus componentes.
Ejemplo: Las dos frmulas siguientes son equivalentes: (p q) (p r)
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

q
F
F
V
V
F
F
V
V

p
F
F
F
F
V
V
V
V

p q
F
F
V
V
V
V
V
V

p r
V
F
V
F
V
V
V
V

(p q) (p r)
V
F
V
V
V
V
V
V

p q r
p q
F
F
V
V
V
V
V
V

p q r
V
F
V
V
V
V
V
V

Se puede observar que la ltima y la antepenltima columnas son iguales.

Las equivalencias se relacionan con las tautologas de la siguiente forma.
Teorema: Si dos frmulas lgicas son equivalentes entonces la frmula que se obtiene al operarlas con la bicondicional es
una tautologa. Si F G entonces F G
Las siguientes son tautologas.
p p
(p p)
((p q)p) q
((p q) q) p
((p q) p) q
((p q) (q r)) (p r)

Ley del medio excluido

Ley de no contradiccin
Modus ponendo ponens
Modus tollendo tollens
Silogismo Disyuntivo
Silogismo Hipottico

La comprobacin de cualquiera de las tautologas anteriores es directa, es suficiente hacer la tabla de verdad y se obtendr
la columna correspondiente a la frmula con valores verdaderos nicamente.
Las siguientes son equivalencias lgicas.
(p) p
(p q) p q
(p q) p q
(p q) ( p q)
((p q) ( q p)
(p q) p q

Doble Negacin
Ley 1 de De Morgan
Ley 2 de De Morgan
Condicional como clusula
Contra-positiva
Negacin de la Implicacin

CONTRADICCIN: una proposicin compuesta que es falsa en todos los casos independientemente de los valores de
verdad de las proposiciones que la conforman se llaman contradicciones.
p
V
V

q
V
F

q
F
V

pq
F
V

(p q) q
F
F

F
F

V
F

F
V

F
F

F
F

FALACIA: Es un razonamiento incorrecto que aparenta ser correcto. El que un razonamiento que sea falaz no implica que
su conclusin sea falsa. Lo que lo hace falaz es la incorreccin del razonamiento en s. Todo razonamiento falaz es invlido,
es decir que sus premisas no garantizan la verdad de su conclusin, pero en ocasiones pueden ser muy sutiles y
persuasivas, y puede hacer falta mucha atencin para detectarlas.
Para crear un razonamiento vlido se parte de una serie de premisas para, mediante mecanismos vlidos, llegar a
una conclusin. Un ejemplo de falacia es este:
Premisa 1: Los perros son bonitos.
Premisa 2: lukas es bonito.
Conclusin: lukas es un perro.
El siguiente ejemplo es el mismo que el anterior, pero al cambiarle un simple elemento deja de ser tan persuasivo.
Premisa 1: Los perros son bonitos.
Premisa 2: El Everest es bonito.
Conclusin: El Everest es un perro.
La conclusin puede llegar a ser verdadera de manera casual. En este caso podra coincidir que hubiese un perro al que
llamasen El Everest. El razonamiento seguira siendo una falacia, ya que esto no depende de la conclusin, sino del
razonamiento en s mismo.

Bibliografia
Ivorra, Carlos, (2011).Lgica y teora de conjuntos.
Lipschutz, Seymour (1991). Teora de conjuntos y temas afines. McGraw-Hill.
Cibergrafia

http://docencia.udea.edu.co/SistemasDiscretos/contenido/principal.html