Introducción a la lógica matemática

Chapter 1
Introduccion a la Logica
Matematica
Tout ce qui est beau et noble est le

resultat de la raison et du calcul
Charles Baudelaire
1.1 Deniciones y notacion
La logica matematica es el intendo de dar una forma universal al pensamiento, ex-

presandolo por un sistema unvoco de signos.
Denition 1.1. Una proposicion es una armacion que es verdadera o falsa pero no
ambas a la vez.
Example 1.1. i) a + b 2
ii) N R
iii) R es un anillo
iv) C es un campo
Denition 1.2. a) Consideremos el conjunto {y, o, no, (si ..., entonces ...), si y solo si}.
A este conjunto se le llama conjunto de terminos de enlace o conectores logicos.
b) Una proposicion atomica es una proposicion que no se puede descomponer en expre-

siones mas simples.
1
Chapter 1. Int. a la logica matematica M.Sc. Mauricio C. Perdomo 2
c) Si se tienen una o mas proposiciones atomicas, se dice que se tiene una proposicion molecular
o compuesta
Example 1.2. i) a + b > 2 o a + b = 2 : Esta es una proposicion compuesta, ya que se

puede separar en dos armaciones mas simples.
ii) N R : Esta es atomica ya que no se puede descomponer en armaciones mas

simples.
Notacion:
i) Se denotaran la las proposiciones atomicas con letras minusculas (p,q,r, . . . )
ii) p = a + b 2 denota p representa a + b 2
Denition 1.3. A la union de dos proposiciones p y q con el termino de enlace y se

le denomina conjuncion.
Notacion: p q
Denition 1.4. A la union de dos proposiciones p y q con el termino de enlace o se

le denomina disyuncion.
Notacion: p q
Example 1.3. Simbolizar las siguientes proposiciones:
i) N y R son anillos:
Sean p = N es un anillo, q = R es un anillo, entonces la proposicion se simboliza
como p q.
ii) Hoy es miercoles e inicia el semestre:

Sean p = Hoy es miercoles, q = Hoy inicia el semestre, entonces la proposicion se
simboliza como p q.
Denition 1.5. Si a una proposicion p se le anade el conectivo logico no, a la

proposicion resultante se le llama negacion de p.
Notacion: p
Example 1.4. 1. Z no es campo: Sea p = Z es campo, entonces la proposicion se

simboliza como p .

2. 2 Q: Sea q = 2 Q, entonces la proposicion se simboliza como q.
Denition 1.6. A la union de dos proposiciones p y q con el conectivo logico si . . . ,

entonces . . . se le llama proposicion condicional.
Notacion: p q
Example 1.5. i) Si x+6 = 7, entonces x = 1 : Sean p = x+6 = 7 y q = x = 1, entonces

la proposicion se simboliza como p q.
ii) Si x = 1, entonces x = 1 o x = 1 : Sean p = x = 1, q = x = 1 y r = x = 1,

entonces la proposicion se simboliza como p (q r).
Denition 1.7. La recproca de una proposicion condicional p q es la proposicion

q p.
Example 1.6. Con respecto a 1.5 las recprocas son:
1. Si x = 1 entonces x + 6 = 7, simbolizada por q p.
2. Si x = 1 o x = 1, entonces x = 1, simbolizada por (q r) p.
Denition 1.8. La contrarrecproca de p q es q p .
Example 1.7. Obtener la contrarrecproca de las proposiciones de 1.5:
1. Si x 1, entonces x + 6 7, simbolizada por q r .
2. Si no (x = 1 o x = 1), entonces x 1, simbolizada por (q r) p.
Denition 1.9. Si p y q son proposiciones unidas por el conectivo si y solo si, la

proposicion resultante es llamada bicondicional
Notacion: p q.
1.2 Agrupacion y parentesis
Remark 1.10. i) Una disyuncion . . . o . . . se puede enunciar tambien como o

. . . o . . . .
ii) En la formulacion de una conjuncion se puede anadir la frase A la vez .
iii) Es comun que una negacion haga uso de la frase No ocurre que.
iv) A menudo en un condicional Si . . . , entonces . . . se suprime entonces.

1.2.1 Metodos de agrupacion
1.2.1.1 Uso de comas
Example 1.8. 1. A la vez, x > 1 o x = 2, y z = 6.
2. No ocurre que, a la vez el cuerpo A ocupa el espacio de B y B ocupa el espacio de

A.
3. Si f es a la vez continua, f (a) > 0 y f (b) < 0, entonces existe un c R tal que
f (c) = 0.
Example 1.9. Simbolizar las preposiciones del ejemplo 1.8:
1. Sean:
p = x > 1, q = x = 2 y r = z = 6, entonces la proposicion se simboliza como
(p q) r
2. Sean:
p = El cuerpo A ocupa el espacio de B
q = El cuerpo B ocupa el espacio de A
Entonces la proposicion se simboliza como
(p q)
3. Sean:
p = f es continua , q = f (a) > 0, r = f (b) < 0 y s = existe un c R tal que f (c) = 0
Entonces la proposicion se simboliza como
(p q r) s
1.2.2 Dominacion de un termino de enlace
1. Conjuncion: A la vez (. . . ) y (. . . )
2. Disyuncion: O (. . . ) o (. . . )
3. Condicional : Si (. . . ), entonces (. . . )
1.3 Tablas de verdad
Remark 1.11. 1. Si p es una proposicion logica hay dos posibilidades de certeza

para p; a saber, verdadera (V ) o falsa (F ).
2. La negacion de una proposicion p tiene valores de verdad opuestos a p, i.e.:
p p
V F
F V
Denition 1.12. 1. El valor de verdad de la proposicion pq esta dado por la tabla:
p q pq
V V V
V F V
F V V
F F F
2. El valor de verdad de la proposicion p q esta dado por la tabla:
p q pq
V V V
V F F
F V F
F F F
p q pq
V V V
V F F
F V V
F F V
p q pq
V V V
V F F
F V F
F F V
1.4 Tablas de certeza
Denition 1.13. Para vericar la validez de un razonamineto se siguen los pasos que
acontinuacion se anuncian:
1. Se escriben todas las posibles combinaciones de valores de certeza para las proposi-
ciones atomicas.
2. Se determinan los valores de certeza para todas las premisas y para la conclusion.
3. Se buscan las lineas que presentan todas las premisas como verdaderas;
Si la conclusion es verdadera para cada una de estas lineas, entonces el razon-
amiento es valido.
Si la conclusion es falsa, entonces el razonamiento no es valido.
Example 1.10. Determinar si los siguientes razonamientos con validos.
1. (p q) p q.
2. (p q) q p.
3. [(A B) C] C B.
p q p pq p q (p q) p q
V V F V V V
1. V F F F F V
F V V V V V
F F V V V V
El razonamiento es valido.
p q pq (p q) q (p q) q p
V V V V V
2. V F F F V
F V V V F
F F V F V
El razonamiento no es valido.
A B C B C AB (A B) C [(A B) C] C [(A B) C] C B
V V V F F V V F V
V V F F V V F F V
V F V V F F V F V
3. V F F V V F V V V
F V V F F F V F V
F V F F V F V V F
F F V V F F V F V
F F F V V F V V V
El razonamiento no es valido.
Denition 1.14. 1. Una proposicion compuesta se llama tautologa si sus valores

de certeza son verdaderos.
2. Una proposicion compuesta se llama contradiccion si sus valores de certeza son

falsos.
3. Si una proposicion compuesta no cumple las condiciones de 1 o 2, entonces se dice

contingente.
Example 1.11. 1. Mostrar que [(p q) q] q es tautologa.
2. Mostrar que p p es contradiccion.
3. Mostrar que q p es contingente.
Denition 1.15. Se dice que una proposicion p implica tautologicamente a q si y solo

si p q es tautolga.
Denition 1.16. Dos proposiciones son logicamente equivalentes si en cualquier asig-

nacion de certeza las dos tienen el mismo valor de verdad.
Example 1.12. Mostrar que p q q p.
1.5 Reglas de Inferencia
Denition 1.17. 1. Modus Ponendo Ponens (MPP):
pq
p
q
2. Modus Tollendo Tollens (MTT):

pq
q
p
3. Doble negacion (DN):
p
p
4. Regla de adjuncion (RA):
p
q
pq
5. Regla de simplicacion (RS):
pq pq
p q
6. Modus Tollendo Ponens (MTP):
pq pq
q p
p q
7. Ley de adicion (LA):
p
pq
8. Ley del silogismo hipotetico (LSH):
pq
qr
pr
9. Ley del silogismo disyuntivo (LSD):
rq
rp
qd
pd
10. Ley del simplicacion disyuntiva (LSiD):

pp
p
11. Leyes conmutativas (LC):
pq pq
qp qp
12. Leyes de Demorgan (Demorgan):
a) p q (p q)
b) p q (p q)
c) p q (p q)
d) (p q) p q
Example 1.13. Demostrar T
1. R T premisa
2. SR premisa
3. S premisa
Utilizando las reglas de inferencia:
1. R T premisa
2. SR premisa
3. S premisa
4. R MPP(2,3)
5. T MPP(1,4)
Ejercicio 1.18. 1. Demostrar G
1. H J premisa
2. H premisa
3. J G premisa
2. Demostrar A
1. A B premisa
2. B C premisa
3. C premisa
3. Demostrar x 0
1. x=y z=x premisa
2. x=z x=1 premisa
3. x=0 x1 premisa
4. x=y premisa
4. Demostrar (p q) (q r)
1. pq premisa
2. qr premisa
Denition 1.19. Dos o mas proposiciones forman un conjunto inconsistente si juntas

implican una contradiccion.
Example 1.14. Utilizando reglas de inferencia:
1. pq premisa
2. p premisa
3. q premisa
4. q MPP(1,2)
5. q q RA(4,5)
Ejercicio 1.20. Decidir si el conjunto de premisas es consistente o no.
1. pq premisa
1. 2. p premisa
3. q premisa
1. ES premisa
2. SH premisa
2.
3. A H premisa
4. E A premisa
1. (Q P ) premisa
3. 2. P R premisa
3. QR premisa
1. x=1 y<x premisa
4. 2. y<x y=0 premisa
3. (y = 0 x 1) premisa
1.6 Cuanticadores
1.6.1 Introduccion
Consideremos las siguientes armaciones
x > 3, x = y + 3, x+y =z
El valor de verdad de estas armaciones no tiene sentido sin especicar los valores de
x, y, z.
Denition 1.21. Un predicado es una propiedad del sujeto (en nuestro caso una vari-
able o argumento) que se arma o se niega.
1.6.2 Funciones Proposicionales
Example 1.15. Para la armacion
x es mayor que 3
Hacemos la siguiente identicacion:
x sujeto, es mayor que 3 predicado
Denition 1.22. Una armacion de la forma P (x1 , x2 , . . . , xn ) es el valor de la funcion

proposicional P . En este caso decimos que (x1 , x2 , . . . , xn ) es una nada y P es un
predicado.
Remark 1.23. Se puede pensar una funcion proposicional como una funcion que evalua
en verdadero o falso, toma uno o mas argumentos, expresa un predicado que implica
argumentos o que se convierte en una proposicion cuando se asignan valores a los argu-
mentos.
Example 1.16. Sea Q(x, y, z) la armacion x2 + y 2 = z 2 . Obtener el valor de verdad

de Q(3, 4, 5) y Q(2, 2, 3). Como
32 + 42 = 52
entonces Q(3, 4, 5) es verdadera. Como
22 + 2 2 = 8 3 2 = 9
entonces Q(3, 4, 5) es falsa.

1.6.3 Universo de Discurso
Consideremos el ejemplo 1.16, tiene sentido asignar el valor azul a x?

De manera intuitiva, el universo de discurso es el conjunto de todas las cosas de las
que queremos hablar, es decir, el conjunto de objetos que pueden ser asignados a una
variable en una funcion proposicional.
Cual sera el universo de discurso para la funcion proposicional
P (x) = el examen sera el 9 de x de 2015 ?
Mas aun, cada variable en una nada puede tener un universo de discurso diferente.
Example 1.17. Sea P (r, g, b, c) = El valor rgb del color c es (r, g, b).
P (255, 0, 0, rojo) es verdadera, mientras que P (0, 0, 255, verde) es falsa.
1.6.4 Cuanticador Universal
Denition 1.24. El cuanticador universal de un predicado P (x) es la proposicion
P (x) es verdadera para todos los valores de x en el universo de discurso.
Usamos la notacion
xP (x).
Si el universo de discurso es nito, digamos {n1 , n2 , . . . , nk } N, entonces el cuanti-

cador universal es simplemente la conjuncion de todos los elementos:
xP (x) P (n1 ) P (n2 ) P (nk )
Example 1.18. Sean
P (x) el predicado x debe tomar un curso de Algebra Superior

Q(x) el predicado x es alumno de Actuara.
El universo de discurso de P (x) y Q(x) es el conjunto de alumnos de la UAEM.

La simbolizacion de la expresion
Todo alumno de Actuara debe tomar un curso de Algebra superior

es entonces:
x(Q(x) P (x)).
Por otro lado, la expresion
Todos deben tomar un curso de Algebra Superior o ser alumno de Actuara
se simboliza como:
x(Q(x) P (x)).
Cuales son los valores de verdad de P (x) y Q(x) ?
Example 1.19. Simbolizar la expresion
Para todo x y para todo y, x + y > 10
Supongamos, para este ejemplo, que el universo de discurso de x, y es Z.

Sea
P (x, y) = x + y > 10
Entonces la expresion se simboliza:
x, yP (x, y)
1.6.5 Cuanticador Existencial
Denition 1.25. El cuanticador existencial de un predicado P (x) es la proposicion
Existe un x en el universo de discurso tal que P (x) es verdadera.
Usamos la notacion
xP (x)
Si, de nuevo, el universo de discurso es nito, {n1 , n2 , , nk }, entonces el cuanticador

existencial es simplemente la disyuncion de todos los elementos:
xP (x) P (n1 ) P (n2 ) P (nk )
Example 1.20. Sea P (x, y) la proposicion x + y = 5.

Que signica la expresion
x, yP (x) ?
Que universo de discurso la hace verdadera?
Example 1.21. Simbolizar la proposicion Existe una solucion real para la ecuacion
ax2 + bx + c = 0.
b b2 4ac
Sea P (x) la proposicion x = , donde el universo de discurso para x es el
2a
conjunto de numeros reales. Aqu a, b, c son constantes jas.
Luego entonces la proposicion se simboliza como:;
xP (x)
Cual es el valor de verdad de xP (x)?

Es Falsa. Para cualesquiera numeros reales tal que b2 < 4ac, solo existen soluciones
complejas, en estos casos ningun numero real x puede satisfacer el predicado.
Se puede formular un enunciado parecido que sea verdadero?
Simplemente cambie el universo de discurso a los numeros complejos.
1.6.6 Valores de Verdad
En general, cuando son los cuanticadores verdadero y cuando falsos?
Enunciado Verdadero cuando Falso cuando

xP (x) P (x) es verdadero para todo x Existe un x para el cual P (x) es falso
xP (x) Existe un x para el cual P (x) es verdadero P (x) es falsa para todo x
1.6.7 Mezclando Cuanticadores
Los cuanticadores universal y existencial pueden ser usados simultaneamente para cuan-
ticar un predicado, por ejemplo,
x yP (x, y)
es valido. Sin embargo hay que tener cuidado, la oracion debe leerse de izquierda a
derecha.
Es importante notar que x yP (x, y) no es equivalente a y xP (x, y).
Example 1.22. Sea ama(x, y) la proposicion x ama a y.
x y ama(x, y): Todos aman a alguien.

y x ama(x, y): Hay alguien que es amado por todos.
Y resulta claro que no signican lo mismo.

x y P (x, y) P (x, y) es verdadero para Existe al menos un par x, y
todo par x, y para el cual P (x, y) es falsa.
x y P (x, y) Para todo x, existe un y para Existe un x para el cual
el cual P (x, y) es verdadera P (x, y) es falsa para todo y
x y P (x, y) Existe un x para el cual Para todo x, existe un y para
P (x, y) es verdadera para el cual P (x, y) es falsa
todo y
x y P (x, y) Hay al menos un par x, y tal P (x, y) es falsa para todo par
que P (x, y) es verdadera x, y
Example 1.23. Simbolizar la proposicion Para cualquier entero siempre hay un numero
entero mayor
Sea P (x, y) el enunciado x < y. Consideremos al conjunto de numeros enteros como
el universo de discurso.
Entonces la proposicion se simboliza como:
x y P (x, y)
Example 1.24. Simbolizar la propiedad conmutativa de la adicion para R.
Queremos expresar que para todo par de numeros reales x, y , la siguiente igualdad se
cumple:
x+y =y+x
Entonces obtenemos lo siguiente:
xy x+y =y+x
1.6.8 Negacion
Theorem 1.26. Sea P (x) un predicado. Entonces se cumple que:
1. P (x) xP (x).
2. P (x) xP (x).

P (x) xP (x) Para todo x, P (x) es falsa Existe un x para el cual P (x)
es verdadera
P (x) xP (x) Existe un x para el cual P (x) P (x) es verdadera para todo
es falsa x
Example 1.25. 1. Reescribir la expresion
x(yzP (x, y, z) zyP (x, y, z))
Usando los resultados de 1.26:
x(yzP (x, y, z) zyP (x, y, z))
2. Sea P (x, y) la expresion x es factor de y.

Considerese que x {1, 2, 3, } y tambien y {1, 2, 3, }.
Sea Q(y) = x[P (x, y) ((x = y) (x = 1))].
Cuando es verdadera Q(y)?
1.7 Demostraciones y tipos de demostraciones
Denition 1.27. 1. Un axioma es una verdad evidente por s misma.
2. Una regla de inferencia es una regla logica que es usada para deducir una armacion
a partir de otras.
3. Un teorema es una proposicion que puede ser demostrada usando deniciones,

axiomas, otros teoremas y reglas de inferencia.
4. Un lema se puede entender como un pre-teorema; es un resultado que se necesita

para demostrar un teorema.
5. Un corolario es un post-teorema; es un resultado que se desprende de manera

inmediata de un teorema (o lema u otro corolario).
Con frecuencia los teoremas tienen la forma:
Para todo x1 , , xn , si P (x1 , , xn ), entonces Q(x1 , , xn ).
En este caso decimos que P es la hipotesis y Q la conclusion.

Denition 1.28. Una demostracion es una serie de argumentos que muestran a cierta
armacion como consecuencia logica de axiomas, deniciones y otras armaciones.
1.7.1 Tipos de demostraciones
Con frecuencia los teoremas tienen la forma p q, donde p, q pueden ser proposiciones
moleculares.
Denition 1.29. 1. Demostracion trivial:

Si sabemos de antemano que q es verdadera, entonces p q es verdadera sin
importar el valor de verdad de p.
2. Demostracion por vacuidad:

Sucede cuando el antecedente de la implicacion es siempre falso; entonces decimos
que p q es vacuamente verdadero, sin importar el valor de q.
3. Demostracion directa:
En este tipo de demostracion se supone p, entonces se usan reglas de inferencia,
axiomas, deniciones, equivalencias logicas, teoremas, etc. para demostrar q.
4. Demostracion indirecta o por contradiccion:

Se asume p y q y se obtiene una contradiccion r r.
5. Demostracion por contrapositiva:

Este se pude considerar como un caso especial de demostracion por contradiccion.
Dado que p q q p. Se supone q y se deduce p.
6. Demostracion por casos:

Si el antecedente p puede ser separado en casos p1 p2 pk , entonces se de-
muestran cada una de las proposiciones p1 q, p2 q , pk q, por separado.
Es posible que se requieran diferentes metodos de demostracin para estas implica-
ciones.
Para el siguiente tipo de demostracion necesitamos hacer uso del siguiente:
Theorem 1.30 (Principio de Induccion Matematica). Supongase que para n N ten-

emos una proposicion P (n) que cumple:
1. P (1) es verdadera.
2. P (k + 1) es verdadera siempre que P (k) es verdadera ( i.e. P (k) P (k + 1)).

Entonces es principio de induccion matematica asegura que P (n) es verdadera para todo
n N.
n(n + 1)
Example 1.26. Demostrar que para n N se cumple que 1 + 2 + + n = .
2
Proof. 1. P (1) es verdadera.

Notemos que 1 =
1(2)
.
2
k(k + 1)
2. HI: Supongamos que 1 + 2 + + k = .
2
(k + 1)(k + 2)
P.d.: 1 + 2 + + k + (k + 1) = .
2
1 + 2 + + k + (k + 1) = (1 + 2 + + k) + (k + 1)
k(k + 1)
= + (k + 1) Por HI
2
k(k + 1) + 2(k + 1)
=
2
(k + 1)(k + 2)
=
2
n(n + 1)
n N1 + 2 + + n =
2
Chapter 2
Introduccion a la teora de
conjuntos
Would you tell me, please, which

way I ought to go from here?
That depends a good deal on where
you want to get to.
I dont much care where
Then it doesnt matter which way
you go.
Lewis Carroll, Alice in Wonderland
2.1 Deniciones y axiomas
Georg Ferdinand Ludwig Philipp Cantor es considerado por algunos como el padre
de la teora de conjuntos. En su artculo Beitrage zur Begrundung der transniten
Mengenlehre (Consideraciones sobre los fundamentos de la teora transnita de con-
juntos) dene un conjunto como:
Denition 2.1. Una coleccion en un todo de objetos bien denidos de nuestra per-
cepcion o pensamiento, los cuales son llamados elementos del conjunto.
Remark 2.2. 1. Denotaremos a un conjunto con letras mayusculas, por ejemplo
A, B, C, X, Y, . . .
19
Chapter 2. Introduccion a la teora de conjuntos M.Sc. Mauricio C. Perdomo 20
2. Sea A un conjunto, x un objeto. Denotaremos a x como elemento de A por
x A,
en caso contrario
xA
Axiom 2.3. Dos conjuntos son iguales si y solo si tienen los mismos elementos.

Example 2.1.
{52 , 16, e} = {e, 4, 16}
Denition 2.4. Si A y B son conjuntos se dice que A es subconjunto de B, si todo

elemento de A es elemento de B, i.e.
x A x B,
lo cua denotamos por

AB
Remark 2.5. Es claro que la proposicion
xAxA
es una tautologa. Esto signica, en virtud de la denicion 2.4, que A A.

Es por esto que en la denicion 2.4, para A B, existe la posibilidad de que A = B.
Si A B pero B contiene elementos extra a los de A (i.e. elementos que estan en B
pero no en A) se dice que A es subconjunto propio de B, lo cual se denota por
AB
Theorem 2.6. Sean A y B conjuntos. Entonces
A = B si y solo si A B y B A.
Proof. ):
Supongamos que A = B. P.d.: A B y B A.
1. A B
Sea x A. P.d.: x B.
Como x A y A = B, entonces x B, as A B.
2. B A
Sea y B. P.d.: y A.
Como y B y A = B, entonces y A, as B A.
A B y B A.
):
Sup. A B y B A. P.d.: A = B.
Por hipotesis A y B tienen los mismos elementos, entonces por el axioma 2.3, A = B.
Axiom 2.7 (Axioma esquema de comprension). Si A es un conjunto y P es un predi-

cado, la coleccion de elementos de A que cumplen el predicado P es un conjunto al que
denotaremos
{a A P (a) es verdadera}.
Example 2.2. 1. Si A = N, P (x) = x es par.

Entonces B = {a N a es par}, es decir,
B = {2, 4, 6, 8, }
2. Si A = {1, 2, 3, 4}, P (x) = x = 2.

Entonces B = {a A a = 2},
B = {2}
3. Si A = R, P (x) = 0 < x < 1.

Entonces B = {a R 0 < a < 1}
Axiom 2.8. Existe al menos un conjunto.
Axiom 2.9 (Axioma del vaco). Existe un conjunto que no tiene elementos, el cual es
denotado por .
Remark 2.10. El axioma 2.9 se puede entender como:

Existe un conjunto que cumple
x, x
Theorem 2.11. Si es el conjunto vaco y A es un conjunto arbitrario, entonces
A.
Proof. Notemos que la armacion equivale a
A (x ) (x A).
Lo cual es vacuamente verdadero (c.f. denicion 1.29)
Theorem 2.12. El conjunto vaco es unico.
Proof. Supongamos que existe un conjunto con las mismas propiedades que .
P.d.: =
Por teorema 2.6 basta mostrar que y .
1.
Se desprende de manera inmediata del teorema 2.11.
2.
Por hipotesis tiene las mismas propiedades que . Entonces tambien satisface
el teorema 2.11, es decir, .
Axiom 2.13 (Axioma de la union). Si A y B son conjuntos, existe el conjunto
A B = {x x A o x B}.
Axiom 2.14 (Axioma de la interseccion). Si A y B son conjuntos, existe el conjunto
A B = {x x A y x B}.
Axiom 2.15 (Axioma del conjunto potencia). Si A es un conjunto, existe el conjunto
(A) = {X X A}.
Example 2.3. 1. Sea A = , entonces () = .
2. Sea A = {a}, entonces (A) = {, {a}}.
3. Sea A = {1, 2}, entonces (A) = {, {1}, {2}, {1, 2}}.
Theorem 2.16. Sean A, B, C conjuntos.
1. A A.
2. Si A B y B C, entonces A C.
Proof. 1. Es inmediata (c.f. observacion 2.5).
2. Sea x A. P.d.: x C.
Como x A y A B, entonces x B, pero B C, entonces x C
A C
2.2 Propiedades de los conjuntos
Theorem 2.17. Sean A, B, C, D conjuntos.
1. A A B.
2. Si A D y B D, entonces (A B) D.
3. A B = B A.
4. (A B) C = A (B C).
5. A = A.
Proof. 1. Sea a A. P.d.: x A B.

Por hipotesis x A. Sean
P (x) = x A
Q(x) = x A x B .
Es claro que P (x) Q(x) es tautologa (Por que? ). Entonces por el axioma de
la union
AAB
2. Supongamos que A D y B D. P.d.: A B = D.

Sea x A B P.d.: x D.
Como x A B, entonces x A x B.
Caso 1: x A.
Si x A, entonces x D pues A D.
Caso 2: x B.
Si x B, entonces x D pues B D.
Por lo tanto x D
A B D
3. P.d.: A B = B A.
:
Sea x A B. P.d.: x B A.
Como x A, entonces x A x B, es decir, x B A, as x B A.
A B B A
:
Sea x B A. P.d.: x A B.
Como x B, entonces x B x A, es decir, x A B, as x A B.
B A A B
A B = B A
4. (A B) C = A (B C)
:
Sea x (A B) C. P.d.: x A (B C).
Como x (A B) C, entonces x A B x C.
Es decir, [x A x B] x C.
Caso 1: x A.
Si x A, entonces x A (B C) (por el inciso 1).
Caso 2: x B.
Si x B, entonces x B C (por el inciso 1).
De nuevo por el inciso 1: x (B C) A.
Pero por el inciso 3: x A (B C).
Caso 3: x C.
Si x C, entonces x C B (por el inciso 1).
As x B C (por el inciso 1). Y por incisos 1 y 3: x A (B C).
(A B) C A (B C)
:
Sea x A (B C). P.d.: x (A B) C.
Como x A (B C), entonces x A (x B x C).
Caso 1: x A.
Por el inciso 1 x (A B), aplicando de nuevo el inciso 3: x (A B) C.
Caso 2: x B x C.
Caso 2.1: x B.
Por incisos 1 y 3 x A B.
Por inciso 1 x (A B) C.
Caso 2.2: x C.
Por inciso 1 x C (A B).
Por inciso 3 s (A B) C.
A (B C) (A B) C
5. A = A
:
Sea x A . P.d.: x A.
Como x A , entonces x A o bien x , pero la ultima no es posible.
Por lo tanto x A.
:
Por el inciso 1 A A .
A = A
Theorem 2.18. Si A, B, C, D son conjuntos:
1. A B A.
2. Si D A y D B, entonces D A B.
3. A B = B A.
4. A (B C) = (A B) C.
5. A = A.
Proof.
Denition 2.19. Sean A, B conjuntos. Denimos y denotamos la diferencia como
AB = {x A x B}
Example 2.4.
A = {11, 12, 13, 14, 15, 16}
B = {12, 14, 16, 18}
As AB = {11, 13, 15} y BA = {18}

Remark 2.20. Para A, B conjuntos, en general AB BA.
Theorem 2.21. Sean A, B conjuntos, entonces:
1. (AB) B = .
2. (AB) B = A B.
Proof.
Theorem 2.22. Sean A, B, C conjuntos, entonces:
1. A(B C) = (AB) (AC).
2. A(B C) = (AB) (AC).
Denition 2.23. Sean A, B conjuntos. Denimos y denotamos la diferencia simetrica

de A y B como:
AB = (A B)(A B)
Example 2.5. Sean A = {1, 2, 3, 4} y B = {1, 4, 5}, entonces
AB = {2, 3}
y
AB = {2, 3, 5}
Cual es el conjunto que resulta de considerar la expresion BA?
Denition 2.24. Sea X un conjunto no vaco. Si A X, denimos y denotamos el

complemento de A con respecto a X como:
Ac = {x X x A}
Example 2.6. Sea X = {4, 9, 19, 85}. Entonces
A = {4, 9}
Que elementos tiene Ac ?
Theorem 2.25. Sean X y A, B X, entonces:
1. (Ac )c = A.
2. A Ac = X.
3. A Ac = .
4. (A B)c = Ac B c .
5. (A B)c = Ac B c .
6. AB = A B c
Proof.
Theorem 2.26. Sean X y A, B, C X, entonces:
1. AB = BA.
2. Si A B, entonces AB = BA.
3. A = A.
4. AA = .
5. AB = (AB) (BA).
6. Ac B c = AB.
7. A (BC) = (A B)(A C).
8. A(BC) = (AB)C.
2.3 Producto Cartesiano
Denition 2.27. Sean A, B conjuntos. Se dene y denota el producto cartesiano de A

y B como:
A B = {(x, y) x A , y B}
Remark 2.28. En las condiciones de la denicion 2.27:
1. A un elemento de la forma (x, y) se le llama par ordenado; x es conocido como

primera coordenada y el elemento y es llamado segunda coordenada.
2. En general (x, y) (a, b), o mejor dicho:
(x, y) = (a, b) x = a y = b
Theorem 2.29. Sean A, B conjuntos. Entonces:

1. A = y A = .
2. Si A y B y A B = B A, entonces A = B.
Proof. 1. Trivial (por contradiccion).
2.
Sea x A y B , entonces y B.
As (x, y) A B, pero A B = B A, es decir, (x, y) B A.
Dado lo cual x B y y A.
A B

Analogamente
Theorem 2.30. Sean A, B, C conjuntos, entonces:
1. A (B C) = (A B) (A C).
2. A (B C) = (A B) (A C).
3. A (BC) = (A B)(A C).

Chapter 3
Relaciones entre conjuntos
No one shall expel us from the

paradise that Cantor has created for
us.
David Hilbert
3.1 Diagramas de Venn
Denition 3.1. Un conjunto A X, X se representa como un crculo (represen-

tando al conjunto A) dentro de un rectangulo (representando al conjunto X).
Por ejemplo, podemos representar A, B X como:
A B
Example 3.1. 1. Sean A, B conjuntos, entonces A B se representa como
A B
29
Chapter 3. Relaciones entre conjuntos M.Sc. Mauricio C. Perdomo 30
2. Sean A, B conjuntos, entonces A B se representa como
A B
3. Sean A, B conjuntos, entonces AB se representa como
A B
4. Sean A, B conjuntos, entonces Ac se representa como
A B
Ejercicio 3.2. Considerese el siguiente diagrama de Venn:
A B
4
1 2
7
5 6
3
C
8
Indicar el numero de region que le corresponde al conjunto dado.
1. A B c .
2. AB.
3. (AB) (BA).
4. B ( A).
5. A(BC).
3.2 Relaciones
Denition 3.3. Sean A, B conjuntos. Una relacion de A en B es un subconjunto

de A B, i.e. A B. Si (x, y) escribimos
xb
Si A = B decimos que es una relacion sobre A.

Notacion:
A B A B
= {(x, y) A B x y}
Example 3.2. Sea A = R, entonces A A = R2 . Sea
= {(x, y) R2 x + y = 0}
Notemos que R R y decimos que
x y x + y = 10
Es cierto que 3 5? No, pues 3 + 5 10.

Para el valor x = 3, cual es un ejemplo de valor y tal que 3 y ?
Ya que 3 + 7 = 10, tenemos que 3 7.
Denition 3.4. Sean A, B conjuntos y una relacion de A en B.
1. El dominio de se dene y denota como
D = {a A b B tal que a b}
2. La imagen, rango o contradominio de se dene y denota como
I = {b B a A tal que a b}
Example 3.3. Sean A = {6, 8, 10} y B = {3, 6, 7, 9}. Denimos la relacion por medio
de
a b a + b < 14
Cual es la descripcion como conjunto de ?
= {(6, 3), (6, 6), (6, 7), (8, 3), (10, 3)}
pues 6 + 3 < 14, 6 + 6 < 14, 6 + 7 < 14, 8 + 3 < 14 y 10 + 3 < 14.
Por que no considerar el par (3, 6) ?
Es cierto que 3 + 6 < 13, pero 3 A. Recordemos que se debe cumplir A B.
Cual es el dominio de ?
D = {a A b B tal que a b} = {a A b B tal que a + b < 13}
As
D = {6, 8, 10}
Cual es la imagen de ?
I = {b B a A tal que a b} = {a A b B tal que a + b < 13}
De esta manera
I = {3, 6, 7}
Denition 3.5. Sea una relacion sobre un conjunto A, i.e. A A. Decimos que:
1. es reexiva si x A x x.
2. es simetrica si x y implica y x, (x, y) .
3. es transitiva si x y, y z implica x z.
4. es antisimetrica si x y, y x implica x = y.
5. cumple la propiedad de tricotoma si para x, y A se tiene x y o y x.
6. es de equivalencia si es reexiva, simetrica y transitiva.
7. es un orden parcial si es reexiva, antisimetrica y transitiva.
8. es un orden total si es orden parcial y cumple la propiedad de tricotoma.
Ejercicio 3.6. Para cada uno de los conjuntos siguientes y sus respectivas relaciones,
determinar si es reexiva, simetrica, transitiva, antisimetrica, si cumple la propiedad de
tricotoma, si es un orden parcial o si es un orden total.
1. Sea X = {A A es un conjunto nito}. Defnase
= {(A, B) X X A = B}
2. Sea X como en el inciso anterior. Defnase
= {(A, B) X X A B}
3. Sea X = R. Defnase
= {(x, y) R2 X x y}
4. Sean X = Z y m Z jo. Defnase
abmab
Chapter 4
Funciones
Die mathematische Forschung

besteht aus 10% Intuition und 90%
Arbeit
Edmund Hlawka
4.1 Deniciones basicas
Denition 4.1. Una funcion f de A en B (i.e. f A B) tal que cada elemento de A

es relacionado con un unico elemento de B.
Notacion: f A B.
Denition 4.2. Sea f A B una funcion.
1. El dominio de f se dene y denota como
Df = {a A (a, b) f }
2. La imagen (rango, contradominio, codominio) de f se denota y dene como
If = {b B a f tal que (a, b) f }
Remark 4.3. Si (x, y) f , o bien xf y, denotamos f (x) = y
Denition 4.4. Una relacion f A B es una funcion si cumple:;
1. Df = A.
34
Chapter 4. Funciones M.Sc. Mauricio C. Perdomo 35
2. Si (x, y), (x, y ) A, entonces y = y .
Example 4.1. Sea, A = {1, 2, 3, 4} y B = {a, b, c, d, e}, donde a, b, c, d, e son diferentes

entre s.
Determinar si las siguientes armaciones son verdaderas o falsas.
1. A B es funcion.
2. f A B con f = {(1, a), (2, b), (3, d), (2, c)} es funcion.
3. f A B con f = {(1, c), (2, b), (3, c), (2, b)} es funcion.
4. h A B tal que h = {(2, a), (3, b), (4, c)} es funcion.
5. f Z Z tal que f = {(a, b) b = 2a} es funcion.
Solucion:
1. Falsa, pues no cumple la denicion 4.4 ya que (1, a), (1, b) A B pero a b.
2. Falsa; no cumple la denicion 4.4 ya que (2, b), (2, c) f pero b c.
3. Verdadera;
Por denicion
Df = {x A (x, y) f }
As Df = {1, 2, 3, 4}, pero A = {1, 2, 3, 4}, por lo tanto Df = A.

Notemos que
(1, c) , (2, b) , (3, c) , (4, b) f,
entonces
f (1) = c f (2) = b f (3) = c f (4) = b
Y por hipotesis a, b, c, d, e son elementos diferentes entre s.
4. Falsa; no cumple la denicion 4.4 pues Dh = {2, 3, 4} A.
5. Verdadera;
Es claro que Df = Z = A. Sean (x, y), (x, y ) f .
P.d.: y = y .
Como (x, y) f , entonces y = 2x; de manera similar (x, y ) f , lo que implica
y = 2x, es decir
y = 2x = y
y = y.
Ejercicio 4.5. Determinar si las siguientes relaciones son funciones.
1. A = Z, B = N, f A B tal que
f = {(x, y) y = x2 }
2. A = N, B = Z, f A B tal que
f = {(x, y) y 2 = x}
Denition 4.6. Sea f A B una funcion. Es decir,
f = {(x, y) y = f (x)}
A la expresion y = f (x) se le llama regla de correspondencia.
4.2 Clasicacion y operaciones entre conjuntos
Denition 4.7. Sean f, g A B dos funciones tales que para A, B estan denidas las
operaciones +, , , /.
1. Si x A, (f + g) = f (x) + g(x).
2. Si x A, (f g) = f (x) g(x).
3. Si x A, (f g) = f (x) g(x).
f (x)
4. Si x A y g(x) 0, (x) =
f
.
g g(x)
Denition 4.8. Sean f A B y g B C dos funciones. Denimos y denotamos la
composicion de g con f como:
g f = {(x, y) y = g(f (x))}
Es decir, (g f )(x) = g(f (x))
Example 4.2. 1. Sean A = {1, 2, 3} , B = {a, b, c} y C = {x, y}.

f A B tal que
f = {(1, a), (2, b), (3, c)} g = {(a, x), (b, x), (c, y)}
Entonces g f A C es tal que
g f = {(1, x), (2, x), (3, y)}

2. Sean A = B = C = R.
f A B tal que f = {(a, b) b = a + 1}
g B C tal que f = {(b, c) c = b3 }
De esta manera g f esta dada por
(g f )(a) = g(f (a)) = g(a + 1) = (a + 1)3
Y a su vez f g esta dada por
(f g)(b) = f (g(b)) = f (b3 ) = b3 + 1
Denition 4.9. Sean A e I A A una funcion tal que
I(x) = x x A,
a la funcion I se le llama funcion identidad.
Proposition 4.10. Sean f A B y g C D funciones. Entonces f = g si y solo si

Df = Dg y f (x) = g(x) para todo x Df .
Proof. :
Supongamos que f = g. P.d.: Df = Dg y f (x) = g(x) para todo x Df Sea x Df .
P.d.: x Dg y f (x) = g(x) para todo x Df .
Como x Df , entonces x A y existe y B tal que f (x) = y.
Entonces (x, y) = (x, f (x)) f , pero f = g, entonces (x, f (x)) g, es decir, existe z C
tal que
(x, f (x) = (z, g(z))
Pero por la observacion 2.28, 2), esto es posible solo cuando
x=z f (x) = g(z)
As x C = Dg y f (x) = g(x) para todo x Df

Por lo tanto Df Dg y f (x) = g(x) para todo x Df
De manera analoga se puede mostrar que Dg Df y f (x) = g(x) para todo x Df .
Por lo tanto Df = Dg y f (x) = g(x) para todo x Df .
:
Supongamos que Df = Dg y f (x) = g(x) para todo x Df = Dg . P.d.: f = g.
P.d.: {(a, b) b = f (a)} = {(c, d) d = g(c)}.

:
Sea (a, b) f . P.d.: (a, b) g.
Como (a, b) f , entonces f (a) = b.
Notemos que a Df = Dg , entonces f (a) = g(a). Es decir g(a) = b, y as (a, g(a)) g,
con lo cual (a, b) G
Analogamente se puede demostrar g f .
f = g
Denition 4.11. Sea f X Y una funcion.
1. f es inyectiva si a elementos distintos del dominio les corresponden elementos

distintos de la imagen.
Si x x , entonces f (x) f (x ).
O de manera equivalente
f (x) = f (x ) implica x = x
2. f es suprayectiva o sobreyectiva si a todo elemento y Y le corresponde un ele-

mento del dominio. Es decir,
y Y x X tal que f (x) = y
3. f es biyectiva si es inyectiva y sobreyectiva.
Example 4.3. Para cada una de las siguientes funciones determinar si es inyectiva,
sobreyectiva o biyectiva.
1. f {1, 2, 3} {1, 2, 3, 4}
f = {(1, 1), (2, 2), (3, 3)}
2. h {1, 2, 3} {1}
h = {(1, 1), (2, 1), (3, 1)}
3. f Z Z
f = {(x, y) y = 2x}
4. f N N

si n = 1

1

f (n) = 3 si n = 2

n si n {1, 2}
Solucion:
1. Notemos que f (1) = 1, f (2) = 2 y f (3) = 3. Entonces a elementos distintos del

dominio les corresponden elementos distintos de la imagen, i.e. f es inyectiva.
Observese que 4 Y , pero no existe elemento x {1, 2, 3} tal que f (x) = 4. Por lo
tanto f no es sobreyectiva. Como f no es sobreyectiva, entonces f no es biyectiva.
2. Como 1 2 y h(1) = 1 = h(2), entonces f no es inyectiva.

Notemos que para 1 {1} existe un elemento x (de hecho varios) en {1, 2, 3} tal
que h(x) = 1, en particular f (1) = 1, es decir, f es sobreyectiva.
Como f es sobreyectiva y no inyectiva, entonces f no es biyectiva.
3. Armacion: f es inyectiva.
P.d.: Por la denicion 4.11 basta probar que f (x) = f (x ) implica x = x .
Supongamos que existen x, x Z tal que f (x) = f (x ).
P.d.: x = x .
f (x) = f (x )
2x = 2x Dividiendo por 2 de ambos lados obtenemos:
x = x
f es inyectiva.
Armacion: f es sobreyectiva.
P.d.: Por la denicion 4.11 necesitamos demostrar que para todo y Z existe
x Z tal que f (x) = y.
Sea y Z. P.d.: x Z tal que f (x) = y.
Si y Z, entonces y
2 no necesariamente esta en Z. Tomese por ejemplo y = 3,
entonces no existe x Z tal que f (x) = 3.
Es cierto que si x = x3 , entonces f (x) = 3, pero 3
2 Z.
Por lo tanto la armacion es falsa, es decir, f no es sobreyectiva.
Como f no es sobreyectiva, entonces no es biyectiva.
4. Armacion: f es inyectiva.
Supongamos que f (n) = f (n ). P.d.: n = n .
(a) Si n = 1, la unica forma de que f (n ) = 1 es que n = 1 (por la denicion de

f ). Por lo tanto n = n .
(b) Si n = 2, con un razonamiento parecido al del caso anterior llegamos que

n = n .
(c) Si n {1, 2}:

Por hipotesis f (n) = f (n ). Tenemos que, por un lado, f (n) = n y f (n ) = n .
Por lo tanto
n = f (n) = f (n ) = n
n = n
Es decir, f es inyectiva.
Pero notemos que 2 N, pero por la forma en como f esta denida, no existe n N
tal que f (n) = 2. Por lo tanto f no es sobreyectiva ni biyectiva.
Ejercicio 4.12. Demostrar que la funcion identidad es biyectiva.
Theorem 4.13. Sean f A B y g B C funciones. Entonces:
1. Si f y g son inyectivas, entonces g f es inyeciva.
2. Si f y g son sobreyectivas, entonces g f es sobreyectiva.
3. Si g f es inyectiva, entonces f es inyectiva.
4. Si g f es sobreyectiva, entonces g es sobreyectiva.
Corollary 4.14. 1. Si f y g son biyectivas, entonces g f es biyectiva.
2. Si g f es biyectiva, entonces f es inyectiva y g sobreyectiva.
Denition 4.15. Sea f A B funcion. Decimos que
1. f es par so f (x) = f (x) x Df = A.
2. f es impar si f (x) = f (x) x Df = A.
Theorem 4.16. Toda funcion f R R se puede ver como la suma una funcion par y
una funcion impar.
Proof. Sean
f (x) + f (x) f (x) f (x)
f1 (x) = f2 (x) =
2 2
Observese que:
f (x) + f ((x))
f1 (x) =
2
f (x) + f (x)
=
2
= f1 (x)
Lo cual indica que f1 (x) es funcion par.

Mas aun,
f (x) f ((x))
f2 (x) =
2
f (x) + f (x)
=
2
f (x) f (x)
=
2
= f2 (x)
Lo que signica que f2 (x) es impar.

Es claro que Df1 +f2 = Df y ademas:
f (x) + f (x) f (x) f (x)

(f1 + f2 )(x) = +
2 2
f (x) + f (x) + f (x) f (x)
=
2
2f (x)
=
2
= f (x)
f (x) = f1 (x) + f2 (x)
Es decir, f (x) es la suma de una funcion par y una funcion impar.
Theorem 4.17. Sea f A B una funcion. Consideremos las funciones identidad
IA A A, IB B B
Entonces:
1. IB f = f .
2. f IA = f .
Theorem 4.18. Sean f A B, g B C y h C D funciones. Entonces
h (g f ) = (h g) f
Denition 4.19. Sea f A B una funcion, decimos que f es invertible si existe una
funcion g B A tal que
f g = I B y g f = IA
A la funcion g se le llama inversa de f y se le denota g = f 1 .
Theorem 4.20. Sea f A B funcion. Entonces f es invertible si y solo si f es

biyectiva.
Proof. :
Supongamos que f es invertible. P.d.: f es biyectiva.
1. P.d.: f es inyectiva.
Supongamos que f (a) = f (b). P.d.: a = b.
Como f es invertible, existe f 1 B A inversa de f .
Es claro que f (a), f (b) B. Entonces:
f 1 (f (a)) = f 1 (f (b))
(f 1 f )(a) = (f 1 f )(b)
IA (a) = IA (b)
a = b
f es inyectiva.
2. P.d.: f es sobreyectiva.
Sea b B. P.d.: a A tal que f (a) = b.
Como b B y Df 1 = B, entonces b Df 1 ; al ser f 1 B A funcion, existe a A
tal que f 1 (b) = a. As
f (f 1 (b)) = f (a)
IB (b) = f (a)
b = f (a)
f es sobreyectiva.
f es biyectiva.
:
Supongamos que f es biyectiva. P.d.: f es invertible.
P.d.: f 1 B A funcion tal que f f 1 = IB y f 1 f = IA .
Sea b B, como f es sobreyectiva a A tal que f (a) = b.
Sea f 1 B A dada por
{(b, ab ) f (ab ) = b}
Af.: f 1 es la inversa de f .
1. P.d.: f 1 es funcion.
a) Es claro que Df 1 = B (pues f es sobreyectiva).

b) Si f 1 (a) = x y f 1 (a) = y. P.d.: x = y
Se tiene que f (f 1 (a)) = f (x) y f (f 1 (a)) = f (y), entonces f (x) = f (y). Pero
f es inyectiva.
x=y
f 1 es funcion
2. a) P.d.: f f 1 = IB .
Es claro que Df f 1 = B = DIB .
Sea x Df f 1 ., P.d.: (f f 1 )(x) = IB (x).
(f f 1 )(x) = f (f 1 (x))
= f (ax )
= x
= IB (x)
f f 1 = IB
b) P.d.: f 1 f = IA .
Es claro que Df 1 f = A = DIA .
Sea x A. P.d.: (f 1 f )(x) = IA (x).
Como x A, entonces f (x) B, lo que implica (f (x), f 1 (f (x))) f 1 .
Por el inciso anterior f f 1 = IB , entonces
f (f 1 (f (x))) = f (x) (4.1)

Como f (x) B y por la denicion de f 1 tenemos que
f 1 (f (x)) = af (x) (4.2)
Sustituyendo 4.2 en 4.1 se obtiene
f (af (x) ) = f (x)
Pero f es inyectiva, entonces af (x) = x.

Sustituyendo en 4.2
f 1 (f (x)) = x = IA (x)
f 1 f = IA
f es invertible.
Lemma 4.21. Sea f A B invertible. Entonces f 1 B A es unica.
Proof. Supongamos que existe f B A tal que
f f = I A y f f = IB
P.d.: f 1 = f
1. Es claro que Df 1 = Df
2. P.d.: f (x) = f 1 (x) x Df 1 = Df .

Sea x Df 1 , entonces x B. As:
f 1 (x) = f 1 (IB (x))

= f 1 ((f f )(x))
= (f 1 f )(f (x))
= IA (f (x))
= f (x)
Entonces f 1 (x) = f (x) x Df 1 .
f 1 es unica.
Chapter 5
El conjunto de los numeros

naturales (N)
Beyond the natural numbers,

addition, multiplication, and
mathematical induction are
intuitively clear
L.E.J. Brouwer
5.1 Postulados de Peano
Denition 5.1. Un postulado es una proposicion que, al contrario del axioma, no es

evidente por s misma, pero que se acepta ya que no existe otro principio del que pueda
ser deducida.
Postulados de Peano
Considerense los numeros naturales N y una funcion
sNN
dada por
s(n) = n + 1
n + s(m) = s(n + m)
P1) 1 N
45
Chapter 5. El conj. de los num. naturales (N) M.Sc. Mauricio C. Perdomo 46
P2) Si x N, entonces s(x) N.
P3) x N tal que s(x) = 1.
P4) Si s(x) = s(y), entonces x = y.
P5) Si A N tal que:
i) 1 A.
ii) Si s(k) A siempre que k A (i.e. k A implica s(k) A).
Entonces A = N.
Remark 5.2. 1) A la funcion s se le conoce como funcion sucesor.
2) El postulado P 1 arma que 1 es un numero natural.
3) P 2 establece que s N N toma un numero natural y lo manda a otro numero

natural.
4) Se puede interpretar P 3 como 1 es el primer numero natural.
5) P 4 dice que s N N es inyectiva.
6) P 5 es conocido como el principio de induccion matematica.
Supongamos que queremos demostrar que una proposicion P (n) es valida n N:
Sea A N el conjunto de todos los z N tales que P (z) es cierta. Si:
1. P (1) es cierta.
Esto signica que 1 A.
HI (Hipotesis de Induccion): Suponemos que P (k) es cierta.
Lo cual quiere decir que k A.
3. P (s(k)) es verdadera.
Entonces por P 5 tenemos que A = N, lo cual signica que P (n) es valida n N.
El objetivo de este captulo es tratar de mostrar que la aritmetica usual de N se puede

deducir de los postulados de Peano.
Theorem 5.3. Si x N y x 1, entonces y N tal que x = s(y).

Proof. Sea A = {x Nx = s(y) para algun y N} {1}.

1.Observemos que 1 A, por la forma en como denimos A.
HI: Supongamos que k A.
P.d.: s(k) A.
Como k A, tenemos que s(k) A, pues s(k) es el sucesor de k. Entonces por el
principio de induccion matematica (P 5) A = N.
5.2 Suma
Recordemos que la funcion sucesor s N N esta denida como
s(n) = n + 1 (5.1)
y
n + s(m) = s(n + m) (5.2)
Theorem 5.4. Las ecuaciones (5.1) y (5.2) denen la suma m + n para todo m, n N.
Proof. Sea m N un numero natural arbitrario. Sea A el conjunto de todos los n N

para los cuales m + n esta denido.
P.d.: m + n esta denido para todo n N, i.e. A = N.
1. P.d.: 1 A.
Por (5.1) m + 1 esta denido (es igual a s(m)), entonces 1 A.
HI: Supongamos que k A.
P.d.: s(k) A.
Como k A, m + k esta denido. Por (5.2): m + s(k) = s(m + k). Debido a que s(m + k)
esta denido, tenemos que m + s(k) esta denido. Es decir, s(k) A siempre que k A.
Por el principio de induccion matematica A = N. En otras palabras m + n esta denido
para todo m, n N.
Proposition 5.5. 1) n N: 1 + n = s(n).
2) n N: n + 1 = 1 + n.
3) n, m N: n + s(m) = s(n) + m.
4) n, m N: n + m = m + n.
5) n, m, p N: (n + m) + p = n + (m + p).
6) n, m, p N: Si m + n = m + p, entonces n = p.
Proof. 1. P.d.: n N: 1 + n = s(n).

Por induccion sobre n.
1. P.d.: 1 + 1 = s(1).
Esto es claro por la denicion de la funcion sucesor.
HI: Supongamos que 1 + k = s(k).
P.d.: 1 + s(k) = s(s(k)).
1 + s(k) = s(1 + k) por 5.2

= s(s(k)) por hipotesis de induccion
1 + s(k) = s(s(k)) (5.3)
n N 1 + n = s(n)
2. P.d.: n N: 1 + n = n + 1.
3. Sea n N arbitrario.
P.d.: m N n + s(m) = s(n) + m.
Procederemos por induccion sobre m.
1. P.d.: n + s(1) = s(n) + 1.
n + s(1) = s(n + 1) por 5.2

= s(1 + n) por el inciso (2)
= 1 + s(n) por 5.2
= s(n) + 1 por el inciso (2), ya que s(n) N
n + s(1) = s(n) + 1
HI: Supongamos que n + s(k) = s(n) + k.

P.d.: n + s(s(k)) = s(n) + s(k).
n + s(s(k)) = s(n + s(k)) por 5.2

= s(s(n) + k) por Hipotesis de Induccion
= s(n) + s(k) por 5.2
n + s(s(k)) = s(n) + s(k)
n, m N n + s(m) = s(n) + m
4. P.d.: n, m N n + m = m + n.
Tarea
5. P.d.: n, m, p N (n + m) + p = n + (m + p).
Sean m, p N arbitrarios.
1. P.d.: (1 + m) + p = 1 + (m + p).
(1 + m) + p = s(m) + p por inciso 1

= m + s(p) por inciso 3
= s(m + p) por 5.2
= (m + p) + 1 por 5.1
= 1 + (m + p) por inciso 2
(1 + m) + p = 1 + (m + p)
HI: Suponemos que (k + m) + p = k + (m + p).

P.d.: (s(k) + m) + p = s(k) + (m + p).
(s(k) + m) + p = (k + s(m)) + p por inciso 3

= s(k + m) + p por 5.2
= (k + m) + s(p) por inciso 3
= s((k + m) + p) por 5.2
= s(k + (m + p)) por hipotesis de induccion
= k + s(m + p) por 5.2
= s(k) + (m + p) por inciso 3
(s(k) + m) + p = s(k) + (m + p)
n, m, p N (n + m) + p = n + (m + p)
6. P.d.: n, m, p N Si m + n = m + p, entonces n = p.
Tarea
5.3 Producto
Denition 5.6. Si n N, denimos:
a) n 1 = n.
b) n s(m) = n m + n.
Theorem 5.7. Los incisos a) y b) de la denicion 5.6 denen el producto n m para

todo n, m N.
Proof. Sea n N jo. Procederemos por induccion sobre m.

1. P.d.: n 1 esta denido.
Como n N y por la denicion 5.6 a), tenemos que n 1 esta denido.
HI: Supongamos que n k esta denido.
P.d.: n s(k) esta denido.
Observemos que n N y que por hipotesis de induccion n k esta denido. Entonces
nk+nN
Y por la denicion 5.6 inciso b) n s(k) = n k + n, por lo cual n s(k) esta denido.
n m esta denido n, m N
Proposition 5.8. 1) n N, n 1 = 1 n.
2) n, m N, (m + 1) n = m n + 1 n.
3) n, m N, n m = m n.
4) n, m, p N, n (m + p) = n m + n p.
5) n, m, p N, (n m) p = n (m p).
6) n, m, p N, Si n m = n p, entonces m = p.
Proof. 1. P.d.: n N, n1=1n

1. P.d.: 1 1 = 1 1.
Esto es evidente.
HI: k 1 = 1 k.
P.d.: s(k) 1 = 1 s(k).
s(k) 1 = s(k) por 5.6 a)

= k+1 por 5.1
= (k 1) + 1 por 5.6 a)
= (1 k) + 1 por hipotesis de induccion
= 1 s(k) por 5.6 b)
s(k) 1 = 1 s(k)
n N, n1=1n
2. P.d.: n, m N, (m + 1) n = m n + 1 n.
Sea m N arbitrario. Procederemos por induccion sobre n.
1. P.d.: (m + 1) 1 = m 1 + 1 1.
(m + 1) 1 = m + 1 por 5.6 a)
= m1+11 idem
(m + 1) 1 = m 1 + 1 1
HI: Supongamos que (m + 1) k = m k + 1 k.

P.d.: (m + 1) s(k) = m s(k) + 1 s(k).
(m + 1) s(k) = (m + 1) k + (m + 1) por 5.6 b)

= ((m k) + 1 k) + (m + 1) por hipotesis de induccion
= (m k + k) + (m + 1) por inciso 1 y 5.6 a)
= (m k + m) + (k + 1) por 5.5 incisos 4 y 5
= m s(k) + s(k) por 5.6 b) y 5.1
= m s(k) + 1 s(k) por inciso 1
(m + 1) s(k) = m s(k) + 1 s(k)
n, m N, (m + 1) n = m n + 1 n
3. P.d.: n, m N, n m = m n.
Tarea.
4. P.d.: n, m, p N, n (m + p) = n m + n p.
Sean m, p N; hacemos induccion sobre n.
1. P.d.: 1 (m + p) = 1 m + 1 p.
1 (m + p) = m + p por inciso 1 y 5.6 a)

= 1m+1p idem
1 (m + p) = 1 m + 1 p
HI: Supongamos que k (m + p) = k m + k p.

P.d.: s(k) (m + p) = s(k) m + k p.
s(k) (m + p) = (m + p) s(k) por inciso 3

= (m + p)k + (m + p) por 5.6 b)
= k(m + p) + (m + p) por inciso 3
= (km + kp) + (m + p) por hipotesis de induccion
= (km + m) + (kp + p) por asociatividad y conmutatividad de la suma
= (mk + m) + (pk + p) por inciso 3
= m s(k) + p s(k) por 5.6 b)
= s(k) m + s(k) p por inciso 3
s(k) (m + p) = s(k) m + k p
n, m, p N, n (m + p) = n m + n p
5. P.d.: n, m, p N, (n m) p = n (m p).
Sean n, m N; por induccion sobre p.
1. P.d.: (n m) 1 = n (m 1).
(n m) 1 = n m 5.6 a)
= n (m 1) idem
(n m) 1 = n(m 1)
HI: Supongamos que (n m) k = n (m k).

P.d.: (n m) s(k) = n (m s(k)).
(n m) s(k) = (n m)k + n m 5.6 b)

= n(mk) + nm Hipotesis de induccion
= n(mk + m) inciso 4
= n(m s(k)) 5.6 b)
(n m) s(k) = n (m s(k))
n, m, p N, (n m) p = n (m p)
6. P.d.: n, m, p N, Si n m = n p, entonces m = p.
Tarea.
5.4 Orden en N
Denition 5.9. 1. Considerese el conjunto de numeros naturales N. Denimos el

orden < en N como
n, m N n < m r N n+r =m
2. Denimos en N como
n, m N nmn<m n=m
Proposition 5.10. La relacion es un orden total sobre N.
Proof. P.d.: es un orden parcial y cumple la tricotoma.
1. P.d.: es reexiva.
Sea n N, P.d.: n n.
Es claro que n = n, entonces por 5.9,2) : n n.
es reexiva.
2. P.d.: es antisimetrica.
Sean n, m N, tales que n m y m n. P.d.: n = m.
Como n m y m n: (n < m n = m) y (m < n m = n).
Si n < m y m < n, entonces n < n

Si n < m y m = n, entonces n < n
Si n = m y m < n, entonces m < m
Si n = m y m = n, entonces n = n
es antisimetrica.
3. P.d.: es transitiva.
Sean n, m, p N, tales que n m y m p. P.d.: n p.
Como n m y m p: (n < m n = m) y (m < p m = p).
Si n < m y m < p, entonces n < p y por 5.9,2): n p.

Si n < m y m = p, entonces n < p y por 5.9,2): n p.
Si n = m y m < p, entonces n < p y por 5.9,2): n p.
Si n = m y m = p, entonces n = p y por 5.9,2): n p.
es transitiva.
es un orden parcial.
4. P.d.: cumple la propiedad de tricotoma.

Sean n, m N, P.d.: n m o m n.
Sup n m. P.d.: m n.
Como n m, entonces (n < m n = m).
Por leyes de Demorgan: n m n m.
m < n y por 5.9,2): m n.
cumple la propiedad de tricotoma.
es un orden total.
5.5 Principio del buen orden
Denition 5.11. El Principio de induccion nita establece que dado A N tal que:
1. 1 A.
2. k A implica s(k) A.
entonces A = N.
Denition 5.12. El Principio de induccion completa establece que dado A N tal

que:
1. 1 A.
2. {1, 2, . . . , k} A implica s(k) A.
entonces A = N.
Denition 5.13. El Principio del buen orden establece que todo subconjunto no
vaco de N tiene un elemento mnimo, es decir, si A N y A , entonces m A tal
que m n n A.
Theorem 5.14. Los principios dados en las deniciones (5.11), (5.12) y (5.13) son
equivalentes.
Proof. Por simplicidad etiquetaremos a la denicion (5.11) como PIF, a la denicion

(5.12) como PIC y a la denicion (5.13) como PBO.
P.d.: PIF PIC:
Supongamos que PIF es cierto.
Sea A N tal que:
1. 1 A.
2. {1, 2, . . . , k} A implica s(k) A.
P.d.: A = N.
Sea P (n) = {1, 2, . . . , n} A.
Denimos A = { n N

P (n) es verdadera}.
1. Observese que P (1) es verdadera, lo cual implica 1 A .
HI: Supongamos que P (k) es verdadera.
Por hipotesis de induccion k A , por lo cual {1, 2, . . . , k} A y entonces s(k) A.
Por lo tanto {1, 2, . . . , k, s(k)} A, es decir, P (s(k)) es cierta, o bien, s(k) A .

Por PIF, A = N, lo cual signica que P (n) es verdadera n N, entonces por denicion
A = N.
PIF PIC
P.d.: PIC PBO:

Supongamos que PIC es cierto.
Sea A N tal que A .
P.d.: A tiene un elemento mnimo.
Supongamos, por el contrario, que A no tiene un elemento mnimo.
Sea P (n) = n A.
Si 1 A, entonces: por los postulados de Peano 1 es cota inferior de N, lo cual implica
que 1 es cota inferior de A .
Esto indica que 1 A, por lo cual P (1) es cierta.
Supongamos que m {1, 2, . . . , k}, m A.
Si s(k) A, entonces s(k) sera el elemento mnimo de A.
Por lo tanto, s(k) A, es decir, P (s(k)) es cierta.
Notemos que hemos demostrado que:
1. P (1) es cierta.
2. m {1, 2, . . . , k} P (m) implica P (s(k)).
Entonces por PIC tenemos que P (n) se cumple n N. Pero esto signica que A = .
Por lo tanto A tiene un elemento mnimo.
PIC PBO
P.d.: PBO PIF:

Supongamos que PBO es cierto.
Sea A N tal que
1. 1 A.
2. k A implica s(k) A.
P.d.: A = N.
Supongamos que A N. Denamos A = NA. Es claro que A N y que A .
Por PBO, A tiene un elemento mnimo. Notemos que por hipotesis 1 A, lo cual indica
que 1 A .
Es decir, el elemento mnimo de A es de la forma s(m) para algun m N.

Entonces m A pero s(m) A .
Por lo tanto A no tiene elemento mnimo .

A = , o bien A = N.
PBO PIF

Introducción a la lógica matemática

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Introducción a la lógica matemática

Uploaded by

Copyright:

Available Formats

Chapter 1

Tout ce qui est beau et noble est le

1.1 Deniciones y notacion

La logica matematica es el intendo de dar una forma universal al pensamiento, ex-

b) Una proposicion atomica es una proposicion que no se puede descomponer en expre-

Example 1.2. i) a + b > 2 o a + b = 2 : Esta es una proposicion compuesta, ya que se

ii) N R : Esta es atomica ya que no se puede descomponer en armaciones mas

i) Se denotaran la las proposiciones atomicas con letras minusculas (p,q,r, . . . )

ii) p = a + b 2 denota p representa a + b 2

Denition 1.3. A la union de dos proposiciones p y q con el termino de enlace y se

Denition 1.4. A la union de dos proposiciones p y q con el termino de enlace o se

Example 1.3. Simbolizar las siguientes proposiciones:

ii) Hoy es miercoles e inicia el semestre:

Denition 1.5. Si a una proposicion p se le anade el conectivo logico no, a la

Example 1.4. 1. Z no es campo: Sea p = Z es campo, entonces la proposicion se

Denition 1.6. A la union de dos proposiciones p y q con el conectivo logico si . . . ,

Example 1.5. i) Si x+6 = 7, entonces x = 1 : Sean p = x+6 = 7 y q = x = 1, entonces

ii) Si x = 1, entonces x = 1 o x = 1 : Sean p = x = 1, q = x = 1 y r = x = 1,

Denition 1.7. La recproca de una proposicion condicional p q es la proposicion

Example 1.6. Con respecto a 1.5 las recprocas son:

1. Si x = 1 entonces x + 6 = 7, simbolizada por q p.

2. Si x = 1 o x = 1, entonces x = 1, simbolizada por (q r) p.

Denition 1.8. La contrarrecproca de p q es q p .

Example 1.7. Obtener la contrarrecproca de las proposiciones de 1.5:

1. Si x 1, entonces x + 6 7, simbolizada por q r .

2. Si no (x = 1 o x = 1), entonces x 1, simbolizada por (q r) p.

Denition 1.9. Si p y q son proposiciones unidas por el conectivo si y solo si, la

1.2 Agrupacion y parentesis

Remark 1.10. i) Una disyuncion . . . o . . . se puede enunciar tambien como o

ii) En la formulacion de una conjuncion se puede anadir la frase A la vez .

iv) A menudo en un condicional Si . . . , entonces . . . se suprime entonces.

1.2.1 Metodos de agrupacion

1.2.1.1 Uso de comas

Example 1.8. 1. A la vez, x > 1 o x = 2, y z = 6.

2. No ocurre que, a la vez el cuerpo A ocupa el espacio de B y B ocupa el espacio de

Example 1.9. Simbolizar las preposiciones del ejemplo 1.8:

1.2.2 Dominacion de un termino de enlace

1.3 Tablas de verdad

Remark 1.11. 1. Si p es una proposicion logica hay dos posibilidades de certeza

2. La negacion de una proposicion p tiene valores de verdad opuestos a p, i.e.:

Denition 1.12. 1. El valor de verdad de la proposicion pq esta dado por la tabla:

2. El valor de verdad de la proposicion p q esta dado por la tabla:

3. El valor de verdad de la proposicion p q esta dado por la tabla:

4. El valor de verdad de la proposicion p q esta dado por la tabla:

1.4 Tablas de certeza

Example 1.10. Determinar si los siguientes razonamientos con validos.

Denition 1.14. 1. Una proposicion compuesta se llama tautologa si sus valores

2. Una proposicion compuesta se llama contradiccion si sus valores de certeza son

3. Si una proposicion compuesta no cumple las condiciones de 1 o 2, entonces se dice

Example 1.11. 1. Mostrar que [(p q) q] q es tautologa.

2. Mostrar que p p es contradiccion.

3. Mostrar que q p es contingente.

Denition 1.15. Se dice que una proposicion p implica tautologicamente a q si y solo

Denition 1.16. Dos proposiciones son logicamente equivalentes si en cualquier asig-

Example 1.12. Mostrar que p q q p.

1.5 Reglas de Inferencia

Denition 1.17. 1. Modus Ponendo Ponens (MPP):

2. Modus Tollendo Tollens (MTT):

3. Doble negacion (DN):

4. Regla de adjuncion (RA):

5. Regla de simplicacion (RS):

6. Modus Tollendo Ponens (MTP):