LOGICA Y CONJUNTOS (UNA PRIMERA MIRADA)

CALCULO 2016)
I (OTONO

1. Algebra proposicional
Entenderemos por Proposicion Logica a una oracion o sentencia a la cual se le puede
determinar su veracidad o falsedad. Usualmente, las proposiciones son denotadas por letras
minusculas. Por ejemplo:
p: Estudiamos en el campus Juan Gomez Millas
q: Vivimos en Marte
son proposiciones simples que no contienen subproposiciones y podemos determinar su
falsedad o veracidad.
Nuestro objetivo es construir proposiciones mas complejas usando proposiciones sim-
ples. Para ello utilizaremos los siguientes conectivos logicos: i) negacion, ii) disyuncion,
iii) conjuncion, iv) implicacion y v) equivalencia. Estas seran definidas mediante las tablas
de verdad.
Sean p y q dos proposiciones simples. Como p y q pueden ser verdaderas o falsas,
tenemos cuatro escenarios posibles:
p q
F F
F V
V F
V V
1.1. Negacion. Dada una proposicion simple p, su negacion sera denotada por p y toma
el valor de verdad contrario a p. Su tabla de verdad es la siguiente:
p p
F V
V F
Por ejemplo: si p es Santiago es Chile entonces p es la proposicion Santiago no es
Chile.
1.2. Disyuncion. Dadas dos proposiciones logicas p y q, su disyuncion (tambien cono-
cida como el o logico) sera la proposicion compuesta denotada por p q, la cual es falsa
si y solo si p y q son falsas (en todos los otros casos, la proposicion p q es verdadera).
Su tabla de verdad es la siguiente:
p q pq
F F F
F V V
V F V
V V V
Por ejemplo si p es Santiago es la capital de Argentina y q es Estudiamos en el
campus Juan Gomez Millas, entonces p q es Santiago es la capital de Argentina o
Estudiamos en el campus Juan Gomez Millas.
1
2
CALCULO 2016)
I (OTONO

1.3. Conjuncion. Dadas dos proposiciones logicas p y q, su conjuncion (tambien cono-

cida como el y logico) sera la proposicion compuesta denotada por p q, la cual es
verdadera si tanto p como q son verdaderas (en todos los otros casos, la proposicion p q
es falsa). Su tabla de verdad es la siguiente:
p q pq
F F F
F V F
V F F
V V V
Por ejemplo, si p es Santiago es la capital de Argentina y q es Estudiamos en el
campus Juan Gomez Millas, entonces p q es Santiago es la capital de Argentina y
Estudiamos en el campus Juan Gomez Millas

1.4. Implicacion. Dadas dos proposiciones logicas p y q, su implicacion es la proposicion

compuesta denotada por p q (se lee p implica q), la cual se caracteriza por el hecho
de que una proposicion verdadera no puede implicar una falsa. Su tabla de verdad es la
siguiente:
p q pq
F F V
F V V
V F F
V V V
Esta tabla puede resultar dificil de entender. Aqu apelamos a la paciencia del lector,
pues esta tabla nos sera de mucha utilidad en lo sucesivo. En efecto:
La primera expresion (Falso implica falso es siempre verdadera) sera muy u til
para estudiar algunas propiedades del conjunto vaco.
La tercera expresion (Verdadero implica falso es siempre falsa) sera muy u til
en muchas demostraciones de este curso que seran realizadas por contradiccion o
reduccion al absurdo.

1.5. Equivalencia. Dadas dos proposiciones logicas p y q, su equivalencia es la proposicion

compuesta denotada por p q (se lee p si y solo si q), la cual se caracteriza por el
hecho de que es proposicion verdadera solo cuando p y q tienen el mismo valor de verdad.
Su tabla de verdad es la siguiente:
p q p q
F F V
F V F
V F F
V V V
Ejemplo: A modo de ejemplo, a partir de las proposiciones p y q construyamos las
tablas de verdad para la proposicion compuesta (p q) p.
Para ello escribamos
p q q p q p (p q) p
F F V V V V
F V F F V F
V F V V F F
V V F V F F
 3

2. Tautologas o Teorema logicos

Una tautologa es una proposicion compleja que siempre es verdadera (independiente
de los valores de verdad que tengan las proposiciones simples). En lo sucesivo, consid-
eraremos las proposiciones simples p,q y s. Ademas, consideraremos las siguentes tau-
tologas:
Asociatividad:
(2.1) p (q s) (p q) s

(2.2) p (q s) (p q) s
Para verificar que (2.1) es una tautologa, construyamos las tablas de verdad
p q s q s p q p (q s) (p q) s p (q s) p (q s)
F F F F F F F V
F F V V F V V V
F V F V V V V V
F V V V V V V V
V F F F V V V V
V F V V V V V V
V V F V V V V V
V V V V V V V V
y podemos ver que la proposicion (2.1) siempre es verdadera, independiente de los valores
de verdad de p,q y s.
Ahora, construimos la tabla de verdad correspondiente a (2.2)
p q s q s p q p (q s) (p q) s p (q s) p (q s)
F F F F F F F V
F F V F F F F V
F V F F F F F V
F V V V F F F V
V F F F F F F V
V F V F F F F V
V V F F V F F V
V V V V V V V V
Como en el caso anterior, podemos ver que la proposicion (2.2) siempre es verdadera,
independiente de los valores de verdad de p,q y s.
Las otras tautologas son:
Conmutatividad:
(2.3) p q q p, p q q p
Distributividad
(2.4) p (q s) (p q) (p s)

(2.5) p (q s) (p q) (p s)
Doble Negacion
(2.6) p p
Principio de contradiccion
(2.7) (p p)
V (Siempre verdadero)
4
CALCULO 2016)
I (OTONO

Principio del tercero excludo

(2.8) (p p)
V (Siempre verdadero)

Leyes de Morgan

(2.9) (p q) p q,
(p q) p q

Contrarecproca

(2.10) (p q) (q p)

El siguiente resultado sera muy util:

Teorema 1 (Equivalencia o doble implicacion). Sean p y q dos proposiciones, entonces

!
(p q) (p q) (q p)

Proof. Construiremos la tabla de verdad

p q pq qp p q (p q) (q p)
F F V V V V
F V V F F F
V F F V F F
V V V V V V

Podemos observar que las proposiciones complejas p q y (p q) (q p)

tienen tablas de verdad similares, la cual finaliza la demostracion. 

Los siguentes Teoremas seran muy utiles en el futuro y su demostracion se deja al

estudiante:

Teorema 2 (Reduccion de la implicacion). (p q) ( p q).

Teorema 3 (Equivalencia de los conectivos). (p q) (( p q)

(p q)).

2.1. El silogismo hipotetico. El silogism hipotetico es una tautologa fundamental en la

logica clasica:
 
(p q) (q r) (p r).

p q r pq qr pr (p q) (q r) ((p q) (q r)) (p r)
F F F V V V V V
F F V V V V V V
F V F V F V F V
F V V V V V V V
V F F F V F F V
V F V F V V F V
V V F V F F F V
V V V V V V V V
 5

3. Conjuntos
La Teora Intuitiva de Conjuntos supone que el concepto de Conjunto no esta definido
formalmente pero que dependiendo del contexto es intuitivamente claro y alude a una
coleccion de objetos. En efecto, Georg Cantor (18451918), a saber, el padre de la
Teora de conjuntos senalo que un conjunto M: ...es una coleccion dentro de un todo ,
de objetos (llamados elementos de M) definidos y bien diferenciados ya sea por nuestra
percepcion o entendimiento...1.
Por ejemplo,
La coleccion:

Uruguay, Italia, Alemania, Brasil, Inglaterra, Argentina, Francia, Espana
corresponde al conjunto de selecciones de Futbol campeonas del mundo.
La coleccion:
Elipse, Para bola, Hiperbola ,


es el conjunto de las secciones conicas (que seran estudiadas en el curso de Alge-

bra y geometra).
La coleccion {2, 4, 6, 8, 10, 12, 14, . . .} es el conjunto de los numeros pares.
La coleccion {1, 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, . . .} es el conjunto de los
numeros primos.
La coleccion:
T edraedro, Cubo, Octaedro, Icosaedro, Dodecaedro ,


es el conjunto de los solidos platonicos.

La coleccion todos los conjuntos tambien es un conjunto, lo llamaremos: el con-
junto de todos los conjuntos. Este conjunto presentara numerosas complejidades.

3.1. Notacion. En la mayora de los casos, utilizaremos letras mayusculas A,B,C, . . .

para denotar a los conjuntos y usaremos letras minusculas para denotar a los elementos
pertenecientes a esos conjuntos. Si a es un elemento que pertenece al conjunto A diremos
que es la proposicion:
a A.
Por otro lado, si a no pertenece al conjunto A, diremos que es la proposicion
a < A,
es decir, la proposicion a A coincide con a < A.
El smbolo = se utilizara para significar identidad logica. Es decir:
Si a = b, significa que a y b son el mismo elemento de un conjunto.
Si a , b, significa que a y b no son el mismo elemento de un conjunto.
Si consideramos los conjuntos:
{w, x, u, z} y {z, u, x, w},
es natural preguntarse si son el mismo conjunto o son dos conjuntos diferentes. Para re-
sponder adecuadamente esta pregunta necesitamos introducir algunas definiciones.

1La letra M proviene de Menge (conjunto en aleman).

6
CALCULO 2016)
I (OTONO

3.2. Igualdad de conjuntos. Diremos que dos conjuntos A y B son iguales si tanto A
como B contienen exactamente los mismos elementos. De un modo mas formal, diremos
que:
(3.1) (A = B) es la proposicion: (x A x B).
Tambien sera valido decir:
(3.2) (A = B) (x A x B).
Notemos que tenemos una Definicion coloquial o informal (descrita con palabras)
y una definicion formal descrita por (3.1). El(la) estudiante debe saber utilizar ambas
con habilidad, pues alguna de ellas puede resultar mas u til que la otra (dependiendo del
contexto).
Ahora, con esta Definicion podemos verificar que los conjuntos
A = {a, b, c, d} y B = {b, a, d, c},
son iguales, pues contienen los mismos elementos.

3.3. Desigualdad de conjuntos. Diremos que A es distinto de B y denotaremos A , B.

Es decir A , es la negacion de la proposicion A = B:
(3.3) (A = B) = (A , B)
De un modo mas formal, diremos que:
A , B Es la proposicion: Existe algun elemento x tal que
(3.4)
(x A x < B) (x < A x B).

3.4. Subconjuntos.
Definicion 1. Diremos que A es un subconjunto de B si cada elemento de A tambien es
un elemento de B y expresaremos este hecho diciendo que A B. Esto se puede redactar
de la siguiente forma:
(3.5) A B es la proposicion (x A x B).
Tambien sera valido decir que:
(3.6) AB (x A x B).
Al igual que antes, tenemos una Definicion coloquial (descrita con palabras) y una
definicion formal descrita por (3.5) o (3.6). El(la) estudiante debe saber utilizar ambas con
habilidad pues alguna puede ser mas u til que la otra (dependiendo del contexto).
Si A B se puede decir que A esta contenido en el conjunto B o bien que B contiene al
conjunto A.
Por ejemplo, si E = {a, b, c}, entonces podemos ver que
{a}, {b}, {c}, {a, b}, {b, c}
son algunos subconjuntos de E. Son todos los subconjuntos posibles?.
Una consecuencia de la Definicion 1 viene dada por los siguientes resultados:
Teorema 4. Para todo conjunto E, se tiene:
a) E E.
b) F E y E G implican F G.
 7

Proof. Primero demostremos la propiedad a): Definamos la siguiente Proposicion:

p : x E
y notemos que la proposicion p p es una tautologa. Por lo tanto, usando (3.5) podemos
concluir que E E.
Ahora demostremos la propiedad b): Notemos que demostrar F G es equivalente a
demostrar la siguiente proposicion:
x F x G.
Definamos las proposiciones:
p : x F, q : x E y r : x G.
Por la hipotesis F E y (3.6), sabemos que p q.
Por la hipotesis E G y (3.6), sabemos que q r.
Resumiendo, sabemos que (p q) (q r). Entonces, usando el silogismo hipotetico
sabemos que p r, lo cual equivale a la proposicion
x F x G,
que tenamos que demostrar. 
Teorema 5. Diremos que
(3.7) (A = B) (A B) (B A).
Proof. Notemos que:
(A = B) (x A x B) (Usamos (3.2))
(x A x B) (x B x A) (Usamos Teorema 1)
(A B) (B A) Usamos Definicion dada por la identidad (3.5)

Es importante enfatizar que este Teorema indica un metodo muy u til para demostrar que
dos conjuntos A y B son iguales: demostrar que A B y que B A.
Definicion 2. Se dice que A es un subconjunto propio de B si
AB y A , B,
en muchos textos, se usa la notacion A B.

4. Union de Conjuntos
Dados dos conjuntos A y B se puede definir un nuevo conjunto cuyos elementos son los
elementos de A junto con los elementos de B. Este conjunto se llama la union de A y B y
se denota por A B. Formalmente, se define:
n o
(4.1) A B = x: x A x B .
Tambien sera valido usar la siguiente Proposicion:
(4.2) x A B ((x A) (x B)).
El lector debe demostrar que
A AB y B AB
Teorema 6. Sean E,F y G tres conjuntos. Entonces
a) (Conmutatividad de la union): E F = F G.
b) (Asociatividad de la union): (E F) G = E (F G).
8
CALCULO 2016)
I (OTONO

5. Interseccion de Conjuntos
Dados dos conjuntos A y B se puede definir otro nuevo conjunto cuyos elementos son
los elementos de A junto con los elementos de B. Este conjunto se llama la interseccion de
A y B y se denota por A B. Formalmente, se define:
n o
(5.1) A B = x: x A x B .
Tambien sera valido usar la siguiente Proposicion:
(5.2) x A B ((x A) (x B)).
Observacion 1. El lector debe demostrar que
(5.3) AB A y AB B
Teorema 7. Sean E,F y G tres conjuntos. Entonces
a) (Conmutatividad de la interseccion): E F = F G.
b) (Asociatividad de la interseccion): (E F) G = E (F G).
c) (Distributividad con respecto a la Union): E (F G) = (E F) (E G).
Proof. a) En primer lugar demostraremos la conmutatividad:
Usando la identidad (3.2) sabemos que demostrar E F = F G es equivalente a
demostrar que
x E F x F G,
lo cual haremos a continuacion:
Sean
p : x E y q : x F
y notemos que
xEF (x E) (x F) Usamos (5.2)

pq

q p (usamos que p q q p es una Tautologa)

(x F) (x E)

xFE Usamos (5.2)

y de esta forma, tenemos una cadena de silogismos que implican
x E F x F G,
que es lo que tenamos que demostrar.
b) En segundo lugar, demostraremos la asociatividad de la interseccion:
Usando la identidad (3.2) sabemos que demostrar (E F) G = E (F G) es
equivalente a demostrar que
x (E F) G x E (F G),
lo cual haremos a continuacion:
Sean
p : x E, q : x F y r : x G
 9

y notemos que:
x (E F) G x (E F) x G usamos (5.2)


xExF xG usamos (5.2)

(p q) r

p (q r) Usamos la tautologia (2.2)

xE xFxG

x E x F G usamos (5.2)

x E (F G) usamos (5.2)

obteniendo una cadena de silogismos que implican

x (E F) G x E (F G).
Finalmente, demostraremos c): Notemos que la igualdad E (F G) = (E F)(E G)
es equivalente a demostrar
x E (F G) x (E F) (E G),
lo cual demostraremos a continuacion:
Sean
p : x E, q : x F y r : x G
y notemos que:
x E (F G) x E x (F G) Usamos (5.2)

 !
xE xFxG Usamis 4.2

p (q r)

(p q) (p r) Usamos la Tautologa (2.4)

(x E x F) (x E x G)

x E F x E G Usamos (5.2)
y esta cadena de silogismos es equivalente a lo que queramos demostrar:
x E (F G) x (E F) (E G).


6. El conjunto vaco
Una lectura detallada de la definicion de interseccion A B debiese advertirnos de la
siguiente posibilidad: Los conjuntos A y B no tienen elementos en comun. Por lo tanto, en
este posible caso, el conjunto A B no tendra ningun elemento y sera subconjunto de A.
Esto motiva la siguiente definicion:
10
CALCULO 2016)
I (OTONO

Definicion 3. Sea X un conjunto arbitrario, se llama Subconjunto vaco de X al conjunto

n o
X = x : x X y x , x
Para entender esta definicion, recordemos que a = b significan que a y b son el mismo
elemento de un conjunto. En ese contento, la proposicion x , x equivale a decir que x no
es igual a x. Por lo tanto, el conjunto vaco de X se define como el conjunto de elementos
de X que no son iguales si mismos.
Teorema 8. Si X e Y son dos conjuntos. Entonces, se tiene X = Y .
Proof. Notemos que:
- La afirmacion x X es falsa, porque X no tiene elementos.
- La afirmacion x Y es falsa, porque Y no tiene elementos.
Por otro lado, notemos que la afirmacion:
x X x Y
es verdadera (usando tablas de verdad y el hecho de que ambas proposiciones son falsas)
y equivale a decir (Usando la Definicion 1) que X Y .
De igual forma, notemos que la afirmacion:
x Y x X
es verdadera (usando tablas de verdad y el hecho de que ambas proposiciones son falsas)
y equivale a decir (Usando la Definicion 1) que Y X .
Es decir, sabemos que X Y y Y X . Por lo tanto, usando el Teorema 5, tenemos
que Y = X . 

Una consecuencia importante de este resultado es la siguiente: Existe un unico con-
junto vaco, el cual es subconjunto de cualquier conjunto X. Se lo designa simple-
mente con el smbolo 2 sin referirlo a ningun
conjunto en particular.
Definicion 4. Se dice que los conjuntos A y B son conjuntos disjuntos si su intereseccion
no tiene elementos en comun. Es decir si A B = .

7. El conjunto de partes
Definicion 5. Dado un conjunto E, se llama Conjunto de Partes de E al conjunto cuyos
elementos son todos los subconjuntos de E, el cual se denota por P(E).
Por ejemplo, si E = {a, b, c}, entonces:
P(E) = , {a}, {b}, {c}, {a, b}, {b, c}, {a, b, c} .


Usando nociones de combinatoria y el Binomio de Newton se puede demostrar que si

un conjunto E tiene n elementos, entonces el conjunto P(E) tiene 2n elementos.
Este apunte esta lejos de la originalidad y se basa en los siguientes textos:
1.- J. Breuer. Initiation a la Theorie des Ensembles. Dunod, Paris, 1969, (Captulos I
y II)
2.- Eric Goles. Algebra. Ediciones Dolmen, Santiago, 1993. (Captulo I).
3.- E.J Lemmon. Beginnig Logic. Nelson & Sons, London 1965. (Captulo II).
4.- Seymour Lipschutz. Set Theory and Related Topics. Schaum Publishing, New
York, 1964. (Captulos I y II).
2El simbolo fue introducido en 1939 por el matematico frances Andre Weil, tomando la letra del alfabeto
noruego
 11

5.- Lia Oubina. Introduccion a la Teora de Conjuntos. Editorial Universitaria de

Buenos Aires. Buenos Aires, 1971 (Captulos I y II).
E-mail address: grobledo@u.uchile.cl