Beruflich Dokumente
Kultur Dokumente
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
. 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
.
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.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