Fundamentos de la Matem atica

Apuntes de clase
Preparado por JC Trujillo O.
Agosto 2011 - Enero 2012

Indice general
1 L ogica: reglas de inferencia 5
1 Proposici on asociada. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2 Razonamiento v alido. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
3 El m etodo de reducci on al absurdo. . . . . . . . . . . . . . . . . . . . . . . . . 6
3.1 No a las contradicciones. . . . . . . . . . . . . . . . . . . . . . . . . . . 6
3.2 El m etodo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3.3 Ejemplo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3.4 Ejemplo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
4 Reglas de inferencia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
5 Principio de sustituci on por equivalentes. . . . . . . . . . . . . . . . . . . . . 9
6 Predicados. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
7 Cuanticadores. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
8 Propiedades b asicas de los cuanticadores. . . . . . . . . . . . . . . . . . . . 11
9 Reglas de inferencia para predicados. . . . . . . . . . . . . . . . . . . . . . . . 11
2 Teora de conjuntos 12
1 Nociones no denidas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2 Conjunto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3 Igualdad de clases. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
4 Axioma de extensi on. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
5 Axioma de construcci on de clases. . . . . . . . . . . . . . . . . . . . . . . . . . 18
5.1 La clase universal. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
5.2 La clase vaca. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
5.3 La clase uni on. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
5.4 La clase intersecci on. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
5.5 La clase diferencia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
5.6 La clase complemento. . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
5.7 Ejercicio. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
6

Algebra de clases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
7 Clase unitaria. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
8 Par desordenado. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
9 Axioma del par desordenado . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
10 Par ordenado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
10.1 Un par ordenado es un conjunto. . . . . . . . . . . . . . . . . . . . . . 29
2
10.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
11 Producto cartesiano. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
12 Axioma de los subconjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
13 Dos clases propias: la de Russell y la universal. . . . . . . . . . . . . . . . . . 31
14 Grafos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
14.1 Dominio de un grafo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
14.2 Imagen de un grafo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
14.3 Grafo inverso. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
14.4 La composici on de dos grafos. . . . . . . . . . . . . . . . . . . . . . . . 33
14.5 Ejercicio. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
15 El axioma de las uniones (versi on temporal). . . . . . . . . . . . . . . . . . . . 37
16 El conjunto de partes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
16.1 El axioma del conjunto vaco (temporal). . . . . . . . . . . . . . . . . . 37
16.2 El axioma de los conjuntos de partes. . . . . . . . . . . . . . . . . . . . 38
17 El producto cartesiano de conjuntos es un conjunto. . . . . . . . . . . . . . . 38
3
Captulo 1
L ogica: reglas de inferencia
1 Proposici on asociada. La proposici on asociada a un razonamiento es la implicaci on
cuyo antecedente es la conjunci on de las premisas y el consecuente es la conclusi on del
razonamiento. De manera m as precisa, si el razonamiento es
P
1
P
2
.
.
.
P
n
Q,
la proposici on asociada al razonamiento es
(P
1
P
2
P
n
) Q.
2 Razonamiento v alido. El razonamiento
P
1
P
2
.
.
.
P
n
Q
es v alido si y solo si la proposici on asociada a este es siempre verdadera; es decir, si la
proposici on
(P
1
P
2
P
n
) Q
es una tautologa .
2.1 El razonamiento o la regla de inferencia
P Q
P
Q
(1.1)
5
es v alido. En efecto, debemos demostrar que la proposici on asociada al razonamiento (1.1)
es siempre verdadera; es decir, debemos probar que la proposici on
[(P Q) P] Q (1.2)
es una tautologa. Para ello, realicemos la tabla de verdad de esta proposici on:
P Q P Q (P Q) P [(P Q) P] Q
v v v v v
v f f f v
f v v f v
f f v f v
Como se puede observar, la proposici on (1.2) es una tautologa, de donde se concluye que
el razonamiento (1.1) es v alido.
2.2 El razonamiento
P Q
Q
P
no es v alido, pues la proposici on asociada a este,
[(P Q) Q] P,
no es una tautologa como se puede apreciar en la siguiente tabla de verdad:
P Q P Q (P Q) Q [(P Q) Q] P
v v v v v
v f f f v
f v v v f
f f v f v
3 El m etodo de reducci on al absurdo.
3.1 No a las contradicciones. Si hay algo que no cabe en una teora matem atica es la
deducci on de una contradicci on; es decir, la deducci on de la conjunci on de una proposici on
y su negaci on. Si ello llegara a ocurrir, se buscaran aquellos axiomas de los cuales se ha
deducido la contradicci on, y se los eliminara de modo denitivo de la teora. Por qu e este
miedo y rechazo a las contradicciones?
Para contestar a la pregunta, demostremos, en primer lugar, que el siguiente razona-
miento es v alido:
P P
Q
(1.3)
Para ello, debemos probar que la implicaci on
(P P) Q (1.4)
es una tautologa; es decir, debemos demostrar que su valor de verdadsiempre es verdadero
para todos los valores de verdad de P y de Q, respectivamente.
6
Independientemente del valor que pueda tomar P, la conjunci on P P siempre to-
ma el valor de verdad falso; por lo tanto, el antecedente de la implicaci on (1.4) siempre
es falso, de donde, por la denici on de implicaci on, el valor de verdad de esta es siem-
pre verdadero, independientemente del valor de verdad que tome la proposici on Q. En
resumen, hemos demostrado que el razonamiento (1.3) es v alido.
Ahora cabe preguntarnos por el signicado del razonamiento (1.3). En este se ar-
ma que, si admiti eramos una contradicci on, entonces deberamos aceptar como verdadera
cualquier proposici on Q, sea verdadera o sea falsa; es decir, deberamos aceptar como ver-
dadera todas las proposiciones. En otras palabras, todo valdra! Y esto signica que nada
valdra! He aqu la raz on para no aceptar las contradicciones.
3.2 El m etodo. De la no aceptaci on de las contradicciones nos hemos provisto de un
m etodo para demostrar que una proposici on es verdadera; es decir, que tal proposici on
puede ser deducida de otras proposiciones.
En efecto, supongamos que queremos demostrar que una proposici on P es verdadera.
Para ello, supongamos, por un momento, que no lo es. Esto signica que la proposici on
P debe ser falsa; es decir, que la proposici on P debe ser verdadera. Si a partir de esta
proposici on y, quiz as de otras proposiciones verdaderas, deducimos una contradicci on,
entonces debemos rechazar esa contradicci on, y ello implica rechazar aquella proposici on
de donde se dedujo la contradicci on. Esa proposici on es, precisamente, P. Rechazar esta
proposici on signica aceptar que es falsa; es decir, debemos aceptar que la proposici on P
es verdadera.
Podemos resumir en los siguientes pasos el m etodo de reducci on al absurdo:
1. Queremos demostrar que la proposici on P es verdadera.
2. Suponemos que P no es verdadera; es decir, suponemos que P es falsa.
3. Del paso anterior, concluimos que P es verdadera.
4. De la proposici on P y, quiz as, de otras proposiciones verdaderas, deducimos una
contradicci on; es decir, una proposici on de la forma Q Q.
5. La deducci on de la contradicci on signica que la proposici on P es falsa; por lo tanto,
la proposici on P es verdadera.
3.3 Ejemplo. Demostremos por reducci on al absurdo que el razonamiento
P Q
Q
(1.5)
es v alido.
Demostraci on. Debemos demostrar que la implicaci on que tiene como antecedente la premi-
sa del razonamiento y como consecuente la conclusi on es una tautologa ; es decir, debemos
demostrar que la proposici on
(P Q) Q (1.6)
es siempre verdadera.
Supongamos lo contrario; es decir, supongamos que la implicaci on (1.6) no es una tau-
tologa. Esto signica que, existen valores de verdad para P y para Q, respectivamente,
para los cuales la implicaci on (1.6) no es verdadera.
7
Para esos valores de verdad de P y de Q, por la denici on de implicaci on, el antece-
dente de (1.6) debe ser verdadero y el consecuente, falso; es decir, el valor de verdad de la
conjunci on P Q es verdadero y el de Q es falso.
Ahora bien, si la conjunci on P Q es verdadera, por la denici on de conjunci on, el
valor de verdad, tanto de P como de Q, debe ser verdadero; es decir, el valor de verdad de
Q debe ser verdadero.
Sin embargo, hemos demostrado antes que el valor de verdad de Q es falso. Esto sig-
nica que el valor de verdad de Q no es verdadero.
En resumen, hemos deducido que de que la implicaci on (1.6) no es una tautologa, que el
valor de verdad de Q es verdadero y no lo es; es decir, hemos deducido una contradicci on.
Por lo tanto, no aceptamos que la implicaci on (1.6) no sea una tautologa; es, entonces, una
tautologa.
3.4 Ejemplo. Mediante el uso de una tabla de verdad, se prob o que la proposici on (1.2) de
la p agina 6 es una tautologa . Probemos lo mismo, pero utilicemos el m etodo de reducci on
al absurdo esta vez.
Antes de empezar, introduzcamos la notaci on siguiente: si P es una proposici on, el
smbolo v(P) representar a el valor de verdad de P.
Demostraci on. Supongamos que la implicaci on [(P Q) P] Q no es una tautologa.
Existiran, entonces, valores de verdad para P y Q para los cuales esta implicaci on no sera
verdadera. Y, puesto que una implicaci on es falsa unicamente cuando el antecedente es
verdadero y el consecuente es falso, colegiramos que
v([P Q] P) = v y v(Q) = f.
Por otro lado, de la denici on de conjunci on que es verdadera unicamente cuando las
dos proposiciones son verdaderas aseguraramos que
v(P Q) = v y v(P) = v.
Nuevamente, de la denici on de implicaci on, como el valor de verdad de P sera verdadero
y el de Q, falso, el valor de verdad de la implicaci on P Q sera falso.
En resumen, hemos deducido que
v(P Q) = v y v(P Q) = f,
lo que es una contradicci on, por lo cual aceptamos que la implicaci on [(P Q) P] Q
s es una tautologa.
4 Reglas de inferencia. A continuaci on se presenta una tabla de las reglas de inferen-
cia m as utilizadas. Se utilizan las siguientes abreviaciones: S para silogismo, R para
reducci on, D para negaci on, I para introducci on y E para eliminaci on.
8
IDENTIDAD [ID] DEDUCCI

ON [D] MODUS PONENS [MP] MODUS TOLLENS [MT]
P
P
P
.
.
.
Q
P Q
P Q
P
Q
P Q
Q
P
S. HIPOT ETICO [SH] R. AL ABSURDO [RA] D. NEGACI

ON [DN] CONTRAPOSICI

ON [C]
P Q
Q R
P R
P
.
.
.
Q Q
P
P
P
P Q
Q P
I. CONJUNCI

ON [IC] E. CONJUNCI

ON [EC] E. CONJUNCI

ON [EC] I. DISYUNCI

ON [ID]
P
Q
P Q
P Q
Q
P Q
P
P
P Q
I. DISYUNCI

ON [ID] S. DISYUNTIVO [SD] S. DISYUNTIVO [SD] DILEMA [D]
P
Q P
P Q
P
Q
P Q
Q
P
P Q
P R
Q R
R
La siguiente tabla contiene equivalencias l ogicas que pueden ser expresadas como un
para de reglas de inferencia; as, el esquema
P
Q
(1.7)
abrevia las siguientes reglas de inferencia:
P
Q
y
Q
P
En otras palabras, el esquema (1.7) indica que Q se deduce de P y que P se deduce de Q.
DE. IMPLICACI

ON [DI] DE MORGAN [NC] DE MORGAN [ND] D. NEGACI

ON [DN]
P Q
P Q
(P Q)
P Q
(P Q)
P Q
P
P
CONTRAPOSICI

ON [C] CONMUTATIVA C. [CC] CONMUTATIVA D. [CD]

P Q
Q Q
P Q
Q P
P Q
Q P
Para esta tabla, las abreviaciones son: DE para denici on, D para doble; NC
y ND en las leyes de De Morgan abrevian negaci on de la conjunci on y negaci on de
la disyunci on, respectivamente; en la conmutativas, C para conjunci on y D para
disyunci on.
5 Principio de sustituci on por equivalentes. La mayor importancia de una equivalencia
consiste en que en cualquier f ormula en la que aparezca una proposici on, esta puede ser
9
sustituida por otra proposici on equivalente, la f ormula obtenida tras la sustituci on tendr a el
mismo valor de verdad que la f ormula original. De manera m as precisa, el siguiente enun-
ciado es conocido como el Principio de sustituci on por equivalentes:
Sea (P
1
, P
2
, . . . , P
n
) una proposici on que contiene a las proposiciones P
1
, P
2
, . . . , P
n
.
Si Q
1
, Q
2
, . . . , Q
n
son proposiciones tales que P
1
Q
1
, P
2
Q
2
, . . . , P
n
Q
n
,
entonces
(Q
1
, Q
2
, . . . , Q
n
) (P
1
, P
2
, . . . , P
n
)
donde (Q
1
, Q
2
, . . . , Q
n
) es la proposici on obtenida a partir de (P
1
, P
2
, . . . , P
n
) al
sustituir cada P
j
por Q
j
, respectivamente.
Por ejemplo, por la aplicaci on de este principio, podemos armar que
(P Q) (P Q) (P Q) (P Q).
En efecto, basta aplicar el principio con P
1
: P; P
2
: P Q y
(P
1
, P
2
) : (P
1
Q) P
2
.
Adem as, Q
1
: P y Q
2
: (P Q). Entonces
P
1
Q
1
, P
2
Q
2
y (Q
1
, Q
2
) : (Q
1
Q) Q
2
;
por lo tanto:
(P
1
, P
2
) (Q
1
, Q
2
).
6 Predicados. Un enunciado P que depende de una variable x suele llamarse predicado de
una variable. Para indicar la dependencia con la variable, se usa la notaci on P(x).
Si un enunciado P depende de dos variables x, y suele llamarse predicado de dos variables.
Para indicar la dependencia con las dos variables, se utiliza la notaci on P(x, y).
7 Cuanticadores. La proposici on
P(x) es verdadera para todo x
se representa por
(x)P(x).
Al smbolo se lo conoce con el nombre de cuanticador universal.
La proposici on
P(x) es verdadera para alg un x
se representa por
(x)P(x).
Al smbolo se lo conoce con el nombre de cuanticador existencial.
Si el predicado P(x) no depende de la variable y, entonces se tienen las siguientes equi-
valencias l ogicas:
(x)P(x) (y)P(y) y (x)P(x) (y)P(y). (1.8)
10
8 Propiedades b asicas de los cuanticadores.
1. Si fuera falso que el enunciado P(x) sea verdadero para todo x, entonces existir a alg un
x (al menos uno) para el cual la proposici on P(x) sea falsa, y recprocamente.
2. Tambi en ocurre que si fuera falso que P(x) sea verdadero para alg un x, entonces P(x)
ser a falso para todo x, y recprocamente.
Estas dos principios se expresan como equivalencias l ogicas en el siguiente teorema.
TEOREMA 1.1 (Negaci on). Sea P un predicado de una variable. Se tiene las siguientes equi-
valencias l ogicas:
1. (x)P(x) (x)(P)(x). 2. (x)P(x) (x)(P)(x).
Los cuanticadores tambi en satisfacen la siguiente propiedad de intercambio.
TEOREMA 1.2 (Intercambio). Si P es un predicado de dos variables, se tiene las siguientes
equivalencias l ogicas:
1. (x)(y)P(x, y) (y)(x)P(x, y). 2. (x)(y)P(x, y) (y)(x)P(x, y).
TEOREMA 1.3. Sean P(x) un predicado de una variable y Q un predicado que no depende
de la variable x. Entonces se tiene las siguientes equivalencias l ogicas:
1. (x)[Q P(x)] Q (x)[P(x)]. 2. (x)[Q P(x)] Q (x)[P(x)].
9 Reglas de inferencia para predicados. Se utiliza I para Introducci on, E para
Eliminaci on, P para Particularizaci on, G para Generalizaci on, EU para Eli-
minaci on del cuanticador universal, IU para Introducci on del cuanticador univer-
sal, EE para Eliminaci on del cuanticador existencial y IE para Introducci on del
cuanticador existencial.
P. UNIVERSAL [EU] G. UNIVERSAL [IU] P. EXISTENCIAL [EE] G. EXISTENCIAL [IE]
(x)P(x)
P(a)
P(a)
(x)P(x)
(x)P(x)
P(a)
P(a)
(x)P(x)
Es necesario aclarar el papel de a en cada una de las reglas.
1. Particularizaci on universal, tambi en llamada eliminaci on del cuanticador universal.
Esta regla arma que de la proposici on (x)P(x), se deduce la proposici on P(a), cual-
quiera que sea a.
2. Generalizaci onuniversal, tambi en llamada introducci on del cuanticador universal. Es-
ta regla arma que de la proposici on P(a) es verdadera para cualquier a, se deduce
la proposici on (x)P(x).
3. Particularizaci on existencial, tambi en denominada eliminaci on del cuanticador exis-
tencial. Esta regla arma que de la proposici on (x)P(x), se deduce hay alg un a para
el cual la proposici on P(a) es verdadera.
4. Generalizaci on existencial, tambi en denominada introducci on del cuanticador exis-
tencial. Esta regla arma que si la proposici on P(a) es verdadera para alg un a, la
proposici on (x)P(x) es verdadera.
11
Captulo 2
Teora de conjuntos
1 Nociones no denidas. Hay dos: clase y pertenencia.
1.1 Todos los objetos que estudia la teora de conjuntos son clases. Utilizaremos las letras
may usculas del alfabeto espa nol para representar una clase: A, B, C, etc etra.
1.2 La pertenencia es una relaci on entre dos clases representada por el smbolo . Si A y B
representan clases, se escribir a A B para indicar la proposici on
la clase A pertenece a la clase B;
en otras palabras, la expresi on A B representa una proposici on.
La negaci on de la proposici on A B se escribir a A B y leer a la clase A no pertenece
a la clase B. Entonces, se verica que
A B (A B).
La proposici on A B tambi en ser a leda como la clase A est a en la clase B o la clase
A es elemento de la clase B.
2 Conjunto
DEFINICI

ON 2.1 (Conjunto). Una clase A es un conjunto si hay una clase B de la cual A es

elemento; es decir, si A B.
De la denici on se desprende que todo conjunto es una clase. Sin embargo, como se
probar a m as adelante, hay clases que no son conjuntos. A esas clases se las denomina clases
propias. Dicho de otro modo, una clase A es una clase propia si A B para toda clase B.
Se utilizar an letras min usculas del alfabeto espa nol a, b, c, etc etera para representar
conjuntos unicamente; las letras may usculas podr an representar tanto clases propias como
conjuntos.
3 Igualdad de clases. Es una relaci on entre dos clases.
DEFINICI

ON 2.2 (Igualdad). Sean A y B dos clases. Se escribe A = B para abreviar la

proposici on:
x A x B.
La proposici on A = B se lee: la clase A es igual a la clase B.
12
De la denici on de doble implicaci on, se tiene que
A = B (x A x B) (x B x A). (2.1)
Se escribe A = B para abreviar (A = B).
TEOREMA 2.1 (Reexiva de la igualdad). Para toda clase A, la proposici on
A = A
es verdadera.
Demostraci on. Sea A una clase. Debemos demostrar que A = A es una proposici on verdadera; es
decir, debemos demostrar que la proposici on
(x A x A) (2.2)
es verdadera; y para ello, de la denici on de doble implicaci on, debemos demostrar que las propo-
siciones x A y x A tienen el mismo valor de verdad, lo cual es cierto, pues son una misma
proposici on. Por lo tanto, la proposici on (2.2) es verdadera, que es lo que se quera demostrar.
TEOREMA 2.2 (Sim etrica de la igualdad). Para toda clase A y toda clase B, si la proposi-
ci on A = B es verdadera, entonces tambi en es verdadera la proposici on B = A. En otras
palabras, la proposici on
A = B B = A
es verdadera.
Demostraci on. Sean A y B clases. Supongamos que la proposici on A = B es verdadera; debemos
demostrar que la proposici on B = A es verdadera. Para ello, debemos probar que la proposici on
(x B x A) (2.3)
es verdadera; es decir, debemos demostrar que las proposiciones x B y x A tienen el mismo valor
de verdad.
De la hip otesis, sabemos que A = B es verdadera; entonces, es verdadera la proposici on
(x A x B), (2.4)
de donde, junto con (2.4) y la denici on de doble implicaci on, las proposiciones x A y x B tienen
el mismo valor de verdad; es decir, las proposiciones x B y x A tienen el mismo valor de verdad,
como se quera demostrar.
Para la demostraci on del siguiente teorema, utilizaremos la siguiente regla de inferen-
cia, denominada Transitiva de la doble implicaci on:
P Q
Q R
P R.
La demostraci on de la validez de esta regla es sencilla, por lo que se la deja de ejercicio.
13
TEOREMA 2.3 (Transitiva de la igualdad). Para toda clase A, toda clase B y toda clase C,
si son verdaderas las proposiciones A = B y B = C, entonces tambi en es verdadera la
proposici on A = C. En otras palabras, la proposici on
(A = B B = C) A = C
es verdadera.
Demostraci on. Sean A, B y C clases. Supongamos que la proposici on
A = B B = C (2.5)
es verdadera. Debemos demostrar que A = C es una proposici onverdadera; es decir, debemos probar
que la proposici on
x A x C. (2.6)
Por la aplicaci on de la eliminaci on de la conjunci on a (2.5), tenemos que la proposici on A = B es
verdadera; es decir, que la proposici on
x A x B (2.7)
es verdadera. Ypor la aplicaci on de la eliminaci on de la conjunci on una vez m as a la proposici on(2.5),
obtenemos que la proposici on B = C es verdadera; es decir, que la proposici on
x B x C (2.8)
tambi en es verdadera. Por lo tanto, por la regla de inferencia Transitiva de la doble implicaci on aplicada
a (2.7) y a (2.8), podemos concluir que la proposici on (2.6) es verdadera, como se quera demostrar.
TEOREMA 2.4 (Caracterizaci on de la igualdad). Para todo clase A y toda clase B, las pro-
posiciones
(A = B x A) x B y (A = B x B) x A
son verdaderas.
Demostraci on. Demostraremos unicamente la primera proposici on; la segunda se demuestra de ma-
nera similar.
Sean A y B clases. Supongamos que la proposici on
A = B x A (2.9)
es verdadera. Debemos demostrar que la proposici on
x B
tambi en es verdadera.
Por la aplicaci on de la eliminaci on de la conjunci on dos veces a (2.9), sabemos que ambas propo-
siciones
A = B y x A
son verdaderas; luego, por la denici on de igualdad de clases y el principio de sustituci on por equi-
valentes, las dos proposiciones
x A x B y x A
son verdaderas. Entonces, por la denici on de doble implicaci on, la proposici on x B tambi en es
verdadera, como se quera demostrar.
14
DEFINICI

ON 2.3 (Subclase). Sean A y B dos clases. Se escribe A B para abreviar la

proposici on:
x A x B.
La proposici on A B se lee: A es subclase de B.
Se tiene, entonces, que:
A B x A x B. (2.10)
DEFINICI

ON 2.4 (Subclase estricta). Sean A y B dos clases. Se escribe A B para abreviar

la proposici on:
A B A = B.
Se tiene, entonces, que:
A B A B A = B. (2.11)
TEOREMA 2.5 (Antisim etrica de las subclases). Para toda clase A y toda clase B, la propo-
sici on
(A B B A) A = B.
Demostraci on. Sean A y B clases. Supongamos que la proposici on
A B B A (2.12)
es verdadera. Vamos a probar que la proposici on A = B es verdadera; es decir, vamos a probar que
la proposici on
x A x B
es verdadera.
Por la eliminaci on de la conjunci on aplicada a la proposici on (2.12) dos veces, obtenemos que
ambas proposiciones
A B y B A
son verdaderas, de donde, por la denici on de subclase, concluimos que las dos proposiciones
x A x B y x B x A (2.13)
son verdaderas. Por lo tanto, por la introducci on a la conjunci on aplicada a las dos proposiciones
de (2.13), obtenemos que es verdadera la proposici on
(x A x B) (x B x A),
de donde concluimos que la proposici on
x A x B
es verdadera, como se quera demostrar.
TEOREMA 2.6. Para toda clase A y toda clase B, la proposici on
A = B (A B B A)
es verdadera.
15
Demostraci on. Sean A y B clases. Supongamos que la proposici on
A = B. (2.14)
Vamos a demostrar que la conjunci on
A B B A
es verdadera, para lo cual, por la introducci on de la conjunci on y la denici on de subclase, vamos a
demostrar que las dos proposiciones siguientes son verdaderas:
x A x B y x B x A
son verdaderas.
De (2.14) y de la denici on de igualdad, tenemos que la proposici on
x A x B
es verdadera, por lo que, es verdadera tambi en la proposici on
(x A x B) (x B x A)
es verdadera; es decir, gracias a la eliminaci on de la conjunci on tenemos que las proposiciones
x A x B y x B x A
son verdaderas, como se quera probar.
De los teoremas 2.5 y 2.6, obtenemos el corolario siguiente.
COROLARIO 2.1. Para toda clase A y toda clase B, se tiene que
A = B A B B A.
TEOREMA 2.7 (Reexiva de las subclases). Para toda clase A, la proposici on
A A
es verdadera.
Demostraci on. Sea A una clase. Debemos demostrar que la proposici on
A A
es verdadera; es decir, debemos probar que la proposici on
x A x A
es verdadera, lo que es cierto por la denici on de implicaci on.
TEOREMA 2.8 (Transitiva de las subclases). Para toda clase A, toda clase B y toda clase C,
la proposici on
A B B C A C
es verdadera.
16
Demostraci on. Sean A, B y C clases. Debemos probar que la proposici on
A B B C A C (2.15)
es verdadera. Pero esta proposici on, por la denici on de subclase y el principio de sustituci on por
equivalentes, es equivalente l ogicamente a la siguiente:
[(x A x B) (x B x C)] (x A x C),
proposici on que es verdadera, pues es la proposici on asociada al razonamiento v alido silogismo hi-
pot etico
P Q
Q R
P R
(P es x A; Q es x B y R es x C). Por lo tanto, la proposici on (2.15) tambi en es verdadera, como
se quera demostrar.
TEOREMA 2.9 (Caracterizaci on de las subclases). Para toda clase A y toda clase B, la pro-
posici on
(A B x A) x B
es verdadera.
Demostraci on. Sean A y B clases. Supongamos que la proposici on
A B x A (2.16)
es verdadera. Debemos probar que la proposici on x B tambi en lo es.
De (2.16) y la eliminaci on de la conjunci on (aplicada dos veces), tenemos que ambas proposiciones
A B y x A
son verdaderas; es decir, son verdaderas las dos proposiciones siguientes:
x A x B y x A,
de donde, por el Modus Ponens aplicada a estas dos proposiciones, concluimos que la proposici on
x B es verdadera, como se quera.
TEOREMA 2.10. Para toda clase A y toda clase B, se verica que A = B si y solo o bien
existe x A tal que x B, o bien existe x B tal que x A.
Demostraci on. Sean A y B clases. El teorema arma que
A = B (x A x B) (x B x A).
Y esto se demuestra a partir de la siguiente equivalencia l ogica:
(P Q) (P Q) (Q P). (2.17)
En efecto, por el principio de sustituci on por equivalentes y la denici on de igualdad, tenemos
que
A = B (x A x B), (2.18)
y por la equivalencia l ogica (2.17), a su vez tenemos que
(x A x B) [x A (x B)] [x B (x A)],
17
que junto con (2.18), nos permite concluir que
A = B [x A (x B)] [x B (x A)],
es decir:
A = B (x A x B) (x B x A),
que es lo que se quera demostrar.
TEOREMA 2.11. Sean A y B dos clases tales que A es subclase estricta de B. Entonces existe
un conjunto que pertenece a la clase B pero no pertenece a la clase A.
Demostraci on. Supongamos que A B. Debemos demostrar que existe un conjunto x tal que x B y
x A.
De la hip otesis A B, por (2.11), sabemos que
A B A = B. (2.19)
Luego, por la eliminaci on de la conjunci on aplicada dos veces a esta proposici on, obtenemos que la
proposici on
A = B. (2.20)
y que la proposici on
A B (2.21)
tambi en es verdadera.
Por el teorema 2.10, de (2.20), obtenemos que la proposici on
(x A x B) (x B x A)
es verdadera. De modo que, por la denici on de disyunci on, una o las dos proposiciones siguientes
son verdaderas:
x A x B y x B x A. (2.22)
Pero la primera de ellas, es decir, x A x B, no puede ser verdadera, porque, de serlo, por la
denici on de conjunci on, las proposiciones
x A y x B
seran, ambas, verdaderas; es decir, x A sera verdadera y x B sera falsa, de donde, la implicaci on
x A x B
sera una proposici on falsa, por lo que la proposici on (2.21) sera una proposici on falsa; pero no lo
es. Por lo tanto, la primera proposici on en (2.22) es falsa. Luego, por la denici on de disyunci on,
la segunda proposici on de (2.22), x B x A, es verdadera necesariamente. En otras palabras,
existe un conjunto x que pertenece a la clase B pero que no pertenece a la clase A, como se quera
demostrar.
4 Axioma de extensi on.
AXIOMA 1 (Extensi on). Si X = Y y X A, entonces Y A.
5 Axioma de construcci on de clases.
18
AXIOMA 2 (Construcci on de clases). Designemos con P(x) una proposici on acerca de x
que pueda ser expresada, enteramente, en t erminos de: el smbolo , las conectivas l ogicas,
los cuanticadores, delimitadores, variables de conjunto y variables de clase. Entonces,
existe la clase, representada por
{x : P(x)},
tal que
u {x : P(x)} P(u). (2.23)
La equivalencia l ogica (2.23) expresa el hecho de que la clase {x : P(x)} es la clase que
consiste de todos los conjuntos x que satisfacen P(x).
TEOREMA 2.12.
{x : P(x)} = {y : P(y)}.
Demostraci on. Debemos demostrar que
u {x : P(x)} u {y : P(y)},
lo que es verdadero, pues:
u {x : P(x)} P(u)
u {y : P(y)}.
5.1 La clase universal. Sea P(x) : x = x. Puesto que x = x es la abreviaci on para
u x u x,
el axioma de construcci on de clases puede ser aplicado a la proposici on P(x). En otras
palabras, este axioma nos garantiza la existencia de la clase de todos los conjuntos x tales
que x = x; es decir, existe la clase
{x : x = x} .
DEFINICI

ON 2.5 (Clase universal). La clase {x : x = x} se denomina clase universal y es

representada por U . Por lo tanto:
U = {x : x = x} .
De la denici on de U se tiene que:
z U z = z. (2.24)
Hemos demostrado que para toda clase A, A = A (teorema 2.1). Por lo tanto, todo
conjunto z pertenece a la clase universal; de all, su nombre y el siguiente teorema.
TEOREMA 2.13 (Clase universal). Para todo conjunto a, la proposici on
a U
es verdadera.
Demostraci on. Sea a un conjunto. Debemos demostrar que la proposici on a U es verdadera; es
decir, debemos probar que la proposici on a = a es verdadera. Pero esta proposici on es verdadera
19
como se demostr o en el teorema 2.1. Por lo tanto, la proposici on a U es verdadera, como se quera
demostrar.
5.2 La clase vaca. Sea P(x) : x = x. Puesto que x = x es la abreviaci on de (x = x), el
axioma de construcci on de clases puede ser aplicado a la proposici on P(x). De modo que
este axioma nos garantiza la existencia de la clase de todos los conjuntos x tales que x = x;
es decir, existe la clase
{x : x = x} .
DEFINICI

ON 2.6 (Clase vaca). La clase {x : x = x} se denomina clase vaca y es represen-

tada por . Por lo tanto:
= {x : x = x} .
De la denici on de se tiene que:
z z = z. (2.25)
Sabemos que z = z es falso; por lo tanto, ning un conjunto pertenece a la clase vaca; de
all, su nombre y el siguiente teorema.
TEOREMA 2.14 (Clase vaca). Para todo conjunto a, la proposici on
x
es verdadera.
Vamos a presentar dos demostraciones. La primera directa; la segunda, utilizaremos el
m etodo de reducci on al absurdo.
Demostraci on directa. Sea a un conjunto. Debemos demostrar que la proposici on a es verdadera;
es decir, debemos demostrar que la proposici on
(a )
es verdadera; es decir, debemos demostrar que la proposici on
a
es falsa. De la denici on de clase vaca, debemos demostrar, entonces, que la proposici on
a = a
es falsa; es decir, que la proposici on
(a = a)
es falsa. Por lo tanto, lo que debemos demostrar es que la proposici on
a = a
es verdadera, lo cual ya ha sido realizado en el teorema 2.1.
Demostraci on por reducci on al absurdo. Sea a un conjunto. Vamos a probar que la proposici on
a
es verdadera.
20
Supongamos lo contrario; es decir, supongamos que la proposici on a es falsa. Entonces, la
proposici on a es verdadera, de donde, por la denici on de la clase vaca, la proposici on a = a es
verdadera; es decir, la proposici on
(a = a) (2.26)
es verdadera. Sin embargo, por el teorema 2.1, sabemos que la proposici on
a = a (2.27)
es verdadera. Por lo tanto, por la introducci on de la conjunci on aplicada a las proposiciones (2.19) y
(2.27), la proposici on
[(a = a) a = a]
debera ser verdadera, pero es una contradicci on; es decir, es falsa. Esto signica que lo supuesto es
falso; es decir, la proposici on a es falsa; por lo tanto, la proposici on a es verdadera, como se
quera demostrar.
TEOREMA 2.15. Para toda clase A, se verica que A.
Demostraci on. Sea A una clase. Debemos demostrar que la proposici on
x x A (2.28)
es verdadera, lo que es cierto, pues el antecedente de esta implicaci on es falso (por el teorema 2.14),
de donde, por la denici on de implicaci on, la proposici on (2.28) es una proposici on verdadera.
Es posible otra demostraci on del teorema. En efecto, en lugar de demostrar que la proposi-
ci on (2.28) es verdadera, probaremos que la contra-positiva a esta,
x A x ,
es verdadera. Pero esto es as, pues el consecuente de esta implicaci on es verdadero, como lo prueba
el teorema 2.14.
TEOREMA 2.16. Para toda clase A, se verica que A U .
Demostraci on. Sean A una clase y x A. Debemos demostrar que x U ; es decir, debemos demos-
trar que x = x, pero esta proposici on es verdadera por el teorema 2.1; por lo tanto, x U como se
quera demostrar.
5.3 La clase uni on. Sean A y B clases, y P(x) : x A x B. Por el axioma de construc-
ci on de clases, aplicado a la propiedad P, existe la clase de todos los conjuntos x tales que
x pertenece a la clase A o a la clase B (o a ambas).
DEFINICI

ON 2.7 (Uni on de clases). Sean A y B clases. La clase {x : x A x B} se de-

nomina uni on de las clases A y B, y es representada por A B. Por lo tanto:
A B = {x : x A x B} .
De la denici on de la uni on de clases, se tiene que:
z A B z A z B. (2.29)
21
5.4 La clase intersecci on. Sean A y B clases, y P(x) : x A x B. Por el axioma de
construcci on de clases, aplicado a la propiedad P, existe la clase de todos los conjuntos x
tales que x pertenece tanto a la clase A como a la clase B.
DEFINICI

ON 2.8 (Intersecci on de clases). Sean A y B clases. La clase {x : x A x B} se

denomina intersecci on de las clases A y B, y es representada por A B. Por lo tanto:
A B = {x : x A x B} .
De la denici on de la intersecci on de clases, se tiene que:
z A B z A z B. (2.30)
5.5 La clase diferencia. Sean A y B clases, y P(x) : x A x B. Por el axioma de
construcci on de clases, aplicado a la propiedad P, existe la clase de todos los conjuntos x
tales que x pertenece a la clase A, pero no a la clase B.
DEFINICI

ON 2.9 (Diferencia de clases). Sean A y B clases. La clase {x : x A x B} se

denomina diferencia de las clases A y B, y es representada por A B. Por lo tanto:
A B = {x : x A x B} .
De la denici on de la diferencia de clases, se tiene que:
z A B z A z B. (2.31)
5.6 La clase complemento. Sean A una clase y P(x) : x A. Por el axioma de construc-
ci on de clases, aplicado a la propiedad P, existe la clase de todos los conjuntos x tales que
x no pertenece a la clase A.
DEFINICI

ON 2.10 (Complemente de una clase). Sea A una clase. La clase {x : x A} se

denomina complemento de la clase A, y es representada por A

. Por lo tanto:
A

= {x : x A} .
De la denici on del complemento de una clase, se tiene que:
z A

z A. (2.32)
5.7 Ejercicio. Supongamos que A B y C D. Probemos que
(A C) (B D).
Demostraci on. Sea x A C. Debemos demostrar que B D; es decir, por la denici on de uni on,
debemos demostrar que
x B x D. (2.33)
De x A C, por la denici on de uni on, tenemos que
x A x C. (2.34)
Hay dos casos posibles.
22
1. Caso 1. Supongamos que x A. De esta hip otesis, de A B y de la denici on de subclase,
obtenemos
x B. (2.35)
Por lo tanto, por la introducci on de la disyunci on aplicada a (2.35), concluimos que la proposici on
x B x D,
que es (2.33), es verdadera.
2. Caso 2. Supongamos que x C. De esta hip otesis, de C D y de la denici on de subclase,
obtenemos
x D. (2.36)
Por lo tanto, por la introducci on de la disyunci on aplicada a (2.36), concluimos que la proposici on
x B x D,
que es (2.33), es verdadera.
En resumen, en los casos hemos demostrado las implicaciones
x A (x B x D), (2.37a)
x C (x B x D), (2.37b)
respectivamente. Por lo tanto, si aplicamos el dilema a las proposiciones (2.34), (2.37a) y (2.37b), obte-
nemos que es verdadera la proposici on
x B x D,
que es la proposici on (2.33), y esto es lo que queramos demostrar.
6

Algebra de clases
TEOREMA 2.17. Si A y B son clases. Entonces
A A B y B A B.
Demostraci on. Vamos a demostrar unicamente la primera inclusi on; la otra queda como ejercicio para
el lector. Para demostrar que la proposici on A A B es verdadera, debemos demostrar que la
proposici on
x A x A B
es verdadera; es decir, debemos probar que es verdadera la proposici on
x A x A x B,
lo que es as, efectivamente, pues la proposici on P P Q es una tautologa.
Cabe otra demostraci on. Sea x A; debemos demostrar que x A B; es decir, hay que probar
que x A x B se deduce de x A, lo que es cierto si se aplica la introducci on de la disyunci on a
esta ultima proposici on.
TEOREMA 2.18. Si A y B son clases. Entonces
A B A y A B B.
23
Demostraci on. Vamos a demostrar unicamente la segunda proposici on; la primera queda como ejer-
cicio para el lector. Sea x A B; hay que demostrar que la proposici on
x B
es verdadera.
De la hip otesis y de la denici on de intersecci on, se tiene que la proposici on
x A x B
es verdadera. Entonces, por la eliminaci on de la conjunci on aplicada a esta proposici on, se obtiene lo
que se quera demostrar.
TEOREMA 2.19. Si A y B son clases. Entonces
A B si y solo si A B = B.
Demostraci on. Ejercicio.
TEOREMA 2.20. Si A y B son clases. Entonces
A B si y solo si A B = A.
Demostraci on. Hay que demostrar dos implicaciones. La primera:
A B A B = A.
La segunda:
A B = A A B.
1. Supongamos que
A B; (2.38)
vamos a demostrar que A B = A. Para ello, vamos a demostrar que la proposici on
A B A y A A B (2.39)
es verdadera. Por la introducci on de la conjunci on, es suciente demostrar que cada una de las
proposiciones
A B A, (2.40a)
A A B (2.40b)
es verdadera.
(a) Demostraci on de 2.40a. Sea x A B. Hay que probar que x A. De la denici on de
conjunci on, tenemos que la proposici on
x A x B
es verdadera. Luego, la eliminaci on de la conjunci on aplicada a esta ultima proposici on, te-
nemos que x A, que es lo que se quera demostrar.
(b) Demostraci on de 2.40b. Supongamos que
x A. (2.41)
Vamos a demostrar que x A B; es decir, probaremos que x A x B.
24
Por la denici on de subclase aplicada a (2.41) y(2.38), tenemos que x B; por lo tanto,
por la introducci on de la conjunci on aplicada a esta ultima proposici on y a 2.41, obtenemos
que la proposici on
x A x B
es verdadera, que es lo que queramos demostrar.
2. Supongamos que
A B = A; (2.42)
vamos a demostrar que A B. Para ello, supongamos que la proposici on
x A (2.43)
es verdadera. Probemos que x B. Pero esta proposici on es verdadera como lo podemos constatar
al aplicar la denici on de igualdad de clases a (2.43) y (2.42).
TEOREMA 2.21 (Leyes de Absorci on). Si A y B son clases. Entonces
A (A B) = A y A (A B) = A.
Demostraci on. Probaremos unicamente la primera igualdad. Por el teorema 2.18, tenemos que
A B A;
por lo tanto, al aplicar el teorema 2.19 a esta ultima proposici on, obtenemos que
A (A B) = A,
que es lo que se quera demostrar.
TEOREMA 2.22. Para toda clase se verica que (A

= A.
Demostraci on. Ejercicio.
TEOREMA 2.23 (Leyes de DeMorgan). Si A y B son clases. Entonces
(A B)

= A

y (A B)

= A

.
Demostraci on. Ejercicio.
TEOREMA 2.24 (Conmutativas de la uni on y la intersecci on). Si A y B son clases. Entonces
A B = B A y A B = B A.
Demostraci on. Ejercicio.
TEOREMA 2.25 (Leyes de Idempotencia de la uni on y la intersecci on). Para toda clase A,
se verica:
A A = A y A A = A.
Demostraci on. Ejercicio.
25
TEOREMA 2.26 (Leyes Asociativas de la uni on y la intersecci on). Si A y B son clases. En-
tonces
A (B C) = (A B) C y A (B C) = (A B) C.
Demostraci on. Ejercicio.
TEOREMA 2.27 (Leyes Distributivas de la uni on y la intersecci on). Si A y B son clases.
Entonces
A (B C) = (A B) (A C) y A (B C) = (A B) (A C).
Demostraci on. Ejercicio.
TEOREMA 2.28 (Propiedades de la clase vaca). Para toda clase A, se verica
1. A = A.
2. A = .
3.

= U .
4. A A

= .
Demostraci on. Las primera y segunda igualdades son consecuencia directa de aplicar los teoremas 2.19
y 2.20 a la inclusi on A (teorema 2.15), respectivamente. La siguiente cadena de equivalencias
l ogicas prueba la tercera igualdad:
x

x
(x )
(x = x)
(x = x)
x = x.
Finalmente, la cuarta igualdad se prueba mediante reducci on al absurdo. En efecto, si la proposici on
A A

= fuera verdadera, existira x tal que

x A A

.
Entonces, de las deniciones de inclusi on y complemento, se tendra que
x A (x A),
que es una contradicci on, lo que prueba la cuarta igualdad.
TEOREMA 2.29 (Propiedades de la clase universal). Para toda clase A, se verica
1. A U = U .
2. A U = A.
3. U

= .
4. A A

= U .
Demostraci on. Ejercicio.
26
7 Clase unitaria. Sean a un conjunto y P(x) : x = a. Por el axioma de construcci on de
clases aplicado a la propiedad P, se garantiza la existencia de la clase de todos los conjuntos
x tales que x es igual al conjunto a; es decir, existe la clase
{x : x = a} .
DEFINICI

ON 2.11 (Clase unitaria). Sea a un conjunto. La clase {x : x = a} es denominada

clase unitaria de a y es representada por {a}. Por lo tanto:
{a} = {x : x = a}.
De la denici on de {a} se tiene que
u {a} u = a. (2.44)
Puesto que a = a, entonces, de (2.44), se concluye que a {a} para todo conjunto
a. Adem as, si z {a}, nuevamente de (2.44), obtenemos que z = a; es decir, cualquier
conjunto z, elemento de {a}, es necesariamente igual a a. Dicho de otro modo, no puede
existir un conjunto distinto de a que sea elemento de {a}, porque si b = a y b {a},
entonces u = a y u = a, respectivamente, lo que es una contradicci on.
En resumen, la clase {a} tiene un solo elemento, y ese elemento es, precisamente, el
conjunto a; de all, el nombre de esta clase. De paso, hemos demostrado tambi en el siguiente
teorema.
TEOREMA 2.30 (Clase unitaria). Para todo conjunto a, se verica que a {a}.
8 Par desordenado. Sean a y b dos conjuntos, y P(x) : x = a x = b. El axioma de cons-
trucci on de clases garantiza la existencia de la clase de todos los conjuntos x que satisfacen
la propiedad P(x); es decir, existe la clase de todos los conjuntos x que son iguales o bien
al conjunto a o bien al conjunto b. Existe, entonces, la clase
{x : x = a x = b} .
DEFINICI

ON 2.12 (Par desordenado). Sean a y b dos conjuntos. La clase {x : x = a x = b}

es denominada par desordenado de a y b y se lo representa por {a, b}. Por lo tanto:
{a, b} = {x : x = a x = b} .
De la denici on de par desordenado, tenemos que
u {a, b} u = a u = v. (2.45)
Por otro lado, como a = a, entonces, por la introducci on de la disyunci on, la proposici on
a = a a = b
es verdadera; por lo tanto, de (2.45), podemos concluir que
a {a, b}.
27
De manera similar, la proposici on
b = a b = b
es verdadera; por lo tanto, una vez m as, de (2.45), podemos concluir que
b {a, b}.
Una vez m as, de (2.45), si z {a, b}, necesariamente z = a o z = b; luego, no puede
existir un conjunto u, distinto tanto de a y de b, que sea elemento del par desordenado
{a, b}. Esto signica que la clase {a, b} tiene unicamente dos elementos, y esos elementos
son, precisamente, a y b. De all la mitad del nombre: par. El porqu e de la otra mitad, lo
veremos m as adelante.
De lo anterior, hemos probado, tambi en, el siguiente teorema.
TEOREMA 2.31 (Par desordenado). Para todo conjunto a y todo conjunto b, son verdaderas
las siguientes proposiciones:
a {a, b} y b {a, b}.
TEOREMA 2.32. Sean a y b conjuntos. Entonces
{a, b} = {a} {b}.
Demostraci on. Ejercicio.
9 Axioma del par desordenado
AXIOMA 3 (Par desordenado I). Si a y b son conjuntos, entonces el par desordenado {a, b}
es un conjunto.
TEOREMA 2.33 (Conjunto unitario). Para todo conjunto a, se verica que
{a, a} = {a}.
Se tiene, entonces, que la clase unitaria de a es un conjunto, llamado conjunto unitario de a.
Demostraci on. Sea a un conjunto. Para demostrar que {a, a} = {a}, vamos a demostrar que la siguien-
te proposici on es verdadera:
u {a, a} u {a}.
En efecto, esto es posible gracias a la propiedad de idempotencia de la disyunci on:
,
donde es una proposici on. As, al aplicar esta tautologa y las deniciones de par desordenado y
conjunto unitario, tenemos que:
u {a, a} u = a u = a
u = a
u {a}.
(La primera equivalencia se justica de la denici on de par desordenado; la segunda, por la idempo-
tencia de la disyunci on; y la tercera, por la denici on de clase unitaria).
28
Del siguiente teorema, se puede entender el porqu e de desordenado de un par desor-
denado.
TEOREMA 2.34 (Par desordenado II). Si {x, y} = {u, v}, entonces o bien x = u y = v, o
bien x = v y = u.
Demostraci on. Ejercicio.
TEOREMA 2.35. Para todo conjunto x y todo conjunto y, se verica que
{x} = {y} si y solo si x = y.
Demostraci on. Ejercicio.
10 Par ordenado
DEFINICI

ON 2.13 (Par ordenado). Sean a y b conjuntos. El par desordenado del conjunto

unitario de a y del par desordenado de a y de b es denominado par ordenado de a y de b, y es
representada por (a, b). Por lo tanto:
(a, b) = {{a}, {a, b}} .
De la denici on de par ordenado, tenemos que
u (a, b) u = {a} u = {a, b}.
10.1 Un par ordenado es un conjunto. En efecto, por el axioma del par desordenado, {a}
y {a, b} son conjuntos. Por lo tanto, por el mismo axioma, el par desordenado {{a}, {a, b}}
es un conjunto; es decir, el par ordenado (a, b) es tambi en un conjunto.
10.2
TEOREMA 2.36. Si x = y, entonces:
1. {x, z} = {y, z}.
2. (x, z) = (y, z).
3. (z, x) = (z, y).
Demostraci on. Ejercicio.
11 Producto cartesiano. Sean A y B clases, y P(z) : z = (x, y) (x A y B). El
axioma de construcci on de clases garantiza la existencia de la clase de todos los conjuntos
z que satisface la proposici on P(z); es decir, existe la clase de todos los conjuntos z que son
pares ordenados de la forma (x, y) tales que x A y y B. Existe, entonces, la clase
{z : z = (x, y) (x A y B)} .
29
DEFINICI

ON 2.14 (Producto cartesiano). Sean A y B dos clases. La clase

{z : z = (x, y) (x A y B)}
es denominada producto cartesiano de las clases A y B y se la representa por A B. Por lo
tanto:
A B = {z : z = (x, y) (x A y B)} .
De la denici on de producto cartesiano, tenemos que
u A B u = (x, y) (x A y B). (2.46)
Es costumbre abreviar la escritura de la clase {z : z = (x, y) (x A y B)} al omitir
la variable z de la siguiente manera: {(x, y) : x A y B}. Por lo tanto, aceptaremos
como verdadera la siguiente igualdad:
A B = {(x, y) : x A y B} .
TEOREMA 2.37. Sean A, B y C clases. Entonces
1. A (B C) = (A B) (A C).
2. A (B C) = (A B) (A C).
3. (A B) (C D) = (A C) (B D).
Demostraci on. Ejercicio.
12 Axioma de los subconjuntos
AXIOMA 4 (Subconjuntos). Toda subclase de un conjunto es un conjunto.
Dado que siempre ocurre que A B A, si A es un conjunto, por el axioma de los
subconjuntos, la clase A B es un conjunto. Hemos demostrado el siguiente teorema.
TEOREMA 2.38. Si A un conjunto y B una clase cualquiera, entonces A B es un conjunto.
TEOREMA 2.39. Si A es un conjunto y B una clase propia, entonces A = B.
Demostraci on. Utilicemos el m etodo de reducci on al absurdo. Para ello, supongamos lo contrario de
lo que queremos demostrar; es decir, supongamos que A es un conjunto, B una clase propia y
A = B. (2.47)
Vamos en busca de una contradicci on.
Como A es un conjunto, existe una clase C tal que
A C. (2.48)
Por lo tanto, al aplicar el axioma de extensi on a (2.47) y a (2.48), podemos concluir que existe una
clase C tal que
B C;
es decir, podemos concluir que B es un conjunto y no una clase propia. Pero esto contradice con la
hip otesis de que B es una clase propia y no un conjunto.
La contradicci on encontrada indica que A no puede ser igual a B bajo las hip otesis de que A sea
un conjunto y B, una clase propia.
30
13 Dos clases propias: la de Russell y la universal. Sea P(x) la propiedad x x. Por el
axioma de construcci on de clases, existe la clase de todos los conjuntos que satisfacen P.
Nombremos a esta clase con la letra R. Entonces:
R = {x : x x}. (2.49)
Por lo tanto, se verica la siguiente equivalencia:
u R u u. (2.50)
La clase R es denominada clase de Russell ([?] y [?]).
TEOREMA 2.40. La clase de Russell R es una clase propia; es decir, R no es un conjunto.
Demostraci on. Utilicemos el m etodo de reducci on al absurdo; por ello, supongamos que R es un
conjunto. Entonces, por la denici on de R, la equivalencia (2.50) es verdadera si tomamos u igual a
R:
R R R R. (2.51)
Sin embargo, esta equivalencia no puede ser verdadera, porque R R y R R no tienen el mismo
valor de verdadera. En otras palabras, hemos encontrado una contradicci on: la equivalencia (2.51) es
verdadera y no es verdadera.
La contradicci on encontrada nos permite concluir que el supuesto de R es un conjunto es falso;
por lo tanto, la clase R no es un conjunto sino una clase propia.
TEOREMA 2.41. La clase de Russell R es una subclase de la clase universal U .
Demostraci on. Para demostrar que R U , debemos probar que la siguiente implicaci on es verdade-
ra:
x R x U . (2.52)
Ahora bien, de la denici on de la clase universal, esta implicaci on es equivalente a la siguiente:
x R x = x. (2.53)
Como el consecuente de esta implicaci on es siempre verdadero (no solo para cualquier conjunto sino
para cualquier clase ver [?, Teorema 1.11 (i), p. 27]), esta implicaci on es verdadera, por la denici on
de implicaci on ([?, Tabla 1.4, p. 22]).
En resumen, la implicaci on (2.53) es verdadera, de manera que la implicaci on (2.52) tambi en es
verdadera; es decir, R U , que es lo que se quera demostrar.
TEOREMA 2.42. Si A es una clase propia y A B, entonces B es una clase propia.
Demostraci on. Utilicemos la reducci on al absurdo. Supongamos, entonces, que A es una clase propia,
que A B y que B no es una clase propia, sino un un conjunto. Por lo tanto, la clase A es una subclase
de un conjunto, por lo que, por el axioma de subconjuntos, la clase A debe ser un conjunto; es decir,
no es una clase propia, lo que contradice con la hip otesis de que s es una clase propia. Por lo tanto,
B es una clase propia, como se quera demostrar.
De los dos ultimos teoremas que acabamos de demostrar, se deduce, inmediatamente,
el siguiente teorema.
TEOREMA 2.43. La clase universal U es una clase propia; es decir, U no es un conjunto.
31
14 Grafos.
DEFINICI

ON 2.15 (Grafo). Un grafo es cualquier clase cuyos elementos son pares ordena-
dos; es decir, un grafo es una subclase de U U .
Si G es un grafo, entonces se verica
u G u = (x, y). (2.54)
14.1 Dominio de un grafo. Sean G un grafo y P(x) : (y)[(x, y) G]. Por el axioma
de construcci on de clases, existe la clase de todos los conjuntos x para los cuales existe un
conjunto y tal que (x, y) G.
DEFINICI

ON 2.16 (Dominio de un grafo). Sea G un grafo. La clase

domG = {x : (y)[(x, y) G]}
es denominada dominio del grafo G.
De esta denici on, se tiene la siguiente equivalencia:
u domG (z)[(u, z) G]. (2.55)
14.2 Imagen de un grafo. Sean G un grafo y P(y) : (x)[(x, y) G]. Por el axioma de
construcci on de clases, existe la clase de todos los conjuntos y para los cuales existe un
conjunto x tal que (x, y) G.
DEFINICI

ON 2.17 (Imagen de un grafo). Sea G un grafo. La clase

img G = {y : (x)[(x, y) G]}
es denominada dominio del grafo G.
De esta denici on, se tiene la siguiente equivalencia:
u img G (z)[(z, u) G]. (2.56)
14.3 Grafo inverso. Sean G un grafo y P(z) : z = (x, y) (y, x) G. Por el axioma de
construcci on de clases, podemos asegurar la existencia de la clase de todos los conjuntos z
que son pares ordenados de la forma (x, y) tales que (y, x) G.
DEFINICI

ON 2.18 (Grafo inverso). Sea G un grafo. La clase

G
1
= {z : z = (x, y) (y, x) G}
es denominada grafo inverso del grafo G.
Igual que en el caso del producto cartesiano de dos clases, la denici on de G
1
suele ser
abreviada de la siguiente manera:
G
1
= {(x, y) : (y, x) G}.
De esta denici on tenemos que
(x, y) G
1
(y, x) G. (2.57)
32
TEOREMA 2.44. Sea G un grafo. Entonces (G
1
)
1
= G.
Demostraci on. Sea G un grafo. Debemos demostrar que la proposici on
(x, y) (G
1
)
1
(x, y) G
es verdadera, lo que se deduce, por una doble aplicaci on de la denici on del grafo inverso de un
grafo, a partir de la siguiente cadena de equivalencias:
(x, y) (G
1
)
1
(y, x) G
1
(y, x) G.
TEOREMA 2.45. Para todo grafo G, son verdaderas las siguientes proposiciones:
1. domG = img G
1
, 2. img G = domG
1
.
Demostraci on. Vamos a demostrar la primera proposici on; la otra queda como ejercicio para el lector.
Para probar que la proposici on domG = img G
1
es verdadera, debemos probar que es verdadera la
equivalencia
x domG x img G
1
es siempre verdadera, lo que se puede ver en la siguiente cadena de doble implicaciones:
x domG (y)[(x, y) G]
(y)[(y, x) G
1
]
x img G
1
.
La primera equivalencia es verdadera por la denici on de dominio; la segunda, por la denici on de
grafo inverso y el principio de sustituci on por equivalentes; y la tercera equivalencia es verdadera
por la denici on de imagen.
14.4 La composici onde dos grafos. Sean G, H dos grafos y P(u) : u = (x, y) (z)[(x, z)
H (z, y) G]. Por el axioma de construcci on de clases, existe la clase de todos los conjun-
tos u para los cuales P(u) es verdadera.
DEFINICI

ON 2.19 (Composici on de grafos). Sean G y H dos grafos. La clase

G H = {u : u = (x, y) (z)[(x, z) H (z, y) G]}
es denominada la composici on de los grafos G y H.
Como en el caso del grafo inverso de un grafo, se acostumbra a abreviar la denici on de
G H de la siguiente manera.
G H = {(x, y) : (z)[(x, z) H (z, y) G]}.
De la denici on de la composici on de dos grafos, tenemos la siguiente equivalencia:
(x, y) G H (z)[(x, z) H (z, y) G]. (2.58)
TEOREMA 2.46. Para todo par de grafos G y H, las proposiciones siguientes son verdade-
ras:
33
1. dom(G H) dom H,
2. img(G H) img G.
Demostraci on. Demostraremos unicamente la primera proposici on; la segunda queda como ejercicio
para el lector. Sea x dom(G H). Vamos a probar que x dom H; es decir, vamos a demostrar que
la proposici on
(y)[(x, y) H]
es verdadera.
De la hip otesis y de la denici on de dominio, es verdadera la proposici on
(u)[(x, u) G H].
Al aplicar la eliminaci on del cuanticador existencial a esta ultima proposici on, podemos armar que
la siguiente es verdadera para alg un conjunto u
0
:
(x, u
0
) G H. (2.59)
Apliquemos ahora a (2.59) la denici on de composici on de grafos; obtenemos que la proposici on
(z)[(x, z) H (z, u
0
) G] (2.60)
es verdadera. De (2.60), por la eliminaci on del cuanticador existencial, obtenemos que
(x, z
0
) H (z
0
, u
0
) G (2.61)
es una proposici onverdadera para alg un conjunto z
0
. Finalmente, por la eliminaci on de la conjunci on
aplicada a (2.61), obtenemos que es verdadera la proposici on (x, z
0
) H para alg un conjunto z
0
, por
lo que, si aplicamos a esta la introducci on del cuanticador existencial, concluimos que la proposici on
(y)[(x, y) H]
es verdadera, como se quera demostrar.
La redacci on de la demostraci on que se acaba de presentar no es la que se encuentra
en los libros de matem aticas usualmente. De hecho, la redacci on suele ser m as breve y
resumida como se muestra a continuaci on.
Demostraci on. Supongamos que x dom(G H). Demostraremos que x dom H; es decir, probare-
mos que existe un conjunto y tal que (x, y) H.
De la hip otesis y la denici on de dominio, existe u tal que (x, u) G H, de donde, por la
denici on de composici on de grafos, existe y tal que
(x, y) H y (y, u) G;
es decir, existe un conjunto y tal que (x, y) H, que es lo que se quera demostrar.
Como se puede notar, hay dos hechos que se omiten en esta segunda versi on de la de-
mostraci on del teorema 2.46: las reglas de inferencia que se utilizan y los subndices en
algunas variables. En cuanto a la primera omisi on, si en los primeros pasos del aprendizaje
de la Matem atica los estudiantes son forzados a hacer explcito el uso de las reglas de infe-
rencia, no solo que conocer an qu e reglas existen sino que tambi en aprender an a utilizarlas
y, con ello, aprender an a realizar demostraciones. Por lo tanto, luego de los primeros pa-
sos, ya no se hace necesario presentar las demostraciones con todos los detalles, pues los
estudiantes estar an en capacidad de entender las reglas que han sido utilizadas.
34
Respecto del uso de los subndices, estos se utilizan para distinguir las variables de las
constantes, lo que suele ser de ayuda para el aprendiz en sus primeros pasos, y que se
hace necesario cuando se utilizan los cuanticadores y se escriben las proposiciones con
ayuda de estos. Igual que con las reglas de inferencia, con el tiempo el aprendiz aprende a
distinguir, en el contexto, variables de constantes, y ya no se hace necesaria la distinci on.
Las demostraciones de algunos de los teoremas que siguen ser an redactadas en forma
detallada; sin embargo, la mayora de ellas ser an redacciones m as breves.
TEOREMA 2.47. Si G,H y J son grafos, entonces se verican las siguientes proposiciones:
1. (G H) J = G (H J),
2. (G H)
1
= H
1
G
1
.
Demostraci on. Debemos probar la equivalencia l ogica
(x, y) (G H) H (x, y) G (H J). (2.62)
De la denici on de composici on y por el principio de sustituci on por equivalentes, se tiene
(x, y) (G H) J (z)[(x, z) J (z, y) (G H)]
(z)[(x, z) J (w){(z, w) H (w, y) G}];
es decir, se verica
(x, y) (G H) J (z)[(x, z) J (w){(z, w) H (w, y) G}]; (2.63)
y tambi en se cumple
(x, y) G (H J) (u)[(x, u) (H J) (u, y) G]
(u)[(v){(x, u) J (v, u) H} (u, y) G];
es decir, se tiene
(x, y) G (H J) (u)[(v){(x, u) J (v, u) H} (u, y) G]. (2.64)
Por lo tanto, si aplicamos el principio de sustituci on a (2.62), (2.63) y (2.64), lo que vamos a demostrar
que se verica
(z)[(x, z) J (w){(z, w) H (w, y) G}] (u)[(v){(x, u) J (v, u) H} (u, y) G].
En efecto, tenemos que
(z)[(x, z) J (w){(z, w) H (w, y) G}] (z)(w)[(x, z) J {(z, w) H (w, y) G}]
(w)(z)[(x, z) J {(z, w) H (w, y) G}]
(w)(z)[{(x, z) J (z, w) H} (w, y) G]
(w)[(z){(x, z) J (z, w) H} (w, y) G]
(u)[(v){(x, v) J (v, u) H} (u, y) G].
Estas son las justicaciones de cada una de estas equivalencias:
1. como la variable w no est a en la proposici on (x, z) J, la primera resulta de la aplicaci on del
teorema 1.3;
2. la segunda, por el teorema 1.2;
3. la propiedad asociativa de la conjunci on muestra que la tercera equivalencia es verdadera;
35
4. la cuarta resulta del teorema 1.3 y porque la proposici on (w, y) G no contiene la variable z; y
5. la quinta es verdadera por la equivalencia de la derecha de (1.8) en la p agina 10.
TEOREMA 2.48. Sean G y H grafos. Si img H domG, entonces dom G H = dom H.
Demostraci on. Supongamos que img H domG. Vamos a probar que domG H = dom H. Por
el teorema 2.46, sabemos que domG H dom H; por lo tanto, falta unicamente demostrar que
dom H domG H.
Para ello, sea x dom H; probaremos que x domG H; es decir, probaremos que la proposi-
ci on
(y)[(x, y) G H]
es verdadera. Entonces, por la denici on de composici on de grafos, lo que vamos a probar es que la
proposici on
(y)(z){(x, z) H (z, y) G} (2.65)
es verdadera.
Hemos supuesto que x dom H; entonces, de la denici on de dominio, sabemos que la proposi-
ci on
(u)[(x, u) H] (2.66)
es verdadera. Entonces, al aplicar la eliminaci on del cuanticador existencial a (2.66), podemos ar-
mar que la proposici on
(x, u
0
) H (2.67)
es verdadera para alg un conjunto u
0
.
Ahora, si aplicamos la introducci on del cuanticador existencia a la proposici on (2.67) con res-
pecto de la variable x, obtenemos que la proposici on
(s)[(s, u
0
) H]
es verdadera; es decir, es verdadera la proposici on u
0
img H. Por lo tanto, de la denici on de
subclase y la hip otesis img H domG, podemos concluir la proposici on u
0
domG es verdadera;
es decir, es verdadera la proposici on
(t)[(u
0
, t) G].
Luego, de aplicar la eliminaci on del cuanticador existencia a la ultima proposici on, sabemos que
(u
0
, t
0
) G (2.68)
es una proposici on verdadera para alg un conjunto t
0
.
Finalmente, por la introducci on de la conjunci on aplicada a las proposiciones (2.67) y (2.68), ob-
tenemos que la proposici on
(x, u
0
) H (u
0
, t
0
) G
es verdadera. De esta proposici on, por la introducci on del cuanticador existencial, concluimos que
es verdadera la proposici on
(z)[(x, z) H (z, t
0
)] G
es verdadera, y, una vez m as, por la introducci on del cuanticador universal, de esta ultima proposi-
ci on, deducimos que es verdadera la proposici on
(y)(z)[(x, z) H (z, y)] G,
que es lo que se quera demostrar (v ease la proposici on (2.65)).
14.5 Ejercicio. Si A y B son clases disjuntas, entonces (A B) (A B) = .
36
Demostraci on. Sean A y B clases tales que
A B = . (2.69)
Debemos demostrar que (AB) (AB) = . Supongamos lo contrario; es decir, supongamos que
existe (x, y) tal que
(x, y) (AB) (AB) = .
Entonces, de la denici on de composici on, obtenemos que existe z tal que
(x, z) AB y (z, y) AB.
De (x, z) AB, por la denici on de producto cartesiano, obtenemos que z B; y de (z, y) AB,
que z A. Por lo tanto, hemos mostrado que existe z tal que z A B, lo que contradice con la
hip otesis (2.69).
15 El axioma de las uniones (versi on temporal). El siguiente es un axioma provisional.
Una vez en posesi on del concepto de funci on, podremos denir las nociones de familia de
clases y de uni on e intersecci on generalizada, y con ellas sustituiremos el siguiente axioma
por uno del cual el que viene a continuaci on se deduce.
AXIOMA 5 (De las uniones). Si A y B son conjuntos, entonces A B es un conjunto.
16 El conjunto de partes. Sean A una clase y P(x) : x A. Por el axioma de construcci on
de clases, aseguramos la existencia de la clase de todos los conjuntos x tales que x A.
DEFINICI

ON 2.20 (Partes de una clase). Sea A un clase. La clase

P(A) = {x : x A}
es denominada partes o la clase potencia de A.
De esta denici on, tenemos la siguiente equivalencia:
u P(A) u A. (2.70)
Sabemos que para todo clase A, se verica la inclusi on A A (teorema 2.7); signica
esto que A P(A)? A pesar de la equivalencia (2.70), la respuesta es: no necesariamen-
te. En efecto, si A fuera una clase propia, aunque A es una subclase de A, A no pertenecera
a P(A), porque tendra la contradicci on de que A es clase propia y no lo es. Si A fuera un
conjunto, entonces la proposici on A P(A) sera verdadera.
16.1 El axioma del conjunto vaco (temporal). A pesar de que para toda clase A, se
verica la inclusi on A (teorema 2.15, no podemos concluir que P(A). Por
qu e? Porque no sabemos si la clase vaca es un conjunto. En efecto, de los axiomas hasta
ahora introducidos no podemos deducir que la clase vaca sea un conjunto. Mucho m as
adelante, a nadiremos un axioma del cual se deducir a esta propiedad para la clase vaca.
Provisionalmente, introduciremos como axioma que la clase vaca es un conjunto.
AXIOMA 6 (Del vaco). La clase vaca es un conjunto.
De este axioma se deduce inmediatamente que P(A) para toda clase A, y si A
es un conjunto, se obtiene que A P(A). Estos resultados se resumen en el siguiente
teorema.
37
TEOREMA 2.49. Si A es un conjunto, se verican las siguientes proposiciones:
P(A) y A P(A) .
16.2 El axioma de los conjuntos de partes.
AXIOMA 7 (Partes de un conjunto). Si A es un conjunto, entonces P(A) es un conjunto.
El siguiente es un teorema aunque, por su origen, es conocido como el axioma de sepa-
raci on de Zermelo [?, p. 18].
TEOREMA 2.50 (Axioma de separaci on). Si A es un conjunto y P(x) es una proposici on
que satisface las mismas condiciones impuestas en el axioma de construcci on de clases
(axioma 2), entonces la clase de todos los subconjuntos de A que satisfacen la proposici on
P es un conjunto; es decir, la clase
B = {x : A P(x)}
es un conjunto.
Demostraci on. Ejercicio.
17 El producto cartesianode conjuntos es un conjunto. Sean A y B dos conjuntos. Vamos
a demostrar que A B es un conjunto. Para ello, vamos a demostrar que esta clase es una
subclase de un conjunto.
38