Lógica y Conjuntos PDF

MATEMATICA
BASICAS

SEMILLEROS DE MATEMATICAS
Luis Recalde
Doris Hinestroza
Luisa Fernanda Vargas
Olmedo Moreno
Indice
Introducci
on IV
1 Introduccion a la logica simb olica 1

1.1 Lenguaje cotidiano, Logica y lenguaje matematico . . . . . . 2
1.1.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.2 Estructura logica de los argumentos . . . . . . . . . . 6
1.2 Logica Proposicional . . . . . . . . . . . . . . . . . . . . . . 7
1.2.1 Definicion de proposicion . . . . . . . . . . . . . . . . 7
1.2.2 Clasificacion de las proposiciones . . . . . . . . . . . 10
1.2.3 La importancia del lenguaje simbolico . . . . . . . . 15
1.2.4 Componentes de la logica proposicional . . . . . . . . 16
1.2.5 Tautologas . . . . . . . . . . . . . . . . . . . . . . . 23
1.2.6 Contradiccion . . . . . . . . . . . . . . . . . . . . . . 27
1.2.7 Razonamientos . . . . . . . . . . . . . . . . . . . . . 27
1.3 Logica de predicados: cuantificadores . . . . . . . . . . . . . 33
1.3.1 Algunas simbolizaciones . . . . . . . . . . . . . . . . 35
1.3.2 Negacion de los cuantificadores . . . . . . . . . . . . 38
1.4 Metodos de demostracion . . . . . . . . . . . . . . . . . . . . 39
1.5 Autoevaluacion . . . . . . . . . . . . . . . . . . . . . . . . . 45
1.6 Rompecocos . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
1.7 Desafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2 Nociones fundamentales de conjuntos 52

2.1 Sobre la definicion de conjuntos . . . . . . . . . . . . . . . . 53
2.1.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . 53
2.1.2 Como referirse a conjuntos . . . . . . . . . . . . . . . 55
2.2 Principios basicos para la formacion de conjuntos . . . . . . 56
2.2.1 Axioma de extension . . . . . . . . . . . . . . . . . . 56
i
ii 0. Indice
2.2.2 La relacion de inclusion . . . . . . . . . . . . . . . . 57

2.2.3 Principio de Separacion . . . . . . . . . . . . . . . . 59
2.2.4 El conjunto vaco . . . . . . . . . . . . . . . . . . . . 60
2.3 Principio de pares . . . . . . . . . . . . . . . . . . . . . . . . 62
2.4 Operaciones con Conjuntos . . . . . . . . . . . . . . . . . . . 63
2.4.1 La union . . . . . . . . . . . . . . . . . . . . . . . . . 63
2.4.2 La interseccion . . . . . . . . . . . . . . . . . . . . . 65
2.4.3 La diferencia . . . . . . . . . . . . . . . . . . . . . . 66
2.4.4 El complemento de un conjunto . . . . . . . . . . . . 67
2.4.5 El producto cartesiano . . . . . . . . . . . . . . . . . 69
2.4.6 El conjunto de partes . . . . . . . . . . . . . . . . . . 71
2.5 Conjuntos coordinables, relaciones . . . . . . . . . . . . . . . 72
2.6 Autoevaluacion . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.7 Rompecocos . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
2.8 Desafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
3 Sistemas num ericos 79

3.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
3.2 Los numeros naturales . . . . . . . . . . . . . . . . . . . . . 81
3.2.1 La definicion de los numeros naturales . . . . . . . . 81
3.2.2 Operaciones usuales entre los n umeros naturales . . . 83
3.2.3 Orden en los n umeros naturales . . . . . . . . . . . . 87
3.2.4 Numeros primos . . . . . . . . . . . . . . . . . . . . . 89
3.2.5 Algoritmo de la division . . . . . . . . . . . . . . . . 91
3.2.6 Sistemas de numeracion . . . . . . . . . . . . . . . . 91
3.2.7 Sistemas de numeracion antiguos . . . . . . . . . . . 93
3.2.8 El sistema binario o sistema de numeracion en base 2 96
3.3 Los numeros enteros . . . . . . . . . . . . . . . . . . . . . . 99
3.3.1 Definicion de los numeros enteros . . . . . . . . . . . 99
3.3.2 Las operaciones usuales con los n umeros enteros . . . 101
3.3.3 Orden y representacion de los n umeros enteros Z . . 103
3.4 Los numeros racionales . . . . . . . . . . . . . . . . . . . . . 105
3.4.1 Definicion de los numeros racionales . . . . . . . . . . 105
3.4.2 Operaciones entre n umeros racionales . . . . . . . . . 106
3.4.3 Orden y densidad de los racionales . . . . . . . . . . 111
3.5 Los numeros reales . . . . . . . . . . . . . . . . . . . . . . . 112
3.5.1 La representacion geometrica de los n umeros reales . 114
3.5.2 Representacion decimal de los n umeros reales . . . . 118
. iii
3.5.3 Operaciones entre n umeros reales . . . . . . . . . . . 119

3.5.4 Los n umeros reales como una estructura axiomatica . 121
3.5.5 Potencias enteras . . . . . . . . . . . . . . . . . . . . 124
3.5.6 Potencias racionales . . . . . . . . . . . . . . . . . . 126
3.5.7 Orden en los Reales . . . . . . . . . . . . . . . . . . . 130
3.5.8 El valor absoluto . . . . . . . . . . . . . . . . . . . . 136
3.6 Los numeros complejos . . . . . . . . . . . . . . . . . . . . . 141
3.7 Autoevaluacion . . . . . . . . . . . . . . . . . . . . . . . . . 152
3.8 Rompecocos . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
3.9 Desafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
Introducci
on
Este modulo hace parte del proyecto SEMILLEROS promovido por el

Departamento de Matematicas de la Universidad del Valle. Los contenidos
recogen las experiencias, como siempre heterogeneas, de varios a nos de do-
cencia e indagacion de un colectivo de profesores y monitores que participan
en el proyecto.
A traves del proyecto SEMILLEROS hemos aceptado el desafo de en-
frentar el problema de formacion matematica de nuestros bachilleres. Como
se ha repetido en diferentes instancias, el bajo perfil matematico de los estu-
diantes que ingresan a la universidad exige respuestas concretas. Uno de los
aspectos que se ha detectado tiene que ver con la distancia conceptual entre
las matematicas del bachillerato y las matematicas universitarias. Mientras
que en el bachillerato se difunde unas matematicas operativas, intuitivas y
de sentido com un, en la universidad se apunta mas a la parte conceptual,
abstracta y general. En este sentido, este modulo constituye una propuesta
de enlace entre estos dos universos.
Intentaremos hacer una presentacion dinamica, no necesariamente tradi-
cional, de algunos temas que constituyen la base del edificio matematico. En
este libro abordaremos estudiamos la logica, los conjuntos y los n umeros
reales. Mas que una carga de teoremas, definiciones y conceptos se tra-
ta de avivar el gusto por las demostraciones, los conceptos y las nociones
matematicas a traves de problemas, ejercicios y pasatiempos que permitan
incentivar la capacidad de analisis, simplificacion y argumentacion.
Manejamos la idea de que las matematicas son un producto cultural. Ellas
constituyen un continente variado que puede ser visitado y comprendido
por cualquiera en condiciones normales. En este sentido, creemos que todos
podemos transitar por su geografa, y disfrutar del recorrido.
Los materiales estan dise
nados para que el estudiante pueda interactuar
con ellos, retomar los conceptos y abordar los interrogantes.
iv
. v
En este libro abarcamos los siguientes captulos:
1. Introduccion a la logica simbolica.
2. Nociones fundamentales de conjuntos.
3. Sistemas numericos.
En el primer captulo buscamos que los estudiantes se apropien del lenguaje

simbolico de las matematicas y que manejen algunos de los procesos de argu-
mentacion y validacion usados en las demostraciones matematicas. Haremos
una presentacion generica de la logica proposicional, de los cuantificadores
tpicos usados en matematicas y de los metodos de demostracion mas uti-
lizados.
En el segundo captulo nos proponemos hacer una exposicion general de
algunos nociones basicas de la teora de conjuntos; disciplina que constituye
la base teorica de diversas ramas de la matematica. Al inicio presentamos el
problema de las paradojas, el cual emerge por la definicion intuitiva de con-
junto. Estudiamos las operaciones de union, interseccion y diferencia entre
conjuntos. Al final, aprovechamos la nocion de cardinalidad para introducir
los conjuntos infinitos.
En el tercer captulo hacemos una presentacion de los sistemas numeri-
cos tpicos: naturales, enteros, racionales e irracionales, los cuales conforman
el conjunto de los n umeros reales. No hacemos una presentacion formal,
sino que intentamos un proceso constructivo abstracto que tiene como pun-
to de partida a los n umeros naturales; luego de definir las operaciones de
suma y producto estableceremos generalizaciones para la introducci on de los
n umeros enteros y los racionales. El problema se presenta al intentar car-
acterizar y generalizar las operaciones de los n umeros irracionales; para ello
utilizaremos la representacion geometrica instaurada por el matematico y
filosofo frances Rene Descartes, la cual permite establecer la suma y el pro-
ducto de segmentos. Al final hacemos una presentacion general del sistema
de los n umeros complejos, sus operaciones y algunas propiedades
Hemos intentado combinar en cada uno de los captulos la parte concep-
tual con la operativa. Discutimos las definiciones y nociones b asicas, pre-
sentamos ejemplos tpicos y demostramos algunos teoremas fundamentales.
Para ello utilizamos algunos indicadores visuales que permiten al lector ubi-
carse en el contexto.
El diagrama:
vi 0. Introducci
on
BObservaci
on:
se utiliza para llamar la atencion sobre algunos aspectos conceptuales que

se esconden en las definiciones y los teoremas y que no se han establecido
de manera explicita.
El diagrama:
Actividad
constituye una invitacion para que el lector ponga en juego sus conocimientos
e identifique sus falencias a traves del ejercicios y problemas tpicos de cada
una de las tematicas en consideracion.
En cada uno de los captulos proponemos algunos problemas de alto nivel
conceptual, mediante los cuales se intenta ir mas alla de la formacion basica.
Son ejercicios que seguramente exigiran un poco de dedicacion, pero que,
estamos seguros, puede resolver quien haya seguido con atencion la parte
teorica. Para llamar la atencion en estos problemas usamos el smbolo:
DesafoS
En cada uno de los captulos intentamos reforzar los conceptos a traves
de algunos retos y pasatiempos. En este sentido utilizamos el smbolo:
Rompe coco S
Captulo 1
Introduccion a la l
ogica
simbolica
Objetivos
A traves de este captulo esperamos favorecer en el lector su capacidad de
razonar matematicamente. Si bien la argumentacion y la demostracion no
son cuestiones propias de la actividad matematica, constituyen uno de los
pilares fundamentales del quehacer de los matematicos. En este sentido es-
peramos que al finalizar el estudio de esta unidad, el lector haya desarrollado
las competencias necesarias para que pueda:
Reconocer y utilizar los principios logicos generales usados en matema-

ticas.
Adquirir familiaridad y destreza en el uso de las proposiciones, las

tablas de verdad y los razonamientos tanto en la logica proposicional
como en el calculo de predicados.
Identificar los metodos de demostracion que se utilizan en matematicas.
1
2 1. Introducci
on a la l
ogica simbolica
1.1. Lenguaje cotidiano, L

ogica y lenguaje
matematico
En la figura aparece un fragmento del cuadro de
Rafael, La escuela de Atenas. Arist
oteles y Platon
ocupan la parte central de la jerarqua intelectu-
al del pensamiento griego. Aristoteles escribio el
primer tratado de Logica.
1.1.1. Introducci
on
Empezaremos considerando algunos aspectos generales de la logica que nos
ayuden a entender la forma de razonar en matematicas. Para ello es necesario
que precisemos las nociones de deduccion, proposicion y argumentacion. Nos
interesa que nuestros lectores reconozcan la diferencia entre la forma como
se validan los razonamientos que aparecen en nuestras relaciones sociales, y
aquellos que pertenecen al ambito matematico.
Es un hecho que la logica no pertenece exclusivamente a las matematicas,
sino que hace parte de nuestra cultura. Constituye uno de los monumentos
teoricos de mayor vala. Obviamente existe una logica cotidiana que uti-
lizamos sin haber abordado estudios especializados. Por ejemplo, cuando
argumentamos sobre las ventajas de tal o cual ideologa o interpretamos las
inhumanas consecuencias del capitalismo salvaje, estamos aplicando logica.
Como lo expresa Estanislao Zuleta:
Y en efecto, la l
ogica no es una alternativa por la que podamos optar;
no podemos decir si vamos a emplearla o no. Resulta inevitable y
esta presente en cada frase que pronunciamos ya que continuamente
estamos enunciando proposiciones l ogicas. Cuando decimos por ejem-
plo que algo es necesario que una cosa depende de otra, que un even-
to es la causa de otro cuando indicamos una contradicci on o una
imposibilidad, una implicaci on o una dependencia, estamos haciendo
l
ogica, aunque no seamos conscientes de ello. La logica siempre se
supone de antemano. Podemos discutir si estamos construyendo cor-
rectamente un razonamiento; pero no podemos discutir si estamos o
no estamos empleando la l ogica.1
1
Estanislao Zuleta (Medelln, 1935. Cali, 1990). Eminente fil
osofo, profesor de la Uni-
ogica y lenguaje matematico 3
De acuerdo a la afirmacion del profesor Zuleta se puede afirmar que hay

una logica inmersa en nuestra relacion cotidiana con los otros. Para entender
este aspecto leamos con detenimiento la siguiente situacion:
Lisa va sonriente por una calle de Springfield y de pronto se encuentra

a Nelson.
Nelson: Hola Lisa por que tan sonriente?
Lisa: Vengo de una clase muy chevere de Logica en los Semilleros de

Matematicas de la Universidad del Valle.
Nelson: y . . . que es eso de la logica?
Lisa: Es un poco complicado explicartelo, pero voy a darte un ejemplo.

Estas cursando el grado tercero, verdad?
Nelson: Si.
Lisa: Estudias todos los das y haces todas las tareas.
Nelson: Claro que si.
Lisa: Eso quiere decir que ganaras el a

no y como premio tu papa te
llevara de paseo.
Nelson: Ah, si, es correcto.
Lisa: Pues, eso es la logica.

Nelson sigue caminando y se encuentra a Bart.
Bart: Hola Nelson por que tan alegre?
Nelson: Me encontre con Lisa y me explico lo que es la logica.
Bart: Logica? Que es eso?

versidad del Valle. Fue un autodidacta infatigable que mantuvo una honda preocupaci on
por la problematica social y educativa en Colombia. La mayora de sus publicaciones cor-
responden a conferencias y clases que con gran maestra imparta en la Universidad del
Valle. Este p
arrafo corresponde a un fragmento de su libro L
ogica y crtica.
4 1. Introducci
on a la l
ogica simbolica
Nelson: Es difcil explicarlo, pero voy a darte un ejemplo. Estas cur-

sando el grado tercero, verdad?
Bart: No, estoy cursando el grado segundo.
Nelson: Ja, ja. . . , entonces tu papa no te llevara de paseo.
Actividad 1.1.
1. Estas de acuerdo con la conclusi
on de Nelson?
2. Que conclusion podras sacar de la respuesta de Bart?
Que es entonces la Logica? No es facil establecer una definicion acabada

de la logica. En muchas instancias se define la logica como la ciencia que da
cuenta de las leyes del pensamiento. Esta definicion no es satisfactoria pues
el estudio del pensamiento corresponde mas a la psicologa que a la logica.
Definicion. La l
ogica tiene por objeto el estudio de los metodos y prin-
cipios que permiten distinguir entre los buenos argumentos (argumentos
correctos o argumentos validos) y los malos argumentos (argumentos no
correctos o argumentos invalidos).
Cuando discutimos sobre alg un tema y defendemos una posicion determi-

nada, recurrimos a justificaciones que muestren la validez de nuestro punto
de vista. Las justificaciones que usamos con el proposito de convencer sobre
la veracidad de nuestras ideas es lo que constituye un argumento. El proble-
ma fundamental de la logica es determinar cuando un argumento es correcto
o no.
Pero no podemos enga narnos, los estudios de logica no nos proporcionan
un metodo universal para determinar si un argumento cualquiera es correcto
o no. Tampoco existen formulas magicas que nos revelen todos los secretos
del buen argumento. Pero un estudio apropiado de la logica nos hace acree-
dores de muchas tecnicas y metodos de verificacion aceptados socialmente.
Definici on. Un argumento es un conjunto de una o mas oraciones; una

de ellas se denomina conclusi
ony las otras se denominan premisas.
ogica y lenguaje matematico 5
De acuerdo a la definicion anterior las premisas son el vehculo que con-

duce a la conclusion. Un argumento relaciona las premisas con la conclusion.
En este sentido un argumento es valido cuando podemos demostrar que la
conclusion se deduce de las premisas.
La logica formal trata del estudio sistematico de los argumentos y es-
tablece metodos socialmente aceptados para la argumentacion. Por ejemplo,
en el argumento siguiente, en el cual la conclusion se ha separado de las dos
premisas por medio de la lnea horizontal, no se requiere mas que el signifi-
cado de terminos como ((todos)), y ((es)), para aceptar que la conclusion se
sigue de las premisas; en este caso decimos que el argumento es correcto.
Todos los logicos son felices.
Aristoteles es logico.
Luego, Arist oteles es feliz.
Podremos asegurar que cualquier argumento que presente la misma forma
es un argumento correcto. Por ejemplo:
Todos los futbolistas son presumidos.
Maradona es futbolista.
Luego, Maradona es presumido.
Observemos que la forma del argumento garantiza la validez del mismo,
a pesar que desconozcamos el significado de cada uno de los terminos em-
pleados. De esta manera, los argumentos anteriores pueden esquematizarse
en el siguiente modelo:
Todo aquello que cumple la propiedad A, cumple la propiedad B.
x cumple la propiedad A.
Luego, x cumple la propiedad B.
Lo anterior refuerza la afirmacion de que ((la logica formal es la ciencia
que estudia la forma de los argumentos)).
Actividad 1.2.
Lea detenidamente el siguiente parrafo:
((Si los mejores equipos de f
utbol del mundo estan en Colombia y Ameri-
ca es el campeon de Colombia, entonces America es el mejor equipo de
f
utbol del mundo)).
Trate de convencer a su compa nero m as cercano de que la conclusi
on es
correcta.
6 1. Introducci
on a la l
ogica simbolica
1.1.2. Estructura l
ogica de los argumentos
Analicemos el siguiente argumento:
Todas los animales mamferos son animales terrestres.

Las ballenas son animales mamferos.
Luego las ballenas son animales terrestres.
Este argumento tiene una disposicion similar a la de los ejemplos ante-
riores, lo cual significa que tiene la misma forma o estructura l
ogica. Desde
un punto de vista formal es correcto. Sin embargo, nos incomoda el hecho de
que las ballenas no son animales terrestres. Esto no debe confundirnos, pues
una cosa es el proceso argumentativo y otra cosa es el significado de lo que
se expresa en las premisas y en la conclusion. Lo anterior quiere decir que
lo correcto o no de un argumento depende de la forma en que se relacionan
las oraciones que los componen sin importar su significado.
BObservaci on. Lo correcto o no de un argumento depende de la

forma en que se relacionan las oraciones que los componen sin importar
su significado.
Actividad 1.3.
Escoja un contexto determinado recomendamos aquel en que usted
tenga mayor dominio y piense por un momento como definira lo ver-
dadero y lo falso en el mismo.
Para reafirmar lo anterior, observemos que el siguiente argumento es

correcto, aunque no sepamos de lo que estamos hablando.
Todos los Cronopios son Famas;

Los Payaras son Cronopios.
Luego, los Payaras son Famas.
En los ejemplos anteriores hemos utilizado la expresion ((todos)) para
caracterizar propiedades de los habitantes de universos particulares. Hay
argumentos en los que no se utiliza esta expresion, pues se hace referencia a
casos especficos; tal es el caso del siguiente argumento:
1.2. Logica Proposicional 7
Si Pele jugo en Santos, no jug

o en Corinthias;
Pele jugo en Santos.
Luego, Pele no jugo en Corinthias.
Los argumentos de los primeros ejemplos corresponden a la logica de pred-

icados, mientras el u
ltimo ejemplo pertenece a la logica proposicional. Em-
pezaremos estudiando los principios basicos de la logica proposicional.
1.2. L
ogica Proposicional
1.2.1. Definici
on de proposici
on
En muchos de nuestros argumentos utilizamos oraciones las cuales pode-
mos decidir si son falsas o verdaderas. Sin embargo en muchas ocasiones,
esa valoracion depende de algunas circunstancias. Por ejemplo el enunciado
((La esperanza es azul))corresponde a una oracion con sentido completo en el
idioma espa nol, pero no podemos decir si es verdadera o falsa. En nuestra
experiencia personal nos encontramos frases como las siguientes:
1. Es mejor tomar chocolate que cafe.
2. ojala llueva!
3. En que a
no murio Pitagoras?
4. Gaudi fue un escritor catalan.
5. Gracias a Dios soy ateo
6. Prohibido prohibir
Observemos que la cuarta oracion es la u nica que podemos valorar. La

segunda oracion corresponde a un deseo. La tercera oracion corresponde a
una interrogacion. No tiene sentido decidir si un deseo o un interrogante es
falso o verdadero. La quinta oracion no es proposicion pues su significado
depende del lector. La sexta oracion corresponde a una paradoja, pues ella
se niega a s misma.
El estudio que iniciamos corresponde al tipo de enunciados semejantes
al cuarto caso, que denominamos proposiciones.
8 1. Introducci
on a la l
ogica simbolica
Definicion. Una proposici

on es una oraci on declarativa que en un con-
texto particular podemos decir si es falsa o verdadera.
Ejemplos.
1. La frase ((Cervantes escribio el Quijote)) es una proposicion.
2. Las frases ((Cervantes escribio el Quijote?)), y ((quiero aprender matematicas))

no son proposiciones.
Una proposicion puede ser expresada por diferentes enunciados. Por

ejemplo, las dos oraciones siguientes, aunque no estan escritas de igual forma,
expresan lo mismo:
1. Shakespeare escribio Hamlet
2. Hamlet fue escrito por Shakespeare.
Incluso un enunciado puede expresar diferentes proposiciones, de acuerdo

al contexto donde se presente; por ejemplo la frase ((este a no es bisiesto))
puede ser falsa o verdadera, dependiendo del a no en que se enuncie. En
matematicas no nos interesan este tipo de proposiciones, ni aquellas que
varen de acuerdo a los cambios de lugar o de temperatura.
Actividad 1.4.
1. Formule cinco ejemplos de proposiciones.
2. Formule cinco ejemplos de expresiones que no sean proposiciones.
3. Formule tres ejemplos de expresiones que den cuenta de una misma

proposici
on.
4. Formule un enunciado que en tres contextos diferentes de lugar a tres

proposiciones distintas.
En ocasiones es no es sencillo definir los conceptos de verdad y falsedad;

incluso hay casos en los cuales es imposible escoger entre estas dos asigna-
ciones de manera precisa, pero sabemos que se da una de ellas. Con esto
queremos decir que hay proposiciones verdaderas cuya verdad ignoramos.
Esto significa que una cosa es el valor de verdad de una proposicion (el que
sea verdadera o falsa) y otra el conocimiento que tenemos de este valor de
verdad.
Ejemplos.
1. 3 + 4 = 5.
2. El caballo es un animal bpedo.
3. La igualdad x + 7 = 9 se cumple para x = 2.
4. 12 < 5.
5. Existio la Atlantida.
Los anteriores enunciados son ejemplos de proposiciones; la primera, la

segunda y la cuarta son falsas, la tercera es verdadera; la quinta es ver-
dadera o falsa, pero no estamos en condiciones de decidir cual asignacion le
corresponde.
10 1. Introducci
on a la l
ogica simbolica
Actividad 1.5.
1. Analice el enunciado: ((Real Madrid es el mejor equipo del mundo)).
Considera que es una proposici
on?
2. Considera que el enunciado: ((todos los n

umeros primos son impares)),
es una proposicion?
3. De los siguientes enunciados diga cu

ales son proposiciones.
a) El cuadrado es m
as grande que el crculo.
b) Si dos rectas son perpendiculares se intersectan.
c) x2 + 1 0.
d) Si x2 = 9, entonces x = 3.
4. Considera que el enunciado: ((el exito del proceso de paz en Colombia

no s
olo depende de los negociadores de la guerrilla y el gobierno sino
de la existencia y puesta en pr actica de unas polticas de justicia
social)) es una proposicion?
5. Cree usted que toda oracion del lenguaje ordinario corresponde a

una proposici
on? Justifique su respuesta.
1.2.2. Clasificaci
on de las proposiciones
Lea detenidamente el siguiente parrafo escrito por el argentino Jorge Luis
Borges que aparece en El libro de lo seres imaginarios:
Paracelso limito su habitacion a las aguas, pero los antiguos las

dividieron en Ninfas de las aguas y de la tierra. De estas ultimas
algunas presidan sobre los bosques. Las Hamadradas moraban
invisiblemente en los arboles y perecan con ellos.
Observe que es un enunciado que consta de varias oraciones. Si anal-

izamos con detenimiento el parrafo en consideracion, vemos consta de las
siguientes oraciones simples, las cuales hemos enunciado efectuando los re-
spectivos ajustes.
a. Paracelso limito la habitacion de las Ninfas a las aguas.

b. Los antiguos dividieron las Ninfas en Ninfas de las aguas y de la tierra
c. Algunas Ninfas de la tierra presidan sobre los bosques
d. Las Hamadradas moraban invisiblemente en los arboles y perecan

con ellos
Cada una de las oraciones anteriores corresponde a una proposicion. De

esta forma, en logica distinguimos dos tipos de proposiciones:
1. simples o atomicas.
2. compuestas o moleculares.
Las proposiciones atomicas son aquellas proposiciones afirmativas que no

pueden descomponerse en otras mas simples. En el lenguaje natural corre-
sponden a oraciones que tienen un solo verbo conjugado y tienen la estruc-
tura:
Sujeto - Verbo - Complemento.
Las proposiciones simples carecen de terminos de enlace o conectivos.
Ejemplos.
1. El sol es una estrella.
2. Shakespeare escribio Cien a

nos de soledad.
Las proposiciones moleculares corresponden a las negaciones o a aquellas

que se componen de dos o mas proposiciones simples articuladas a traves de
conectivos logicos. Generalmente se utilizan los siguientes conectivos.
Conectivo Tipo
((y)) Conjuncion.
((o)) Disyuncion.
((si, entonces)) Condicional.
((si y solo si)) Bicondicional.
12 1. Introducci
on a la l
ogica simbolica
La negacion no articula proposiciones, sino que ((interviene)) sobre una

proposicion cambiandole el sentido. En el lenguaje natural este conectivo
se expresa mediante los terminos: ((no es cierto que)), ((no ocurre que)), ((no
sucede que)), ((es falso que)), o simplemente ((no)).
Ejemplos.
1. No es cierto que la luna sea de queso.
2. Colombia no es un pas europeo.
3. No todos los colombianos cuentan con un empleo digno.
La conjuncion relaciona dos o mas enunciados a traves de terminos como

((y)), ((sin embargo)), ((pero)), ((aunque)), ((ademas)), etc. Tambien el punto
seguido y el punto y coma se interpretan, en ocasiones, como conjunciones.
Ejemplos.
1. Cuba es un pas sudamericano y Camer

un es un pas africano.
2. Verde es el color de la esperanza; rojo el de la pasion.
3. Aunque Mosc
u es una ciudad fra, es hermosa.
4. Las matematicas alegran la vida, pero tambien nos hace mejores ciu-
dadanos.
Notemos que la presencia de la ((y)) no implica que el enunciado sea

compuesto, tal es el caso de la frase: ((Batman y Robin constituyen el d
uo
dinamico)).
Una disyunci on es una proposicion compuesta que se forma cuando rela-

cionamos dos proposiciones a traves del vocablo ((o)). Las disyunciones se
clasifican en inclusivas y exclusivas. En las disyunciones exclusivas solo uno
de los enunciados se cumple, mientras que en las disyunciones inclusivas se
pueden dar los dos casos.
Ejemplos.
1. Colombia es una rep

ublica o es una monarqua.
2. Los animales son carnvoros o son herbvoros.
3. Pele jugo en el Santos o Pele jugo en America.
4. Todo n
umero natural es par o impar.
Las proposiciones 1 y 4 son exclusivas, puesto que no se puede dar a la

vez que un estado sea republicano o monarquico a la vez; ni existen n umeros
que cumplan la propiedad de ser pares e impares de manera simultanea. La
proposicion 2 es inclusiva, puesto que existen animales que son simultanea-
mente carnvoros y herbvoros. La proposicion 3 es inclusiva, pues es posible
encontrar jugadores que hayan militado en dos equipos diferentes.
La disyuncion exclusiva se usa en casos particulares; en general, en matematicas
nos interesan las disyunciones inclusivas. Por este motivo usaremos el termi-
no disyuncion para referirnos a las disyunciones inclusivas.
Una implicacion es una proposicion compuesta que se forma al unir dos

proposiciones a traves del conectivo condicional. Las proposiciones enlazadas
se denominan antecedente y consecuente seg un el esquema:
si [antecedente], entonces [consecuente].
En este esquema se muestra que si el antecedente se tiene, tambien se tiene el

consecuente. Por ejemplo, cuando decimos: ((si la luna es de queso, entonces
Cali es la capital de Colombia)); no estamos afirmando que la luna sea de
queso, sino que si fuera de queso, entonces Cali sera la capital de Colombia.
Ejemplos.
1. Si Maradona es argentino, entonces es un buen futbolista.

Antecedente: Maradona es argentino.
Consecuente: Maradona es un buen futbolista.
2. Si cuatro es un n
umero par, entonces es un n
umero impar.
Antecedente: cuatro es un n
umero par.
Consecuente: cuatro es un n
umero impar.

3. Si 2 es un n umero natural, entonces 2 es un n
umero racional.
Antecedente: 2 es un numero natural.
Consecuente: 2 es un n umero racional.
14 1. Introducci
on a la l
ogica simbolica
4. Si Picasso escribio la Ilada, entonces Homero pinto el Guernica.

Antecedente: Picasso escribio la Ilada.
Consecuente: Homero pinto el Guernica.
A pesar de que algunas proposiciones no aparecen siguiendo el esquema si

[antecedente], entonces [consecuente], se pueden llevar a un enunciado condi-
cional que tiene la misma significacion. As, podemos obtener las siguientes
expresiones, equivalentes a cada una de las anteriores.
Ejemplos.
1. Maradona es argentino, por lo tanto es un buen futbolista.
2. Cuatro es un n
umero impar, si es un n
umero par.

3. 2 es un n
umero racional, siempre que 2 sea un n
umero natural.
4. Picasso escribio la Ilada, luego Homero pinto el Guernica.
La implicacion corresponde al tipo de proposicion mas importante en

logica, pues constituye el medio a traves del cual se demuestra la validez de
un argumento.
El bicondicional corresponde a la conjuncion de dos condicionales medi-

ante el uso de la expresion ((si y solo si)).
Ejemplos.
1. Los ping
uinos son aves si y solo si vuelan.
2. El 7 es un n
umero primo si y solo si solo es divisible por 1 y 7.
3. Bogota es una ciudad sudamericana si y solo si es la capital de Colom-

bia.
4. Platon es un filosofo griego si y solo si nacio en Atenas.

Actividad 1.6.
1. Escriba tres ejemplos de conjunciones.
2. Formule tres ejemplos de disyunciones.
3. De tres ejemplos de implicaciones.
on: ((Gauss describi

4. Determine si la oraci o y demostro el teorema fun-
damental de algebra)) es una proposici
on simple o compuesta.
5. Como diferencia las oraciones simples de las compuestas?
1.2.3. La importancia del lenguaje simb

olico
Bertrand Russell (1872-1970) matem atico, fil
osofo y
l
ogico britanico. Planteaba que la matem atica es un
captulo de la l
ogica, en lo que se conoce como el logicis-
mo. Escribio, junto con su compatriota Whitehead, un
monumento te orico denominado Principia Matem atica,
mediante el cual buscaba constituir un lenguaje simboli-
co propio de la matem atica. Tambien hizo aportes a la
teora de conjuntos.
El lenguaje que usamos para comunicarnos cotidianamente puede presen-

tar ambig uedades o imprecisiones que llevan a distintas interpretaciones de
un mismo enunciado. Una misma frase puede significar cosas diferentes, de-
pendiendo si se dice con irona, placer, alegra o debido a las propiedades
polisemicas de algunas palabras. Por ejemplo la frase: ((Lo verdaderamente
importante es aquello que cada persona lleva en su interior)) podra inter-
pretarse de modos totalmente diferentes dependiendo si es enunciada por el
Dalai Lama o por Jack el Destripador.
En otras ocasiones, la interpretacion depende de los signos de puntuacion.
Por ejemplo, el sentido de la siguiente oracion es ambivalente.
Cafe puro y copa a un peso cada uno son...
Si colocamos la coma como aparece a continuacion se entendera que el

precio total es tres pesos:
16 1. Introducci
on a la l
ogica simbolica
Cafe, puro y copa a un peso cada uno son... .
Es un hecho que enfrentaramos grandes inconvenientes si intentamos ar-

gumentar retoricamente a traves de largas y difciles cadenas argumentativas
usando el lenguaje natural. La logica simbolica ha desarrollado un sistema
de representacion que nos brinda una descripcion precisa de los argumentos
y evita vaguedades en el significado de las ideas que se quieren transmitir.
Esto permite decidir, de una manera precisa, la validez de los argumentos a
partir de esquemas que nos ayudan a visualizar la forma en que funcionan
los procedimientos deductivos.
La necesidad de un lenguaje simbolico se hace evidente en los procesos
operativos de la matematica en general.
A partir de estas aclaraciones, demos inicio al estudio de la logica proposi-
cional.
1.2.4. Componentes de la l
ogica proposicional
Como en cualquier lenguaje, en la logica proposicional se distinguen dos
aspectos complementarios: la sintaxis y la sem antica. La sintaxis consiste
en una serie de reglas para la conformacion de enunciados significativos.
La semantica consiste en establecer el significado que corresponde a cada
enunciado.
Sintaxis
Los smbolos del alfabeto de la logica proposicional son de tres tipos: letras
proposicionales, logicos y de puntuacion.
1. Letras proposicionales: corresponden a las letras del alfabeto con o sin

subndices.
2. Smbolos logicos: , , , , .
3. Smbolos de puntuacion: (, ).
El nombre de los smbolos logicos y su interpretacion al espa

nol aparecen
a continuacion.
Smbolo Nombre Observaciones

( Parentesis izquierdo.
) Parentesis derecho.
Negacion. Espa
nol: no.
Conjuncion. Espa
nol: y.
Disyuncion. Espa
nol: o.
Implicacion. Espa
nol: si... entonces.
Doble implicacion. Espa
nol: si y solo si.
Definici on. Una palabra del lenguaje de la l ogica proposicional es una

sucesion cualquiera de letras proposicionales, smbolos l
ogicos y de pun-
tuaci
on.
Al igual que en el idioma espa nol, no todas las palabras (constituidas

como antes) tienen sentido. Por ello es necesario precisar algunas reglas
sintacticas para obtener las formulas proposicionales o formulas bien for-
madas: fbf.
Las formulas bien formadas (fbfs) se construyen de acuerdo a las sigu-
ientes reglas:
1. Los smbolos proposicionales son fbf.
2. Si es una fbf, tambien lo es ().
3. Si y son fbfs, tambien lo son
a) () (),
b) () (),
c) () () y
d ) () ().
4. Solo son fbfs las que se obtienen por los pasos anteriores.
Ejemplos.
1. (p) es una fbf.

18 1. Introducci
on a la l
ogica simbolica

2. (p) (q) es una fbf. En este caso = (p) y = (q).

3. (p) (q) (r) es una fbf. En este caso = (p) (q) y
= r.

4. (p) (q) (r) ( (q)) (r) es una fbf. Para este caso

tenemos que = (p) (q) (r) y = (q) (r).
se obtiene de 1 = (p) (q) y 2 = r, cada una de las cuales son
fbfs. A su vez se obtiene de 1 = (q) y 2 = r.
5. La expresion p q no es una fbf, pues no se puede obtener aplicando

las reglas dadas antes.
6. Las expresiones s (q ) y ()(q p) no son fbfs. Por que?
BObservaci on. En la medida que no se produzcan confusiones es

conveniente presentar las fbf con el menor numero de parentesis posible.
para ello se establecen las siguientes convenciones:
1. Las f
ormulas atomicas no necesitan parentesis.
2. El smbolo de la negaci
on act
ua sobre la fbf m
as corta a su derecha.
uan , y luego
3. Cuando una fbf tiene varios conectivos, primero act
, .
Ejemplos.
1. En lugar de la fbf (p) se puede escribir p.

2. La fbf (p) (q) puede escribirse como p q.

3. La fbf (p) (q) (r) , podemos escribirla como p q r.
4. Al simplifica parentesis no necesarios en la fbf

(p) (q) (r) ( (q)) (r)
quedara (p q) r ( q r).
En general, denominaremos a las fbfs, formulas proposicionales o simple-

mente proposiciones.
Actividad 1.7.
1. Dar cinco ejemplos de f ormulas proposicionales construidas a partir
de las letras proposicionales p, q y r.
2. Dar cinco ejemplos de f ormulas, construidas a partir de las letras

proposicionales p, q y r que no sean f
ormulas proposicionales.
3. Si simbolizamos por:
p : ((Leonardo Di Caprio protagoniz

o el Titanic)).
q : ((Leonardo Da Vinci pint
o la Monna Lisa)).
r : ((Beethoven compuso el Himno a la alegra)).
Simboliza las proposiciones siguientes:

a) Si Leonardo Di Caprio protagoniz
o el Titanic o Leonardo Da Vin-
ci pint
o la Monalisa, entonces Beethoven no compuso el Himno
a la alegra.
b) Si Leonardo Da Vinci pint o la Monna lisa y Leonardo Di Caprio
protagoniz o el Titanic, entonces Beethoven compuso el Himno a
la alegra.
c) Si Leonardo Di Caprio protagonizo el Titanic, entonces Leonardo
Da Vinci no pint
o la Monna lisa.
d) O Beethoven no compuso el Himno a la alegra o Leonardo Di
Caprio protagoniz
o el Titanic.
e) Si Beethoven compuso el Himno a la alegra, entonces Leonardo
Da Vinci no pinto la Monna lisa y Leonardo Di Caprio protago-
niz
o el Titanic.
f ) Si Leonardo Di Caprio protagoniz o el Titanic y Leonardo Da
Vinci pint o la Monna lisa, entonces Beethoven compuso el Himno
a la alegra.
20 1. Introducci
on a la l
ogica simbolica
Sem
antica: asignaciones de verdad
La semantica de la logica proposicional consiste en asignarle un valor de

verdad a cada fbf. Esto se hace a partir de algunas reglas elementales, es-
tablecidas de manera convencional.
Definicion. Una asignaci on consiste en caracterizar cada una de las

letras proposicionales del lenguaje como verdaderas, simbolicamente V ,
o falsas, simbolicamente F . Estas caracterizaciones son denominadas
valores de verdad.
De acuerdo a la definicion anterior, si u nicamente contamos con una fbf

con una letra proposicional solo habra dos (21 ) asignaciones: la que le asigna
el valor V y la que le asigna el valor F . Para fbf que contienen solo dos letras
proposicionales el numero de asignaciones sera cuatro (22 ), puesto que una
letra puede tomar dos valores por cada uno de los que toma la otra. De
esta forma, si se tienen fbf con solo tres letras proposicionales, el n
umero de
asignaciones sera ocho (23 ), y as sucesivamente.
En general, las asignaciones se presentan en forma de tabla. Por ejemplo,
para el caso de fbf con tres letras proposicionales la asignacion se suele
presentar de la siguiente manera:
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Despues de asignar los valores V y F a cada una de las letras proposi-

cionales de una fbf, se establece el valor de verdad de la formula. Esto se
hace tomando como referencia las reglas para la negacion, la disyuncion, la
conjuncion, el condicional y el bicondicional.
BObservaci on. Estas asignaciones no excluyen cierta arbitrariedad,

puesto que la logica proposicional solo es un modelo para cierto tipo
de argumentos y no tiene que dar cuenta de todas las inferencias posi-
bles; sin embargo, constituye una herramienta fundamental en la for-
malizacion de las matematicas.
Para la visualizacion de las reglas basicas se utilizan las tablas de verdad .

A continuacion presentamos algunas de estas tablas.
1. La negaci
on.
Si p es verdadera entonces p es falsa. Si p es falsa, p es verdadera.
La tabla de verdad quedara:
p p
V F
F V
2. La conjunci
on.
p q es verdadera si y solo si p y q son ambas verdaderas. La tabla de
verdad de p q (conjunci on) esta dada por:
p q pq
V V V
V F F
F V F
F F F
3. La disyunci
on.
p q es verdadera si y solo si al menos una de las dos proposiciones es
verdadera. La tabla de verdad de p q (disyunci on) esta dada por:
p q pq
V V V
V F V
F V V
F F F
22 1. Introducci
on a la l
ogica simbolica
4. La implicaci
on.
La proposicion p q, (p implica q), se conoce como proposicion
condicional; a p se le llama antecedente y a q consecuente. Ademas se
dice que
p es condicion suficiente para q y,

q es condicion necesaria para p.
p q es falsa u
nicamente en el caso en que p es verdadera y q falsa.
Su tabla de verdad esta dada por:
p q p q
V V V
V F F
F V V
F F V
on.
Definici
a) A la proposicion q p se le llama la recproca de la proposicion
p q.
b) A la proposicion q p se le llama la contrarrecproca de la

on p q.
proposici
Ejemplo.
La recproca de (p q) r es r (p q) y la contrarrecproca es
r ( (p q)).
5. La doble implicaci
on.
La proposicion p q sera verdadera si p y q son verdaderas o p y q
son falsas. Su tabla de verdad esta dada por:
p q p q
V V V
V F F
F V F
F F V
Actividad 1.8.
1. Dar un ejemplo de dos proposiciones con sentido preciso en un cier-
to contexto (escogido por usted). Seleccione una de ellas como an-
tecedente y la otra como consecuente, de tal forma que el antecedente
se interprete como falso y el consecuente como verdadero, con lo cual
la implicaci
on es verdadera, pero que en el contexto tal interpretaci
on
para la implicacion resulte absurda.
Si asignamos los valores de verdad a un conjunto de letras proposi-

cionales, quedan determinados, de manera u nica, los valores de verdad para
cada formula que contenga algunas de estas letras.
Ejemplos.
Sea el conjunto de letras proposicionales: {p, q, r, s}; sea la asignacion p = V ,

q = F , r = F y s = V . Para la las formulas:
= (p r) ( q s)
y
= (s q) p,
tenemos que = F y = V.
1.2.5. Tautologas
Definicion. Una tautologa es una formula proposicional que es ver-

dadera para todas las asignaciones hechas a las letras que simbolizan las
proposiciones que la componen.
24 1. Introducci
on a la l
ogica simbolica
Ejemplos.
1. La proposicion p ( p) es una tautologa. Para comprobar esto

es suficiente observar su tabla de verdad:
p p ( p) p ( p)
V F V V
F V F V
2. La proposicion (p q) ( p q) es una tautologa.
p q p pq p q (p q) ( p q)
V V F V V V
V F F F F V
F V V V V V
F F V V V V
3. La proposicion (p q) (p q) es una tautologa.
p q q (p q) p q (p q) (p q)
V V F F F V
V F V V V V
F V F F F V
F F V F F V
Definici ogicamente equivalentes si

on. Dos formulas y son l
es una tautologa. Si y son l
ogicamente equivalentes se escribe
Note que si y tienen la misma tabla de verdad entonces y son

logicamente equivalentes.
Ejemplos.
1. ( p) p, puesto que ( p) p es una tautologa, como se

mostro en el ejemplo anterior.
2. (p q) ( p q), puesto que (p q) ( p q) es una

tautologa, como se mostro en el ejemplo anterior.
3. (p q) (p q), puesto que (p q) (p q) es una

tautologa, como se mostro en el ejemplo anterior.
4. p q q p puesto que (p q) ( q p) es una

tautologa, como lo muestra su tabla de verdad.
p q p q p q q p (p q) ( q p)
V V F F V V V
V F F V F F V
F V V F V V V
F F V V V V V
Actividad 1.9.
Demuestre que las siguientes formulas son tambien tautologas:
1. Reduccion al absurdo

(p q) (p q) (r r) .
2. Leyes de De Morgan
a) (p q) ( p q).
b) (p q) ( p q).
Demostrar que una fbf es una tautologa con tablas de verdad puede re-
sultar bastante agotador, especialmente si se tienen muchas letras proposi-
cionales. En el caso de 2 smbolos proposicionales se tienen 4 casos; para 3
smbolos se tienen 8 casos y para 4 smbolos, 16 casos. Sin embargo no es
necesario dar todas las asignaciones; basta con tener en cuenta ciertos casos.
Por ejemplo para demostrar que una fbf no es una tautologa es suficiente
mostrar una asignacion que la haga falsa.
26 1. Introducci
on a la l
ogica simbolica
Ejemplos.

1. La proposicion, (p q) s q no es una tautologa, porque
para la asignacion p = F , q = F y s = V , ella es falsa.

p q s (p q) s (p q) s q
F F V V F
2. Para mostrar que la proposicion (p q) ( q p) es

una tautologa, supongamos que para una asignacion ella es falsa. De
acuerdo a las reglas de asignacion expuestas anteriormente, tendramos
que (p q) sera verdadera y ( q p) falsa. ( q p) es
falsa cuando p es falsa y q verdadera, o sea, cuando p es verdadera
y q falsa. Pero eso significa que p q sera falsa; lo cual no puede
darse porque habamos partido de que era verdadera. Por lo tanto, no
podra ser nunca falsa, sino todo lo contrario. Eso significa que es una
tautologa.
Actividad 1.10.
on (p q r) (p s) s r es una
1. Muestre que la proposici
tautologa.
2. Demuestre las siguientes equivalencias logicas.
a) ( p) p (doble negaci
on).
b) (p q) p q (ley de De Morgan).
c) (p q) p q (ley de De Morgan).
d) p q q p (ley Conmutativa).
e) p q q p (ley Conmutativa).
3. Encuentre las f
ormulas y para que las siguientes equivalencias se
cumplan:
a) .
b) .
1.2.6. Contradicci
on
una proposicion que siempre es falsa es llamada una contradicci
on.
Ejemplo.
1. Considerando la tabla de verdad de la proposicion p p tenemos

una contradiccion.
p p p p
V F F
F V F
Observemos que si una proposicion es una tautologa, entonces su

negacion es una contradiccion.
1.2.7. Razonamientos
Definici on.
1. Un razonamiento simple est a dado por una cadena de proposiciones
P1 , P2 , ..., Pn (premisas), y una conclusi
on C.
2. Decimos que el razonamiento anterior es v alido (correcto) si la impli-

cacion, P1 P2 . . . Pn C es una tautologa. En caso contrario
se dice que el razonamiento no es v alido (incorrecto).
3. El proceso mediante el cual se demuestra que un razonamiento es

v
alido se denomina deducci
on.
Generalmente, un razonamiento se presenta escribiendo de manera ver-

tical las premisas e identificando la conclusion abajo de una raya horizontal
como en el esquema siguiente:
P1 ,
P2 ,
..
.
Pn ,
C.
28 1. Introducci
on a la l
ogica simbolica
Ejemplos.
1. El razonamiento
p q,
p,
q.
consta de dos premisas: las proposiciones p q y la proposicion p; la

conclusion es q. Es un razonamiento valido puesto que la proposicion
(p q) p q es una tautologa.
2. El razonamiento
p r,
p,
r,

no es valido, puesto que (p r) p r no es una tau-
tologa.
Como se ha referido antes, demostrar que una proposicion es una tau-

tologa puede ser un proceso muy dispendioso. Por tal motivo se establecen
algunos razonamientos validos, denominados reglas de inferencia, los cuales,
en conjunto con las equivalencias, se toman como punto de partida para
hacer deducciones. Para la logica proposicional es suficiente la de Modus
Ponendo Ponens, sin embargo listaremos algunas de las mas usadas.
Regla 1 (pp). Regla 2 (tt).

Modus Ponendo Ponens. Modus Tollendo Tollens.
p q, p q,
p, q,
q. p.
Regla 3 (tp). Regla 4 (s).

Modus Tollendo Ponens. Simplificacion.
p q, p q,
p, q, p q, p q,
q. p. p. q.
Regla 5 (a).
Ley de adjuncion.
p, q,
q, p, p,
p q. p q. q p.
Regla 6 (sh). Regla 7 (dp).

Silogismo Hipotetico. Simplificacion disyuntiva.
p q,
q r, p p,
p r. p.
Ejemplo.
Demostrar la validez del siguiente razonamiento:

p q,
p,
t q,
t.
Ahora identifiquemos las premisas y la conclusion; usaremos las abrevia-
ciones P para las premisas y C para la conclusion.
P1 : p q,
P2 : p,
P3 : t q,
C : t.
30 1. Introducci
on a la l
ogica simbolica
Una manera de validar este resultado es demostrar que

( p q) p ( t q) t,
es una tautologa. Sin embargo, este proceso resulta dispendioso debido a
que debemos manejar tres variables. En este caso vamos a validar el razon-
amiento descomponiendo en pasos simples la inferencia.
Paso 1.
P2 : p,
C1 : ( p).
Resultado que se obtiene aplicando la equivalencia de la doble negacion.
Paso 2.
C1 : ( p),
P1 : p q,
C2 : q.
El cual se obtiene aplicando la regla 3 (tp).
Paso 3.
P3 : t q,
C2 : q,
C3 : ( t).
El cual se obtiene aplicando la regla 2 (tt).
Paso 4.
C3 : ( t),
C: t.
Resultado que se obtiene aplicando la equivalencia de la doble negacion.
En general, cada paso no se hace independiente sino que se presenta
integrado, escribiendo al lado la explicacion pertinente:
P1 : p q,
P2 : p,
P3 : t q,
P4 : ( p), doble negacion P2 .
P5 : q, tp P1 , P2 .
P6 : ( t), tt P3 , P5 .
C : t, doble negacion P6 .
Actividad 1.11.
En cada uno de los casos siguientes, establezca una deduccion si es cor-
recto y si es incorrecto, halle una asignaci
on que lo muestre.
P1 : q (p q), P1 : s (t u),
P2 : p q, P2 : s ( r t),
1. 4.
P3 : s q, P3 : s,
C : q. C : r u.
P1 : s t,
P1 : r t,
5. P2 : u s t,
2. P2 : s r,
C : s u.
C : s t.
P1 : p t,
P1 : t q s, P2 : p (q u),
P2 : t q t, P3 : ( r q) ( t),
6.
3. P3 : t q, P4 : r d,
P4 : u s q, P5 : d q,
C : u. C : u.
Ejemplo.
Demostrar la validez del siguiente razonamiento:

Si Thomas Mann escribi o la Monta na M agica y Arist oteles es un
fil
osofo griego, entonces Atenas es la capital de Grecia o es la capi-
tal de Italia. Si Atenas es la capital de Italia o Aristoteles no es un
fil
osofo griego, entonces Thomas Mann no escribi o la Monta na Magi-
ca. Thomas Mann escribi o la Montana M agica. Por lo tanto, Atenas
es la capital de Grecia.
El primer paso es simbolizar las proposiciones atomicas:

p : Thomas Mann escribio la Monta
na M
agica.
q : Aristoteles es un filosofo griego.
r : Atenas es la capital de Grecia.
s : Atenas es la capital de Italia.

32 1. Introducci
on a la l
ogica simbolica
A continuacion, identificamos las premisas y la conclusion:
P1 : (p q) (r s)
P2 : (s q) p
P3 : p
C : r
Reiteramos que una manera de validar este resultado sera demostrar que

(p q) (r s) (s q) p p r
es una tautologa.
Usando las reglas de inferencia se seguira el siguiente proceso:
P1 : (p q) (r s),
P2 : (s q) p,
P3 : p,
P4 : (s q), tt P2 , P3 .
P5 : s ( q), leyes de De Morgan P4 .
P6 : ( q), simplificacion P5 .
P7 : q, doble negacion P6 .
P8 : p q, adjuncion P3 , P7 .
P9 : r s, mp P1 , P8 .
P10 : s, simplificacion P5 .
C : r tp P9 , P10 .
1.3. Logica de predicados: cuantificadores 33
Actividad 1.12.
Simboliza los siguientes razonamientos y determina si son correctos o
no.
1. Si Manuel es docente no es ignorante. O Manuel es apostador o es

ignorante. Manuel es docente. Luego Manuel no es apostador.
2. Si X es un hombre que no fue creado por ning un otro hombre, en-

tonces X es Dios. Si X fue creado por otro hombre, entonces o el
o alguno de sus familiares fue creado por Dios o X tiene infinitos
familiares. Si el universo fue creado, X no tiene infinitos familiares.
Dios existe, tanto si X es Dios como si X o alguno de sus familiares
fue creado por Dios. Por tanto, si el universo fue creado, Dios existe.
3. Si el hurac
an Gustavo pasa por Cuba, llegara a la Florida. El huracan
Gustavo no llegara a la Florida. O el hurac
an Gustavo ser a de grado
dos o no se convertir
a en tormenta. Nueva Orleans desaparecer a si el
hurac an Gustavo no pasa por Cuba. Nueva Orleans no desaparecer ao
el huracan Gustavo se convertir
a en tormenta. Por lo tanto el huracan
Gustavo sera de grado dos.
1.3. L
ogica de predicados: cuantificadores
La logica proposicional no es suficiente para simbolizar todos los enunciados
matematicos o los retoricos.
El objeto de la logica de predicados es formalizar las frases declarativas
que tienen variables considerando su estructura interna. A traves de la logica
de predicados se simbolizan los enunciados que expresan relaciones entre
objetos genericos, as como tambien sus cualidades y atributos.
Definici on. Un predicado es un enunciado que contiene variables que

se relacionan. Las variables de la logica de predicados pueden ser seres
vivos, objetos fsicos o conceptos matematicos y se conocen como termi-
nos del predicado.
Los ejemplos mas comunes de razonamientos con predicados son los sil-
ogismos. Un silogismo clasico es el siguiente:
34 1. Introducci
on a la l
ogica simbolica
Todo hombre es mortal.

S
ocrates es hombre.
Luego, Socrates es mortal.
Intuitivamente sabemos que el argumento es valido. Sin embargo, si in-

tentamos demostrarlo a traves de la logica proposicional, tomando:
p : Todo hombre es mortal.

q : Socrates es hombre.
r : Socrates es mortal,
tendramos un razonamiento de la forma:

p,
q,
r,
el cual no permite obtener la conclusion como consecuencia logica de las
premisas. Se hace, entonces necesario estudiar la estructura interna de las
proposiciones. Para ello escribamos las dos premisas del silogismo de la sigu-
iente forma:
Todo individuo que es hombre, es un individuo mortal
S
ocrates es hombre
En la expresion ((Todo individuo que es hombre)), la palabra ((individuo))

corresponde a un variable. Simbolizando esta palabra con la letra x, podemos
representar la expresion en consideracion por ((Todo x, tal que x es hombre)).
Si ahora simbolizamos ((Todo x)), por x y ((x es hombre)), por H(x), ten-
dremos que la expresion ((Todo individuo que es hombre)), se simbolizara
como: x H(x), y se lee ((para todo x, tal que es x es hombre)).
Hemos introducido la notacion H(x) para referirnos a la proposicion ((x es
un hombre)), donde el smbolo H denota el predicado ((ser hombre)), mientras
que x denota el sujeto. De esta manera la expresion ((Socrates es hombre)), se
representa por H(Socrates). En general se conviene, para nombres propios,
colocar u nicamente la primera letra del nombre. As, ((Socrates es hombre))
se representa por H(S).
Analogamente podemos utilizar el smbolo M para el predicado ((ser
mortal)), de tal forma que M(x) designa la expresion ((x es mortal)). La
simbolizacion del silogismo anterior quedara:

x H(x) M(x) ,
H(S),
M(S).
En general podemos representar enunciados en donde aparecen predica-
dos referidos a mas de una variable. Por ejemplo la expresion matematica
x + y = z que designa el enunciado ((la suma de x y y es igual a z)), se puede
escribir como el predicado S(x, y, z). As S(2, 3, 5) expresa que la suma de
2 y 3 es 5, es decir 2 + 3 = 5, que es un enunciado verdadero; mientras que
S(3, 2, 4) expresa que 3 + 2 = 4, lo cual es falso.
BObservaci on. Al utilizar simbolizaciones de la l

ogica de predicados
es indispensable fijar un universo o dominio del discurso, es decir fijar
el conjunto que ((recorren)) las variables. Por ejemplo, en el caso del
predicado H(x), el universo de la variable x corresponde a los seres
humanos. El universo del predicado S(x, y, z) corresponde a los numeros
reales.
En logica de predicados tambien se utiliza el cuantificador existencial

para simbolizar expresiones como ((existe
un numero real que es la suma de
2 y 3)) que se representa como: x S(2, 3, x) .
1.3.1. Algunas simbolizaciones

A continuacion presentamos algunas simbolizaciones tpicas. El estudiante
debe verificar que efectivamente con el predicado designado, la formula in-
terpreta la expresion.

1. Dado el predicado P (x), x es un n umero par. x P (x) simboliza la
expresion ((todos los n
umeros son pares)).
2. Sean los predicados P (x), x es un n

umero par, e I(x), x es un n
umero
impar.
a) P (1237) simboliza ((1237 es un n

umero par)).
b) I(1237) simboliza ((1237 es un n
umero impar)).

c) x P (x) I(x) simboliza ((todo n umero par es impar)).
36 1. Introducci
on a la l
ogica simbolica

d ) x I(x) simboliza ((hay por lo menos un n
umero impar)).

e) x P (x) I(x) simboliza ((ningun n
umero par es un numero
impar)).

f ) x P (x) I(x) simboliza la misma expresion del tem ante-
rior.
3. Sea el predicado S(x, y), x + y es par, y los predicados del caso anterior.

a) x P (x) S(x, 10) simboliza ((todo n umero par sumado con
10 es par)).

b) x P (x) S(x, 1) simboliza ((alg un numero par sumado con 1
es par)).

c) x S(x, x) simboliza ((ning un numero sumado con el mismo
es par)).

d ) x I(x) z S(z, x) simboliza ((ning
un n umero impar
sumado con otro n umero es par)).
4. Dados los predicados A(x), x es A y B(x), x es B.

a) x A(x) B(x) simboliza ((todo A es B)).

b) x A(x) B(x) simboliza ((alg un A es B)).

c) x A(x) B(x) simboliza ((ning un A es B)).

d ) x A(x) B(x) simboliza ((algun A no es B)).
5. Sea el predicado H(x, y), x es hermano de y, C simboliza Carlos, P

simboliza Pedro y M simboliza Mara.
a) H(C, P ) H(C, M) simboliza ((Carlos es hermano de Pedro y

Mara)).

b) x H(C, x)H(x, M) simboliza ((todos son hermanos de Carlos
y Mara)). En este caso utilizamos el hecho que el predicado H es
conmutativo; esto es, si ((x es hermano de y)), tambien se da que
((y es hermano de x)).

c) x H(x, C)H(x, M) simboliza ((Carlos y Mara tienen al menos
un hermano)).
6. Sean los predicados P H(x), x es un poltico honesto, V (x, y), x vota

por y y D(x, y), x es diferente de y.

x P H(x) y ( V (x, y) D(x, y) )
simboliza ((Todo poltico honesta vota solamente por alguien diferente

a s mismo)).
Actividad 1.13.
1. Simbolice completamente las siguientes proposiciones.
a) Ning
un hombre es a la vez loco y cuerdo.
b) Todo hombre es mortal.
c) Ning
un n
umero es a la vez par e impar.
d) Todo n
umero real es positivo si y solo si es mayor que cero.
e) No todos los n
umeros reales son positivos.
2. Fijando como universo el conjunto de los seres vivos actualmente:
a) Simbolice los predicados:

i) x es hombre.
ii) x es mujer.
iii) x es madre de y.
iv) x es padre de y.
b) Con las simbolizaciones del tem anterior, definir los predicados:
i) x es hijo de y.
ii) x es abuela paterna de y.
iii) x no tiene hijas.
iv) x es hermano de y por parte de padre y madre.
38 1. Introducci
on a la l
ogica simbolica
1.3.2. Negaci
on de los cuantificadores
Definicion. Las negaciones de los cuantificadores estan dadas por las

siguientes dos reglas.
1. x P (x) x P (x).
2. x P (x) x P (x).
Ejemplos.
Tomando como universo los filosofos y los predicados G(x), x es genial e

I(x), x es incoherente, tenemos:
1. El enunciado ((todos los filosofos son geniales)) quedara x G(x) y su

negacion sera x G(x), que simboliza el enunciado ((algunos filosofos
no son geniales)).
2. El enunciado ((existen algunos filosofos que son geniales, pero incoher-

entes)), quedara
x G(x) I(x)
y su negacion sera:
x G(x) I(x)
que simboliza el enunciado ((todos los filosofos no son geniales o no son
incoherentes)).
BObservaci on. En general un cuantificador universal no se puede

conmutar con un cuantificador existencial. Es decir, la f
ormula:

x y R(x, y) ,
no siempre tiene la misma significaci

on que la f
ormula:

y x R(x, y)
1.4. Metodos de demostracion 39
Ejemplo.
Sea el predicado M(x, y), y es la madre de x. Observe que las dos siguientes
sentencias se diferencian u nicamente en el intercambio de los cuantificadores,
sin embargo no tienen la misma significacion:

1. La formula x y M(x, y) simboliza el enunciado ((Para todo ser hu-
mano existe una madre)).

2. La formula y x M(x, y) simboliza el enunciado ((existe una madre
para todos los seres humanos)).
Actividad 1.14.
1. Traduzca a lenguaje simb
olico las siguientes proposiciones y sus ne-
gaciones:
a) La ecuaci
on x + 1 = 0 tiene soluci
on en los n
umeros naturales.
b) Alg
un n
umero entero es par.
c) Los argentinos son modestos o no son futbolistas.
2. Escriba la negaci on de las siguientes proposiciones cuantificadas e in-

terpretelas en el lenguaje ordinario, tome como referencia el universo
de los numeros reales:
a) x (x2 = 0).
b) x (0,3 < x < 0,31).
c) x y (x + y = y + x).
d) x y (x + y = 0).
1.4. M
etodos de demostraci
on
La logica como disciplina cientfica se inicio en la antig
uedad griega. Aristoteles
consideraba la logica como un requisito para poder abordar estudios en
filosofa, astronoma y matematicas. Los principios logicos constituyen la
base de la demostracion matematica. A traves de la logica se busca librar
40 1. Introducci
on a la l
ogica simbolica
las demostraciones de argumentos subjetivos. Los procesos demostrativos en

matematicas no dependen del gusto o de sentimientos personales, sino de los
acuerdo sociales que se han construido en el acontecer historico.
El proceso mediante el cual se manipulan las nociones matematicas se
denomina el metodo axiomatico. Un sistema axiomatico consta de tres ele-
mentos basicos:
1. Los conceptos matematicos: dados a traves de las definiciones o de
manera nominal (simplemente se nombran).
2. Algunas propiedades de los objetos que se toman como puntos de par-
tida: los postulados o axiomas.
3. Las proposiciones: los teoremas, corolarios y lemas.
Los conceptos matematicos se definen y se relacionan guardando tres
principios:
1. El principio de identidad.
2. Principio de no contradicci
on.
3. El tercero excluido.
El principio de identidad permite hacer sustituciones y equivalencias. El
principio de no contradiccion evita que dos enunciados contrarios se den al
mismo tiempo. El tercero excluido establece que un enunciado solo puede
ser falso o verdadero.
Definicion. Un axioma es una proposici

on fundamental de un sistema
axiomatico que se toma como verdadera sin demostracion alguna.
Para poder establecer propiedades de los conceptos matematicos no son

suficientes los axiomas y las definiciones; es necesario establecer los teoremas.
Definicion. Un teorema matematico es un enunciado sobre los objetos

matematicos que debe ser demostrado.
Una demostraci on es un proceso deductivo, el cual tiene como punto de
partida las hip
otesis y como punto de llegada la tesis. La cual se con-
cluye usando las definiciones, los postulados y los teoremas previamente
demostrados.
Todo teorema es de la forma:
Hipotesis entonces Tesis,

H T .
Ejemplo.
En el teorema: ((si n es un numero par, entonces n2 es par)), la hipotesis es

umero par)) y la tesis es ((n2 es par)).
((n es un n
Es importante observar que el teorema haba podido ser enunciado sin
el formato H T , de la siguiente forma: ((todo n umero par elevado al
cuadrado es par)).
Actividad 1.15.
Identificar la hip
otesis y la tesis de los siguientes enunciados:
1. Si la cantidad de vehculos aumenta en una ciudad entonces la con-

taminacion tambien aumenta.
2. Si dos circunferencias son tangentes exteriormente, la distancia entre

sus centros es igual a la suma de sus radios.
3. Un n
umero es divisible por dos si la ultima cifra es par.
4. Los angulos opuestos por el vertice son iguales.
5. Si , y son los angulos interiores de un tri

angulo entonces su
suma es igual a 180 grados.
6. Si un n
umero divide a otros dos, divide a sus diferencias.
El proceso demostrativo se hace a traves de la aplicacion de los principios

logicos que hemos establecido. Esquematicamente, un proceso demostrativo
42 1. Introducci
on a la l
ogica simbolica
se puede sintetizar de la siguiente manera:

H Hipotesis.

Argumentaci on l
ogica.
Se usan definiciones, teoremas y

axiomas.

T Conclusion.
Para demostrar el teorema, H T se procede as:
1. Suponemos que las hipotesis H, se cumplen; es decir son enunciados

matematicos verdaderos.
2. A partir de la hipotesis construimos un proceso argumentativo, en

el cual podemos utilizar las definiciones, los axiomas y teoremas ya
demostrados, para obtener, mediante la aplicacion de las reglas de
deduccion logica, la validez de T .
3. En estas instancias concluye la prueba y queda establecida la validez

de H T .
La mayor dificultad radica en establecer los elementos del apartado 2. Si

bien no existe un procedimiento universal, para desarrollar demostraciones
se pueden hacer de manera directa o indirecta.
Ejemplo.
Demostremos de manera directa la proposicion: ((la suma de dos n umeros

impares es un n umero par)).
Al identificar el antecedente y el consecuente, el teorema quedara: si a y
b son numeros impares, entonces a + b es un n umero par.
Demostraci on: Sean los numeros impares a y b. Dado que a impar y
b impar, entonces a = 2n + 1 y b = 2k + 1, n, k enteros; ello significa que
a + b = (2n + 1) + (2k + 1), entonces a + b = 2(n + k + 1). Por lo tanto, a + b
es par.
Actividad 1.16.
Demuestre, usando el metodo directo, que ((la suma de tres enteros con-
secutivos es m
ultiplo de tres)).
No siempre es posible demostrar un teorema de forma directa. En muchas

ocasiones hay que recurrir el metodo de reducci on al absurdo, para ello se
afirma la hipotesis y se niega la conclusion y se intenta generar una con-
tradiccion. Esquematicamente este metodo se puede describir de la siguiente
manera:
1. Queremos demostrar el teorema H T .
2. Suponemos que su negacion (H T ) es verdadera.
3. A partir de procesos deductivos intermedios obtenemos una proposi-

cion del tipo Q Q.
4. Como la teora es consistente, entonces no puede darse (H T ),

sino su negacion (H T ), la cual es logicamente equivalente a
H T , que es la proposicion que queramos demostrar.
El metodo de reduccion al absurdo se fundamenta en las dos siguientes

equivalencias logicas:
(H T ) es equivalente a H , T , simbolicamente:
(H T ) H T.
H T es equivalente a H T Q Q, simbolicamente:
H T (H T ) (Q Q).
Ejemplo.
Demostrar utilizando el metodo de reduccion al absurdo el teorema: si a2 es

par entonces a es par.
44 1. Introducci
on a la l
ogica simbolica
a2 par y a impar. Afirmacion de hipotesis y negacion de la tesis.

a = 2k + 1, k entero. Definicion n
umero impar.
a2 = (2k + 1)2 . Ley uniforme.
a2 = 4k 2 + 4k + 1. Producto.
a2 = 2(2k 2 + 2k) + 1. Ley distributiva.
s = 2k 2 + 2k es entero. Ley clausurativa de la suma y el producto.
a2 = 2s + 1. Sustituyendo.
a2 impar. Definicion de n
umero impar.
a2 par y a2 impar. Conjuncion (contradiccion).
Actividad 1.17.
Demuestre, usando el metodo de reducci on al absurdo que para a, b
umeros reales, si a b = 0, entonces a = 0 o b = 0.
n
1.5. Autoevaluaci
on 45
1.5. Autoevaluaci
on
Para cada pregunta se
nale la respuesta.
1. El objetivo de la logica es:
a) Diferenciar lo verdadero de lo falso.

b) Una cualidad del pensamiento humano.
c) Un captulo de la psicologa.
d ) Caracterizar los argumentos correctos e incorrectos.
e) Ninguno de los anteriores.
2. Epimenides el cretense afirma: ((todos los cretenses son mentirosos)).
a) Epimenides es un mentiroso.
b) Epimenides dice la verdad.
c) Todos los cretenses son mentirosos.
d ) Epimenides dice la verdad si y solo si miente.
e) Ninguno de los anteriores.
3. Se
nale cual de los siguientes enunciados es una proposicion.
a) Ojala que gane el America!.

b) Deseo que me ame Sharon Stone.
c) Shakespeare pinto la Monna Lisa.
d ) Garca Marquez es mejor escritor que Octavio Paz.
e) Ninguna de las anteriores.
4. Una de las siguientes expresiones no es una formula proposicional.
a) p q r.
b) p q r.
c) ( p q) (r t).
d ) p t q r.
46 1. Introducci
on a la l
ogica simbolica
5. Una de las siguientes formulas no es una tautologa.
a) (p q) ( p q).
b) (p q) ( q p).
c) (p q) ( p q).
d ) (p q) (p q).
6. Una regla de inferencia es:
a) Una proposicion verdadera.

b) Un razonamiento incorrecto.
c) Un razonamiento correcto.
d ) Un razonamiento verdadero.
7. Sea el predicado A(x, y), x es el padre de y. La expresion A(x, y)

A(y, z) significa:
a) x es padre de z.
b) x es el abuelo de z.
c) y es hermano de z.
d ) x es to de z.
e) No tiene sentido.
8. La negacion de la proposicion ((Nadie que ame a Juan es amigo de

Beto)) es:
a) Todo aquel que ame a Juan no es amigo de Beto.

b) Si alguien ama a Juan, entonces no es amigo de Beto.
c) Existe alguien que ama a Juan y no es amigo de Beto.
d ) Los amigos de Beto aman a Juan.
9. La negacion de la formula x y (x + y = 0) es:

1.5. Autoevaluaci
on 47
a) x y (x + y = 0).
b) x y (x + y = 0).
c) x y (x + y > 0).
d ) x y (x + y = 0).
10. Uno de los siguientes enunciados es falso.
a) Un teorema es un enunciado que necesita demostracion.

b) Un axioma es un enunciado que no necesita demostracion.
c) Existen enunciados que no son teoremas.
d ) El metodo de reduccion al absurdo es un metodo de demostracion
directa.
e) Todas las anteriores.
48 1. Introducci
on a la l
ogica simbolica
1.6.
Rompe coco S
Para poder realizar este taller vamos a aceptar algunas reglas de juego:
Toda frase es o bien verdadera o bien falsa.

Si una frase es verdadera su negacion es falsa y viceversa.
Las reglas que normalmente utilizamos en nuestro lenguaje y el sentido
com
un.
1. Epimenides, un filosofo y poeta que vivio en Cnossus, la capital de

Creta, a finales del siglo vii a. C. enuncio la siguiente frase:
El cretense Epimenides dice que los cretenses son embusteros.
Deca la verdad Epimenides?
2. Alicia en el Bosque del Olvido.

Cuando Alicia entro en el Bosque del Olvido no olvido todo, solamente
ciertas cosas. A menudo olvidaba su nombre, y una de las cosas que
mas disposicion tena a olvidar era el da de la semana. Ahora bien,
el Leon y el Unicornio visitaban frecuentemente el bosque. Los dos
eran criaturas extra nas. El Leon menta los lunes, martes y miercoles
y deca la verdad los otros das de la semana. El Unicornio, por otra
parte, menta los jueves, viernes y sabados, pero deca la verdad los
restantes das de la semana.
Un da Alicia se encontro con el Leon y el Unicornio que descansaban
bajo un arbol. Ellos dijeron lo siguiente:
Leon: Ayer fue uno de los das en los que me tocaba mentir.
Unicornio: Ayer tambien fue uno de los das en los que me tocaba
mentir.
A partir de estos dos enunciados Alicia (que era una chica muy lista)
fue capaz de deducir el da de la semana. Que da era este?
1.6. Rompecocos 49
3. En una cueva se encuentran tres cofres, de tal manera que solo uno de
ellos contiene un tesoro. Sobre cada cofre hay una inscripcion, como en
la siguiente figura, y u
nicamente una de esas afirmaciones es verdadera.
Cofre A Cofre B Cofre C
El tesoro esta en El tesoro no esta en El tesoro no esta en

este cofre. este cofre el cofre A
Deduzca, (no adivine) cual es el cofre que contiene el tesoro.
4. Hay cinco mujeres de espalda, tres de las cuales tienen ojos azules y
dos, ojos negros. El u nico dato que me dan es que las que tienen los
ojos azules dicen siempre mentiras y las que tienen los ojos negros
dicen siempre la verdad. Tengo que averiguar cuales son las de los ojos
negros y cuales las de los ojos azules. Pero para poder averiguar esto
me dan la oportunidad de hacer tres preguntas a las cinco mujeres.
Entonces (suponiendo que las mujeres estan en orden) le pregunta a
la primera: De que color tiene usted los ojos? Y resulta que ella me
contesto en Chino, y como yo de Chino ni idea, pues quedo en las
mismas. Decido entonces preguntarle a la segunda: De que color dijo
la primera que tena los ojos? Ella me responde: la primera dijo que
tena los ojos azules. Bueno, como solo me queda una pregunta, le
pregunto a la tercera: De que color tienen los ojos las dos primeras
mujeres? Ella me responde: la primera los tiene negros y la segunda
los tiene azules. Con estos datos puedo saber con absoluta certeza cual
es el color de los ojos de cada una de ellas. Como puede ser posible
esto?
5. Durante una antigua guerra tres prisioneros fueron llevados a un cuar-

to. En el lugar haba una gran caja que contena tres sombreros blancos
y dos sombreros negros. A cada prisionero se le vendaron los ojos y
le fue puesto en la cabeza uno de los sombreros. Los hombres fueron
colocados en filas, uno tras otro, dirigidos hacia la pared. Al prisionero
que se encontraba mas alejado le fue quitado el vendaje y se le per-
mitio mirar los sombreros de los dos prisioneros que se encontraban
delante de el. Si deduca el color del sombrero colocado en su cabeza,
sera puesto en libertad. Sin embargo, fue incapaz de decirlo. Luego le
50 1. Introducci
on a la l
ogica simbolica
fue quitado el vendaje al siguiente prisionero, quien poda ver solo el

sombrero del hombre ubicado delante de el. A este prisionero tambien
se le dio la misma oportunidad del anterior, pero tampoco pudo de-
ducir el color de su sombrero. El hombre restante, dijo a los guardias
que el color del sombrero sobre su cabeza era blanco y entonces fue
dejado en libertad. Como dedujo el color de su sombrero?
6. Alicia, Betty, Carol y Dorotea eran salvavidas, abogado, piloto o pro-

fesora. Cada una vesta un traje blanco, amarillo, rosa o azul. El sal-
vavidas le gano a Betty en tenis, y Carol y la piloto frecuentemente
juegan cartas con la mujer vestida de rosa y con la de azul. Alicia y la
profesora envidian a la mujer de azul, quien no es la abogada, porque
esta siempre viste de blanco. Cual es la ocupacion y el color de vestido
de cada una?
7. Se dice que el filosofo Kant era de costumbres tan regulares que los
habitantes de Konigsberg aprovechaban su paso por determinados lu-
gares para poner en hora sus relojes.
Una tarde, Kant tuvo la desagradable sorpresa de encontrarse con que
el reloj de su casa se haba parado; era evidente que su criado, que
tena el da libre, se haba olvidado darle cuerda. El gran filosofo no
se atrevio a ponerlo en la hora porque su reloj de bolsillo estaba en
reparacion, y no tena modo de saber la hora exacta. Poco despues
se fue caminando hasta la casa de su amigo Schmidt, un comerciante
que viva a un par de kilometros de su casa. Al entrar en casa de su
amigo se fijo en la hora que marcaba un reloj de pared que estaba en
el portico.
Tras pasar algunas horas en casa de Schmidt, Kant se fue de regreso a
su casa por el mismo camino por el que haba venido. Paseaba, como
siempre, con el mismo paso constante y regular que no haba cambiado
en veinte anos. No tena la menor idea de cuanto haba tardado en hacer
el camino de regreso, pues Schmidt se haba mudado recientemente y
Kant no haba cronometrado a un el trayecto. Sin embargo, apenas
llego a su casa, puso el reloj en hora.
Como pudo saber Kant que hora era exactamente?
1.7. Desafos 51
1.7.
DesafoS
1. Usando predicados binarios, y asumiendo que la relacion ((ser amigo
de)) es simetrica. Es decir, si la simbolizamos por A(x, y) (lease este
predicado binario por x es amigo de y), entonces para todos x, y se
tiene que A(x, y) implica A(y, x).
Simbolice el siguiente razonamiento:
Todo aquel que aprecie a Jorge escogera a Pedro para su partido.

Pedro no es amigo de nadie que sea amigo de Juan. Luis no
acogera a nadie para su partido que no sea amigo de Carlos. Por
lo tanto, si Carlos es amigo de Juan, entonces Luis no aprecia a
Jorge.
2. Represente simbolicamente el siguiente razonamiento:
El papa de cada ser humano es uno de sus familiares. Patricia

no es amiga de nadie que no sea mas joven que ella o que no
tenga los ojos claros. Patricia es un ser humano, y el papa de
todo ser humano no es mas joven que este. Nadie que tenga los
ojos claros es familiar de Patricia. Por tanto, si Roberto es el
papa de Patricia, entonces Patricia no es amiga de Roberto.
Captulo 2
Nociones fundamentales de
conjuntos
Objetivos
A traves de este captulo buscamos que los lectores adquieran algunas compe-
tencias necesarias para entender la construccion axiomatica de los conjuntos
usados en matematicas y que constituyen la base del edificio matematico.
En esta direccion esperamos que el estudio de esta unidad proporcione al
lector una formacion basica para que pueda:
Reflexionar en torno a la definicion de conjunto.
Identificar algunos principios para la formacion de conjuntos.
Dominar las operaciones basicas entre conjuntos.
52
2.1. Sobre la definici
on de conjuntos 53

on de conjuntos
George Cantor (1845-1918), matematico aleman,

nacido en San Petersburgo, es considerado creador
de la teora de conjuntos, en la cual define conjuntos
infinitos como un todo. El mayor logro de Cantor fue
haber demostrado que existen infinitos mas grandes
que otros. Por ejemplo, se puede demostrar que hay
mas puntos en la recta que n umeros naturales. La
teora de conjuntos de Cantor ha servido de base
para el desarrollo de gran parte de la matem atica
moderna.
2.1.1. Introducci
on
En este captulo nos proponemos hacer una exposicion generica de algunas

nociones basicas de la teora de conjuntos; disciplina que constituye la base
teorica de diversas ramas de la matematica. La idea de conjunto es una de
las mas intuitivas. Eso se debe al hecho de que los seres humanos tenemos
la capacidad de percibir ((montones)) o ((agrupaciones)) de objetos del en-
torno. Podemos pensar, por ejemplo, en colecciones de lapiceros, colecciones
de carros, de manzanas, etc. Pero tambien tenemos capacidad de construir
mundos imaginarios poblados de objetos abstractos, que nos permiten hablar
de conjuntos de n umeros, puntos, lneas, etc.
Intuitivamente un conjunto es una agrupacion de objetos, los cuales se
denominan elementos del conjunto. Sin embargo, esta definicion es circular
porque la palabra ((agrupacion)) es equivalente a la misma palabra conjunto.
Fue Cantor quien sento las bases conceptuales de la teora de conjuntos.
Para Cantor, un conjunto era una coleccion de objetos diferenciados clara-
mente por nuestra intuicion. Sin embargo, como veremos mas adelante, de
esta definicion se derivan algunas contradicciones.
La nocion intuitiva de conjunto, como coleccion de elementos, llevo a
resultados que no eran consistentes.
54 2. Nociones fundamentales de conjuntos
BObservaci on. Clasicamente, la consistencia es uno de los princip-

ios fundamentales de cualquier teora; seg
un este principio una cosa no
puede ser y no ser al mismo tiempo. Una proposici on no puede ser falsa
y verdadera a la vez. No puede suceder que un conjunto A pertenezca
a otro conjunto B, y al mismo tiempo el conjunto A no pertenezca al
conjunto B.
La adopcion de una definicion intuitiva de conjuntos lleva a paradojas.
on. Una paradoja es un enunciado que se revela como falso y

Definici
verdadero a la vez.
Es famosa la Paradoja de Russell, que lleva el nombre de su descubridor.

En esta paradoja, el matematico y filosofo ingles Bertrand Russell llama la
atencion en el hecho que hay colecciones que no se pertenecen a s mismas
y otras que se pertenecen. Por ejemplo, la coleccion de todos los conjuntos,
se contiene as misma. Sin embargo, la mayora de conjuntos conocidos no
se pertenecen. Russell define el conjunto A formado por aquellos conjun-
tos que no se pertenecen a s mismos, denominado Conjunto de Russell ;
simbolicamente:
A = {B, tales que B / B}.
En seguida nos preguntamos A A?
Observemos que si A A, no puede ser un elemento de A, pues en A
solo estan los que no se pertenecen a s mismos. Por lo tanto, se tiene que,
A A implica que A
/ A.
De otro lado, si A
/ A, tendramos que A es un elemento del mismo A.
De esta forma llegamos a la contradiccion:
A A si y solo si A
/ A.
Para evitar este tipo de percances, como precisaremos mas adelante, en

matematicas incorporamos los conjuntos a traves de una teora axiomatica.
Consideramos el de conjunto como un termino indefinido. Simplemente dire-
mos que los conjuntos estan formados de elementos, sin detenernos a discutir
on de conjuntos 55
su naturaleza. Se hablara de conjuntos A, B, C, ... y de sus elementos x, y,

z, ....
Escribimos x A para indicar que x esta en A, x pertenece a A o x es
un elemento de A. Analogamente, escribimos x / A para indicar que x no
esta en A, x no pertenece a A o x no es un elemento de A.
2.1.2. C
omo referirse a conjuntos
En las matematicas los conjuntos son objetos abstractos y atemporales. No
podemos referirnos a ellos como a los objetos fsicos ya sea se
nalandolos,
tocandolos o degustandolos. Sin embargo, dado que constituyen la materia
prima de muchas ramas de las matematicas, es necesario establecer alguna
forma de representacion. Hay dos maneras usuales: por comprensi
on, cuando
se da una regla que permite describir sus elementos; y por extension, cuan-
do se listan los elementos del conjunto. Los elementos de los conjuntos se
presentan encerrados entre llaves { } y separados por comas.
Ejemplos.
1. El conjunto de las vocales lo representamos por comprension como
A = {x : x es vocal}, y por extension como A = {a, e, i, o, u}. En
cualquiera de los dos casos decimos, por ejemplo, que i A y z
/ A.
2. El conjunto de los n
umeros naturales se representa como:
N = {0, 1, 2, 3, . . . , n, n + 1, . . .}
umeros naturales menores que 10 lo representamos
como: A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} por extension, o
A = {x N : x es menor que 10}
por comprension; se lee el conjunto de los x tales que x es natural y x
es menor que 10.
umeros naturales pares: B = {0, 2, 4, 6, 8, . . .} por
extension; B = {x N : x es par} por comprension.
5. El conjunto de los habitantes de Cali lo representamos por compren-
sion como: C = {x : x es un habitante de Cali}. Observemos que para
describirlo por extension sera necesario nombrar a todos los cale
nos,
lo cual sera muy engorroso.
Actividad 2.1.
Escriba por extensi
on los siguientes conjuntos:
1. El conjunto de los satelites naturales de la tierra.

2. El conjunto de los escritores que han recibido el Premio Nobel
de literatura en Colombia.
3. El conjunto de los escritores que han recibido el Premio Nobel
de literatura en Latinoamerica.
umeros enteros.
umeros racionales menores que 2 y mayores
que 1.
2.2. Principios b
asicos para la formaci
on de
conjuntos
La primera teora axiomatica de conjuntos fue presentada por Ernest Zer-
melo en 1908.
En una presentacion axiomatica no se definen los conjuntos. Se considera
que son objetos, los cuales cumplen la relacion de pertenencia, simbolizada
por , de tal forma que si el conjunto x pertenece al conjunto y se escribe:
x y. Los conjuntos son aquellos objetos que se generan a partir de los
axiomas que se exhiben a continuacion.
2.2.1. Axioma de extensi

on
El axioma de extension establece que un conjunto esta determinado por sus
elementos o que a traves de sus elementos reconocemos un conjunto. Esto
significa que no hay conjuntos distintos que tengan los mismos elementos.
Axioma de extensi on. Si todo elemento de A pertenece a B y to-

do elemento de B pertenece a A, entonces los conjuntos son iguales y
escribimos A = B.
2.2. Principios b
asicos para la formacion de conjuntos 57
En otras palabras, como dice P. Halmos en su libro Teora intuitiva de

conjuntos: ((con mayor ostentacion y menos claridad: Un conjunto esta de-
terminado por su extension)); de manera formal:
A = B si y solo si A y B tienen los mismos elementos.
BObservaci on. De acuerdo a este axioma, si el conjunto A =

{a, b, c} y el conjunto B = {a, a, b, c, c}, entonces A = B, puesto que
tienen los mismos elementos. Aparentemente el conjunto B tiene mas
elementos que A, sin embargo esto no es correcto, lo que ocurre es que
en B, los elementos a y c aparecen repetidos en la lista.
Piense usted, por ejemplo, que el conjunto de los estudiantes de un curso

no cambia porque en el listado del profesor aparezca el nombre de Florencio
Perez repetido.
Actividad 2.2.
Describa los siguientes conjuntos y determine cuales son iguales.
a) A = {x : x es un n
umero primo}.
b) B = {x : x es un n
umero primo e impar}.
c) C = {x : x es un n
umero primo mayor que 2}.
d) D = {x : x es un n
umero primo par}.
2.2.2. La relaci
on de inclusi
on
Si partimos de un conjunto A, podemos formar otros conjuntos a partir de
este conjunto de acuerdo a la siguiente definicion.
Definicion. Diremos que un conjunto B es un subconjunto del conjunto

A, si todo elemento de B es un elemento de A; para ello usamos la
on B A (se lee B esta contenido en A).
notaci
As B A, si y solo si para cada x B, entonces x A.
Para el caso en el cual B A, pero B = A, decimos que B es un

subconjunto propio de A, y se puede escribir simplemente B A.
Ejemplo.
Si A = {1, 2, 3, 4, 5, 6}, B = {2, 3, 6} y C = {2, 3, 8} entonces B A, pero
C no esta contenido en A, pues 8 C y sin embargo, 8 / A; en este caso
escribimos, C A, que se lee como C no esta contenido en A.
Basandonos en la definicion de subconjunto podemos demostrar las sigu-
ientes propiedades elementales de los conjuntos.
1. A A.
2. Si A B y B C entonces A C.
3. A = B si y solo si A B y B A.
Demostremos la segunda propiedad, es decir, suponiendo que el conjunto
A es un subconjunto de B y el conjunto B un subconjunto de C, debemos
probar que A es subconjunto de C. Tener A B y B C significa que
todo elemento de A es un elemento de B y que todo elemento de B es un
elemento de C. De esta forma podemos concluir que todo elemento de A es
un elemento de C, es decir A C.
BObservaci on. De manera simbolica se puede desarrollar el esquema

demostrativo de la siguiente manera:
Sea x A, entonces, por definici
on de , utilizando las hip
otesis A B
se tiene que x B. Debido a que B C, se tiene que x B, como se
quera demostrar.
Podemos tambien ilustrar la prueba acudiendo a los diagramas de Venn.

A B lo representamos por:
B
B C lo representamos por:
2.2. Principios b
Combinando los dos diagramas anteriores obtenemos:

C
B
A
del cual deducimos:

C
Actividad 2.3.
Escriba una argumentaci
on que pruebe los enunciados 1 y 3. Ilustre
con diagramas de Venn su prueba.
2.2.3. Principio de Separaci

on
Como se dijo antes, la nocion intuitiva de conjunto, como coleccion de ele-
mentos, llevaba a contradicciones, pues se podan formar conjuntos como el
llamado Conjunto de Russell.
Recordemos que el Conjunto de Russell se formaba al aplicar directa-
mente una propiedad determinada. El siguiente axioma, llamado axioma de
separaci
on o axioma de comprensi on, evita este problema.
Axioma de separaci on. Si A es un conjunto, existe otro conjunto,

contenido en A, que satisface una propiedad determinada.
Este principio nos permite formar otros conjuntos a partir de los ya

establecidos. En palabras simples: si contamos con un conjunto determinado,
podemos obtener nuevos conjuntos que son subconjuntos del conjunto dado.
Ejemplo.
Sea el conjunto A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15}.
A partir del conjunto A, formamos otro conjunto B cuyos elementos
cumplan la propiedad de ser n umeros primos.
B = {x A : x es un n
umero primo}.
B = {x A : P (x)}.
En este caso, P (x) corresponde a la propiedad: ((ser n
umero primo)). En-
tonces,
B = {2, 3, 5, 7, 11, 13}.
Actividad 2.4.

Sean los conjuntos X = {1, 2, 3, 4, 5, 6}, Y = {1}, {2, 4}, {6} y

Z = 1, {1}, 3, {3, 6} ,
determine cu ales de las siguientes afirmaciones son verdaderas y

cu
ales son falsas:
a) 1 X. e) {1} Y . i) {{1}} Z.
b) 1 Y . f ) {1} Y . j ) {3} Z.
c) 1 Z. g) {1, 3, 5} X. k ) {1, 2, 4} Y .
d) {1} X. h) {3, 6} Z. l) {1, 3} Z.
2.2.4. El conjunto vaco

Muchas veces, en matematicas, se deben describir conjuntos que carecen de
elementos. Es el caso que se presenta cuando buscamos los n umeros natu-
rales mayores que 5 y menores que 3. O cuando le pedimos a alguien que
sustenta las bondades del f
utbol colombiano, con su toque toque y todo, con
los a
nos en los cuales el onceno colombiano ha quedado campeon mundial
de f
utbol, y en matematicas, podemos solicitar un listado de los numeros
naturales que son pares e impares a la vez. En estos casos nos encontramos
con conjuntos que no tienen elementos. Ademas de los anteriores existen
muchas mas situaciones, por ejemplo:
2.2. Principios b
El conjunto de los triangulos cuadrados.
El conjunto de los n
umeros naturales cuyo cuadrado es menor que cero.
El conjunto de los mamferos invertebrados.
El conjunto de enteros impares divisibles por dos.
Cada uno de estos conjuntos tienen los mismos elementos; eso significa,
por el principio de extensionalidad, que se trata del mismo conjunto.
Axioma del conjunto vaco. Existe un conjunto que no tiene elemen-

tos.
BObservaci on.
a por el smbolo o tambien por {}.
El conjunto vaco se representar
Ejemplo.
El conjunto {x N : x + 20 = 5} = , puesto que no existe ningun numero

natural que al sumarlo con 20 sea igual a 5.
A continuacion presentamos una importante propiedad del conjunto va-
co.
Teorema. Sea A un conjunto, entonces A.
Demostraci on. Para probar este enunciado veamos que todo elemento de
es un elemento de A, es decir, que si x entonces x A. Como no
tiene elementos, entonces x es una proposicion falsa y por lo tanto la
implicacion anterior es siempre verdadera. Luego la condici
on se cumple de
manera inmediata.
BObservaci on.
1. Es necesario notar que la demostraci on anterior es correcta por las
caractersticas de la logica proposicional que estudiamos en el primer
captulo. En este sentido la exigencia para que A es que todo
elemento de vaco sea un elemento de A, es decir que la proposici on:
(x x A) sea verdadera. Pero dado que el antecedente es
falso, entonces la proposicion anotada es verdadera y, por lo tanto,
se cumple que A, para cualquier conjunto A.
2. Observese que los conjuntos y {} son diferentes, es decir, que

= {}, puesto que el primero carece de elementos y el segundo
consta del elemento .
Actividad 2.5.
1. Dados los siguientes conjuntos, escriba todos los subconjuntos de cada
uno de ellos.
a) {1, 2, 3}. c) {t, {u}, {t, u}}.

b) . d) {, {}}.
2. Conteste falso o verdadero.
a) x . c) . e) {}.
b) {a, b, c}. d) . f ) {}.
2.3. Principio de pares

Aunque hemos presentado algunos ejemplos de conjuntos, en realidad solo
contamos con el conjunto . El siguiente principio nos proporciona un medio
de incorporar otro tipo de conjuntos.
2.4. Operaciones con Conjuntos 63
Axioma de Pares. Dados dos conjuntos A y B, existe un conjunto que

tiene por elementos solamente a A y a B. Este conjunto se representa
como {A, B}
Ejemplo.
Si colocamos A = y B = , obtenemos el conjunto {, }, que por el

axioma de extension es el conjunto {}.
BObservaci on.
El conjunto es diferente a {}. El primero no tiene elementos, mientras
que el segundo tiene como elemento al conjunto .
2.4. Operaciones con Conjuntos

En esta seccion definiremos operaciones entre conjuntos, las cuales nos per-
mitiran obtener nuevos conjuntos a partir de los ya dados. Las tres opera-
ciones mas comunes son la union, la interseccion y la diferencia, que estudi-
aremos a continuacion.
2.4.1. La uni
on
Definici on de dos conjuntos A y B, denotada por A B, se

on. La uni
define como el conjunto cuyos elementos pertenecen a A o a B.
Simbolicamente,
A B = {x : x A x B},
lo cual equivale a expresar que:
x A B si y solo si x A x B.
BObservaci on.
Una cuestion que generalmente se ignora es que ninguno de los axioma
anteriores garantiza que la uni
on de dos conjunto produzca autom
atica-
mente otro conjunto. Para ello debemos incorporar un nuevo axioma.
Axioma de la Uni on. Dados dos conjuntos A y B, existe un conjunto

que tiene por elementos solamente los elemento de A o los elementos de
B.
Ejemplos.
1. Sean A = {0, 2, 3, 5, 7} y B = {1, 2, 3, 5, 8}, entonces
A B = {0, 1, 2, 3, 5, 7, 8}.
2. Si C = {x N : x es par} y D = {x N : x es impar}, entonces

C D = N.
La union entre conjuntos cumple las siguientes propiedades, las cuales

podemos demostrar facilmente a partir de la definicion.
1. Idempotencia: A A = A.
2. Conmutatividad : A B = B A.
3. Asociatividad : (A B) C = A (B C).
4. Identidad : A = A.
5. Otras propiedades:
a) A (A B).
b) Si A B entonces A B = B.
Como ejemplo ilustrativo, demostremos la conmutatividad.

A B = B A se basa en la equivalencia logica de p q y q p. Debemos
demostrar que x A B si y solo si x B A.
BObservaci on.
El enunciado anterior se cumple puesto que
x A x B x B x A.
es una tautologa
2.4.2. La intersecci
on
on. Definimos la intersecci

Definici on de dos conjuntos A y B, denotada
por A B, como el conjunto formado por los elementos comunes de A
y B.
Simbolicamente:
A B = {x A x B}.
Equivalentemente:
x A B x A x B.
Ejemplos.
1. Sean A = {0, 2, 3, 5, 7} y B = {1, 2, 3, 5, 8}, entonces, AB = {2, 3, 5}.
2. Si C = {x N : x es par} y D = {x N : x es impar}; entonces

C D = .
3. Si P = {x N : x es par} y R = {x N : x es un n
umero primo};
entonces P R = {2}.
A partir de la definicion de interseccion entre conjuntos podemos de-

mostrar las siguientes propiedades:
1. Idempotencia: A A = A.
2. Conmutatividad : A B = B A.
3. Asociatividad : (A B) C = A (B C).
4. Identidad : A = .
5. Otras propiedades:
a) (A B) A.
b) Si A B entonces A B = A.
2.4.3. La diferencia
on. Definimos la diferencia entre dos conjuntos A y B como el

Definici
conjunto de los elementos de A que no pertenecen a B; se denota por
A B.
Es decir,
A B = {x A x
/ B},
o equivalentemente:
x A B si y solo si x A y x
/ B.
Ejemplos.
1. Sean A = {0, 2, 3, 5, 7} y B = {1, 2, 3, 5, 8}, entonces A B = {0, 7}.

Analogamente, B A = {1, 8}.
2. Si C = {x N : x es par} y D = {x N : x es impar}; entonces

C D = C y D C = D.
De la definicion de diferencia entre conjuntos se pueden demostrar las

siguientes propiedades:
1. A A = .
2. A = A.
3. A = .
4. A (A B) = A B.
5. (A B) C = A (B C).
6. (A B) C = A (B C).
Propiedades distributivas:
1. A (B C) = (A B) (A C).
2. A (B C) = (A B) (A C).
3. A (B C) = (A B) (A C).
4. A (B C) = (A B) (A C).
2.4.4. El complemento de un conjunto
BObservaci on. A partir de la paradoja de Russell demostramos que

el conjunto de todos los conjuntos no es un conjunto.
Esta observacion significa que no existe el conjunto de todos los conjun-

tos.
Para verificar esto supongamos que el conjunto de todos los conjuntos es
un conjunto U. Sea el predicado:
P (A) : A no pertenece a A;
simbolicamente:
P (A) : A
/A
Por el principio de separacion podemos formar el conjunto:
B = {A : A U P (A)} = {A : A U A
/ A},
Pero vimos anteriormente que esto conduce a una contradiccion. Por lo

tanto concluimos que U no es un conjunto.
Dependiendo del area que estudiemos se hace necesario considerar cierto
tipo de conjuntos que nos serviran de referencia. En general fijamos un con-
junto al que pertenecen los objetos en que estamos interesados. Tal conjunto
es llamado el universo y lo denotado por X.
Definici on. Sean X y A conjuntos tales que A X. Definimos el

complemento de A en X como el conjunto X A y lo denotamos por
A , es decir,
A = X A = {x X : x
/ A}.
Ejemplos.
1. Sean X = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, A = {0, 2, 3, 5, 7} y
B = {1, 2, 3, 5, 8},
entonces A = {1, 4, 6, 8, 9, 10} y B = {0, 4, 6, 7, 9, 10}.
2. Sea X = N, el conjunto de los n

umeros naturales. Si
C = {x N : x es par}
entonces C = {x N : x es impar}.
A partir de la definicion de complemento de un conjunto podemos de-

mostrar las siguientes propiedades:
1. A X = X. 4. A A = . 7. = X.
2. A X = A. 5. (A ) = A. 8. (A B) = A B .
3. A A = X. 6. X = . 9. (A B) = A B .
2.4.5. El producto cartesiano

Hemos visto antes que en los conjuntos no es necesario tener en cuenta el
orden en que se listan sus elementos. Por ejemplo {a, b} = {b, a}. Veremos a
continuacion una clase de conjuntos en los que el orden es decisivo para su
caracterizacion.
Definicion. Sean A y B conjuntos, para x A, y B definimos un

par ordenado (x, y), entendiendose que (x, y) = (t, s) si y solo s x = t y
y = s. Es decir, en general, (x, y) = (y, x).
Ejemplo.
Dados los conjuntos A = {1, 2, 3} y B = {a, b} podemos obtener el par

ordenado (1, a) que es distinto de (a, 1).
Otros pares ordenados son (1, b), (2, a), (2, b), (3, a), (3, b), (a, 2), (a, 3), (b, 1),
(b, 2), (b, 3), que son todos distintos entre s.
on. Sean A y B conjuntos, definimos el producto cartesiano de

Definici
A y B como
A B = {(x, y) : x A y B}.
Ejemplo.
Si C = {s, t, v} y D = {u, v} entonces:
C D = {(s, u), (s, v), (t, u), (t, v), (v, u), (v, v)}
y
D C = {(u, s), (u, t), (u, v), (v, s), (v, t), (v, v)}.
Observemos que C D = D C puesto que, por ejemplo, (s, u) C D y
(s, u)
/ D C.
Actividad 2.6.
1. Utilizando las propiedades de los conjuntos demuestre que:
a) (A B ) B = A B.
b) (A B) (A B ) = A.
c) A (A B) = A y que A (A B) = A.
d) A (B C) = (A B) (A C).
e) A (A B) = A B.
f ) A B = B A si y solo si A = B.
g) A B = A si y solo si A B = .
h) A B = B si y solo si A = B = .
2. Sean A = {1, 5, 7}, B = {1, 3, 4, 8} y C = {5, 6, 8, 9}. Encuentre cada

uno de los siguientes conjuntos:
a) A C. e) A B.
b) A C. f ) B A.
c) A (B C). g) A (B C).
d) B A. h) (A B) (A C).
3. Sean:
A = {x : x es un n
umero natural par},
B = {x : x es un n
umero natural impar},
C = {x : x es un n
umero natural primo}.
Encuentre cada uno de los siguientes conjuntos:
a) A C. d) B A. g) A (B C).
b) A C. e) A B.
c) A (B C). f ) B A. h) (A B) (A C).
2.4.6. El conjunto de partes

Consideremos el conjunto A={a,b,c}. Los subconjuntos de A son:
, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}.
Si consideramos la coleccion de todos estos subconjuntos, obtenemos un
nuevo conjunto?
Escribamos el conjunto cuyos elementos son todos los subconjuntos de A en
la siguiente forma:
P(A) ={X : X A},

= {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}}
El siguiente axioma asegura la existencia de este conjunto. Mas a

un afir-
ma que esto se cumple para todos los conjuntos.
Axioma del conjunto potencia. Si A es un conjunto, existe un con-

junto llamado partes de A, cuyos elementos son unicamente los subcon-
juntos de A. Este conjunto se denota por P(A).
El conjunto P(A) definido anteriormente cumple que si B A entonces

B P(A).
Ejemplo.
Consideremos el conjunto A = {1, 2, 3, 4}. Los subconjuntos de A son:
, {1}, {2}, {3}, {4}{1, 2}, {1, 3}, {1, 4}, {2, 3},
{2, 4}, {3, 4}, {1, 2, 3}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}.
Por lo tanto,
P(A) = { , {1}, {2}, {3}, {4}{1, 2}, {1, 3}, {1, 4}, {2, 3}, {2, 4},
{3, 4}, {1, 2, 3}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4} }
2.5. Conjuntos coordinables, relaciones
Felix Tux Ninino Aldebaran Micifuz Chagui
Silvestre Lino Bola de nieve Panz

on
En la figura anterior aparecen representados dos conjuntos: uno es el de

los pinguinos y el otro es el de los gatos. Observemos que cada ping uino
esta acompa nado de un gato; es decir, a cada ping uino le corresponde un
gato o viceversa, a cada gato le corresponde un ping
uino. Se dice en este caso
que existe una correspondencia biunvoca entre el conjunto de los ping uinos
y el conjunto de los gatos, o que los dos conjuntos son coordinables.
Felix Tux Ninino Aldebaran Micifuz Chagui
Lino Panz
on
En esta figura observamos igualmente la presencia de un conjunto de

pinguinos y de un conjunto de gatos; sin embargo hay ping uinos solitarios. A
cada gato le corresponde un pinguino, pero a cada ping
uino no le corresponde
un gato. En otras palabras, hay ping uinos que no tienen gato. En este caso
diremos que no existe una correspondencia biunvoca entre el conjunto de
los pinguinos y el conjunto de los gatos, o que los dos conjuntos no son
coordinables.
En el primer caso, tenemos un conjunto de ping uinos:
P = {Tux, Aldebaran, Chagui, Lino, Panzon}

2.5. Conjuntos coordinables, relaciones 73
y un conjunto de gatos:
G = {Felix, Ninino, Micifuz, Silvestre, Bola de nieve}.
Podemos establecer la correspondencia:
Tux Aldebaran Chagui Lino Panz
on
Felix Ninino Micifuz Silvestre Bola de nieve

Tenemos entonces que el conjunto P es coordinable con el conjunto G.
A Tux le corresponde Felix, a Aldebaran le corresponde Ninino, a Chagui le
corresponde Micifuz, a Lino corresponde Silvestre y a Panzon le corresponde
Bola de nieve. Si tomamos las iniciales de cada uno de los componentes, ten-
dremos que el conjunto: P = {T, A, C, L, P }, es coordinable con el conjunto
G = {F, N, M, S, B}. En este caso: a T le corresponde F , a A le corresponde
N, a C le corresponde M, a L le corresponde S y a P le corresponde B.
Haciendo la misma operacion que en el segundo caso obtenemos el dia-
grama:
Tux Aldebaran Chagui Lino Panz
on
Felix Ninino Micifuz

En este caso tenemos que el conjunto de gatos reducido
R = {Felix, Ninino, Micifuz}
no es coordinable con el conjunto P , puesto que a Tux le corresponde Felix, a
Aldebaran le corresponde Ninino, a Chagui le corresponde Micifuz, pero Lino
y Panzon no estan relacionados con ningun gato. Tomando las iniciales de ca-
da uno de los componentes, como lo hicimos antes, tendremos que el conjun-
to: R = {F, N, M}, no es coordinable con el conjunto P = {T, A, C, L, P }.
En este caso: a T le corresponde F , a A le corresponde N, a C le corresponde
M, sin embargo a L y a P no les corresponde ning un elemento.
Definici on. Dos conjuntos cualesquiera A y B son coordinables, cuando

a cada elemento del conjunto A le corresponde uno y s olo un elemento
del conjunto B, y a cada elemento del conjunto B le corresponde uno y
solo un elemento del conjunto B.
Actividad 2.7.
Escriba una argumentaci on convincente para demostrar que los sigu-
ientes conjuntos son coordinables:
a) Los n
umeros naturales pares y los n
umeros naturales.
b) Los n
umeros naturales pares y los n
umeros naturales impares.
2.6. Autoevaluaci
on 75
2.6. Autoevaluaci
on
nale la respuesta correcta:
1. Un conjunto es:
a) Una coleccion de elementos.

b) Una coleccion de objetos.
c) Un concepto indefinido.
d ) Una pluralidad de unidades.
2. Del conjunto vaco podemos decir:
a) Que es el complemento de cualquier conjunto.

b) Que no es importante.
c) Que no existe.
d ) Que es contradictorio.
3. Dado que A B = {1, 2, 3}, A B = {4, 5} y B A = {6}, podemos

afirmar que:
a) A = {1, 2, 3, 4, 5}.
b) B = {1, 2, 3, 4, 5}.
c) A B = {1, 2, 3, 6}.
d ) A = {1, 2, 3, 4, 5, 6}.
e) B = {6}.
4. De un grupo de 100 estudiantes, 60 juegan f

utbol, 60 juegan Baloncesto
y 30 juegan f
utbol y Baloncesto. Se puede afirmar que:
a) 30 juegan solo f
utbol.
b) 20 juegan solo baloncesto.
c) 20 no juegan ni f
utbol ni baloncesto.
d ) 80 juegan f
utbol o baloncesto.
e) No puede darse esto porque debera haber mas de 120 estudiantes.

5. Dado el conjunto A = , 1, {2, 3}, 4, 5 , tenemos que:
a) 1 A.
b) 2 A.
c) {4, 5} A.
d ) A.
6. Sean A y B conjuntos. Uno de los siguientes enunciados es falso.
a) A A B.
b) (A B) = A B.
c) A B A.
d ) A = .
7. Sean A = {1, 2} y B = {4, 5} se tiene que:
a) A B = {(1, 4), (2, 5)}.
b) A B = {1, 4, 2, 5}.
c) A B = {(1, 4), (1, 5)}.
d ) B A = {(1, 4), (1, 5), (2, 4), (2, 5)}.
8. Uno de los siguientes conjuntos no es coordinable con el conjunto N
de los n
umeros naturales
a) El conjunto de los n
umeros pares.
b) El conjunto de los n
umeros impares.
c) El conjunto de todas las estrellas.
d ) El conjunto de todos los enteros.
e) Todos los anteriores.
2.7. Rompecocos 77
2.7.
Rompe coco S
1. Considere el conjunto M de los n umeros impares, M = {1, 3, 5, 7, ...}
y de los naturales N = {0, 1, 2, 3, 4, 5, ...}.
umeros en M como en N?
Por que podemos decir que hay tantos n
2. Sea el conjunto A = {x : xes m ultiplos de5}. Explique por que este

conjunto tiene tantos elementos como el conjunto N de los naturales.
3. Sea el conjunto B = {x : xes multiplo de1000} Tiene este conjunto

menos elementos que el conjunto de los n
umeros naturales?
4. Sea el conjunto de los n

umeros enteros,
Z = {..., 3, 2, 1, 0, 1, 2, 3, ...}.
umeros naturales N.
Observe que este conjunto contiene los n
Muestre que Z y N tienen igual n
umero de elementos.
5. Un n umero infinito de matematicos que celebraban un congreso muy

especial, ocuparon todos los cuartos del Hotel Hilbert, que obviamente
tena tantos cuartos como n
umeros naturales. En cada uno de los cuar-
to solo poda hospedarse una persona. El problema de hospedaje se
presento cuando llego un periodista, el cual quera hospedarse en el
hotel de Hilbert. Aparentemente esto era imposible. Sin embargo, de-
spues de unos instantes, uno de los matematicos dio con una clave
salvadora.
Cual fue la solucion dada por el prestigioso hombre de ciencia?
6. Como se podra resolver el problema anterior si aparecieran veinte

periodistas?
7. Tendra el problema solucion si aparecen tantos periodistas como

n
umeros naturales?
8. Al tener tanto exito en su negocio, el dueno del Hotel Hilbert, deci-

dio dar una copa de vino a todos los huespedes. Al ir a sentarse en la
mesa (de infinitos puestos), algunos de los matematicos encontraron
la forma de acomodarse de tal suerte que no beberan una sino cuatro
copas del espumosos vino cada uno. Cual debera ser esa manera de
ubicarse para hacer esto posible?
2.8.
DesafoS
1. Puede haber una manera de ubicarse en la mesa de tal suerte que cada
uno de los matematicos pueda tomar un numero infinito de copas?
2. Sera posible construir el Hotel Hilbert a una altura finita?

Captulo 3
Sistemas num
ericos
Objetivos
Con el desarrollo de este captulo se pretende que los lectores puedan apropi-
arse del concepto de sistema numerico; clasifiquen los n umeros reales como
racionales e irracionales y que reconozcan el sistema de los n umeros comple-
jos. Se busca que los lectores desarrollen las competencias necesarias que le
permitan:
Establecer las bases conceptuales de la actividad de contar a traves del

estudio de algunos sistemas numericos.
Estudiar algunas propiedades y principios de los sistemas de numeros

naturales, n
umeros enteros, n
umeros racionales, n umeros irracionales
y n
umeros complejos.
Utilizar la representacion geometrica para establecer la nocion intuitiva

de orden en los diversos sistemas numericos.
Estudiar algunas propiedades estructurales y operatorias de los n

umeros
reales y los n
umeros complejos.
79
80 3. Sistemas numericos
3.1. Introducci
on
Los numeros constituyen, quizas, el mayor orgullo del hombre. En las di-
versas etapas de su evolucion, desde sus estados primarios, los n
umeros han
jugado un papel preponderante en el desarrollo del lenguaje y del pensamien-
to. Aunque actualmente la secuencia de n umeros naturales nos parece muy
familiar, debieron transcurrir grandes periodos de tiempo e innumerables
contingencias para adoptar la forma y significado como hoy los reconoce-
mos:
1: Uno.
2: Dos.
3: Tres.
4: Cuatro.
5: Cinco.
..
.
No podemos determinar el perodo particular en que los n umeros hacen

su aparicion. Esto es, el momento crucial en que el hombre, asediado por las
adversidades del medio, toma conciencia de ellos. Se dice que fue un proceso
lento en el cual algunos estudiosos perciben la ruptura con lo instintivo.
En tiempos prehistoricos el hombre no manejaba la nocion abstracta de
numero. Esto no significa la ausencia de una nocion de contar. Por ejemplo,
en los tiempos remotos, un pastor contaba sus ovejas colocandolas en corre-
spondencia con piedrecillas que conservaba en su mochila. No es casual que
la palabra calculo, en latn, signifique piedra. Ademas, del latn calculi se
deriva calcular, que etimologicamente traduce contar por medio de piedras.
Diversos investigadores comparten la opinion que un hecho determinante
en el establecimiento del proceso de contar fue el haber logrado establecer
relaciones de correspondencia biunvoca entre grupos de objetos. Esto per-
mitio que el hombre pudiera percibir no solo diferencias cualitativas sino
tambien diferencias cuantitativas en una propiedad filogenetica que algunos
denominan sentido de la cantidad. A traves de este atributo, el hombre pudo
establecer diferencias entre uno y muchos objetos.
Sin embargo, solo fue luego de muchos siglos que se logro establecer
((equivalencias)) entre diferentes conjuntos de objetos, que permitieron des-
cubrir propiedades cuantitativas comunes en agrupaciones como:
3.2. Los n
umeros naturales 81

y que nosotros identificamos rapida y facilmente con el n umero dos, sim-
bolizado por 2.
Dadas dos agrupaciones, no basta con la sola percepcion visual para
determinar en cual de las dos hay mayor n umero de elementos; tenemos
que realizar una operacion. Por ejemplo, si queremos saber si hay mas sillas
que alumnos, basta hacer sentar a los alumnos de tal forma que si quedan
alumnos parados habra mas alumnos que sillas. Pero hay casos en los cuales,
es imposible efectuar operaciones concretas para cuantificar agrupaciones; se
hace necesario un aparato teorico que permita efectuar de manera abstracta
la operacion de comparacion. Para ello hemos construido sistemas abstractos
que nos permiten hacerlo; se trata de los sistemas de numeracion.
El primero de tales sistemas corresponde a nuestros n umeros naturales.
Desde la antig uedad griega sabemos que estos se muestran limitados para
resolver algunos problemas que nos impone la experiencia. Se hace perento-
rio, entonces, extender progresivamente el concepto de n umero que incluya
no solo el cero sino tambien cantidades negativas, fraccionarias y tambien las
llamadas magnitudes inconmensurables. El objetivo principal de este captu-
lo es presentar formalmente los sistemas numericos clasicos: naturales, en-
teros, racionales e irracionales, que en conjunto conforman el sistema de los
numeros reales y finalmente los n umeros complejos.
3.2. Los n
umeros naturales
3.2.1. La definici
on de los n
umeros naturales
Los n
umeros naturales constituyen el concepto matematico primario. Ellos
conforman la base sobre la que se levanta el edificio matematico. En este
caso haremos una presentacion tpica del sistema de los n umeros naturales
con base en la teora de conjuntos presentada en el captulo anterior.
Tomemos los siguientes conjuntos:
A = {a, b, c, d, e}.
B = {, , , }.
C = {v, w, x, y, z}.
G = {Felix, Ninino, Micifuz, Silvestre, Bola de nieve}.
P = {Tux, Aldebaran, Chagui, Lino, Panzon}.
N = {Heliana, Fernanda, Claudia}.
Una rapida inspeccion a los conjuntos anteriores nos muestra que los
conjuntos A, C, G y P son coordinables entre s, mientras que los conjuntos
B y N no lo son. Decimos que los conjuntos A, C, G y P pertenecen a
una misma clase, cuya propiedad la designamos con la palabra cinco y la
representamos con el smbolo 5 o numeral 5.
Definicion. El n
umero natural de un conjunto es lo que tienen de com un
todos los conjuntos coordinables con el; representa a los conjuntos de una
misma clase.
Cada smbolo que representa un n umero natural corresponde al n umero
de elementos del conjunto en consideraci on.
As, el smbolo 0 representa la cantidad de elementos del conjunto .

Como vimos en el captulo anterior, el conjunto es un conjunto sin ele-
mentos; diferente al conjunto {}, que es un conjunto cuyo u nico elemento
es . Ademas el conjunto {} es coordinable con todo conjunto de la forma
{a}, {b}, etc.
El numeral 1 representa la cantidad de elementos de cada uno de los
conjuntos coordinables con {}.
En el captulo anterior mostramos que = {}; ello significa que el
conjunto {, {}} no es coordinable con el conjunto {}. O dicho de otra
manera, los conjuntos {, {}} y {} no pertenecen a la misma clase. El
numeral 2 representa la cantidad de elementos de cada uno de los conjun-
tos coordinables con {, {}}. Siguiendo este proceso constructivo tenemos
que 3 representa la cantidad de elementos de cada uno de los conjuntos co-
ordinables con {, {}, {, {}} }, y as sucesivamente, constituyendo la
sucesion inagotable 0, 1, 2, 3, ....
3.2. Los n
umeros naturales 83
Observemos que los n umeros naturales se generan a partir del cero me-
diante la adicion de unidades; de esta forma dado un n
umero natural n, al
agregarle una unidad obtenemos un nuevo n umero natural n+1, denominado
el sucesor de n.
Actividad 3.1.
1. Puede imaginar un n umero natural que sea el u
ltimo de los n
umeros
naturales? Por que?
2. A dos turcos les dieron oportunidad de que pidieran todo el dinero

que quisieran con la condici on de que recibira el dinero quien pidiera
la cantidad m as alta. El primero pidi o una cantidad muy alta que
inmediatamente fue superada por el segundo; entonces el primero
volvio a pedir otra cantidad, todava mas grande que la que haba
pedido el segundo; pero este, que se quera quedar con todo el botn,
volvio a subir la cantidad, con lo que el segundo volvi o a pedir m
as, y
as continuaron. Podra detenerse la ambicion de estas dos personas,
o podran seguir pidiendo m as y mas indefinidamente?
3.2.2. Operaciones usuales entre los n

umeros natu-
rales
La suma de n
umeros naturales
Nos proponemos, en este apartado, definir recurrentemente las operaciones
de suma y producto. Para ello utilizaremos las propiedades que se siguen
de las definiciones. Por ejemplo, definimos la suma basados en el milenario
metodo de ir adicionando, a uno de los sumandos, tantas unidades como
tenga el otro; al final volvemos a contar tomando como referencia el conjunto
de los n
umeros naturales a partir del uno: 1, 2, 3, 4, etc. Para visualizar este
proceso, recurrimos a la representacion geometrica. Tomando como base un
segmento, al que llamaremos segmento unidad, podemos generar la secuencia
de los n
umeros naturales a partir del uno:
...
1 2 3 4
El anterior proceso se puede formalizar (partiendo del cero) de manera

recurrente de acuerdo a la definicion conjuntista de los n
umeros naturales,
0 = 0,
1 = 1 + 0,
2 = 1 + 1,
3 = 2 + 1,
4 = 3 + 1,
5 = 4 + 1,
..
.
Observemos por ejemplo que 3 = 2 + 1 = (1 + 1) + 1. Debido al principio

de extension (1 + 1) + 1 = 1 + 1 + 1, pues en un conjunto no importa el
orden de aparicion de los elementos: {a, b, c} = {c, b, a}. De esta manera, no
interesa el lado en el cual sumemos la unidad en la generacion de nuevos
numeros; as:
3 = (1 + 1) + 1 = 2 + 1,
= 1 + 1 + 1,
= 1 + (1 + 1) = 1 + 2.
Para sumar dos numeros naturales, por ejemplo 3 + 2, el proceso consiste

en adicionar el segmento que representa al n umero 3 con el segmento que
representa al n
umero 2, luego se identifica el segmento suma en la secuencia
antes establecida:
+ =
2 3 5
Para sumar dos n umeros cualesquiera, simplemente se recurre a la propiedad

anterior y se sigue el mismo proceso efectuado con los segmentos:
3 + 3 = 3 + (2 + 1),

= 3 + (1 + 1) + 1 ,
= 3 + (1 + 1 + 1),
= (3 + 1) + 1 + 1,
= (4 + 1) + 1,
= 5 + 1,
= 6.
3.2. Los n
umeros naturales 85
on. Sean n y m n
Definici umeros naturales, definimos:
1. El modulo de la suma como el n
umero natural 0 que cumple:
n + 0 = 0 + n = n.
2. La suma de n con el sucesor de m como:
n + (m + 1) = (n + m) + 1.
De acuerdo a la definicion del cero y de lo establecido antes se tendra que

los n
umeros naturales cumplen las siguientes propiedades basicas:
Teorema.
1. Propiedad clausurativa. Si n y m son n
umeros naturales entonces
n + m tambien es un natural.
2. Propiedad conmutativa: n + m = m + n.
3. Propiedad asociativa: (n + m) + k = n + (m + k).
Actividad 3.2.
Basado en la definicion de suma de n umeros naturales, intente dar
una justificaci
on de las propiedades antes descritas.
El producto de n
umeros naturales
Supongamos que tenemos el siguiente arreglo de lapices:
Podemos determinar la cantidad de lapices, efectuando la suma:

+ 5 + 5 = 20.
5 + 5
4 veces
La suma 5 + 5 + 5 + 5 tiene todos los sumandos iguales. El caso en el
cual todos los sumandos son iguales permite incorporar una nueva operacion
entre n
umeros naturales denominada la multiplicacion o el producto.
Definici on. Dados dos n umeros naturales m y n, el producto o la mul-

on entre m y n, simbolizada como m n o m n, se define como:
tiplicaci
m n = m n = m + m +
+ m
n veces.
Sin embargo, tambien se puede determinar la cantidad de lapices medi-

ante la suma 4 + 4 + 4 + 4 + 4; suma que, de acuerdo a la definici
on anterior
es 4 5.
BObservaci on. Utilizaremos indistintamente los smbolos (()) o

(()) para indicar la multiplicacion, pero en general, cuando intervienen
numeros, letras o parentesis, y no hay lugar a confusiones, se acostumbra
omitir cualquier smbolo. Por ejemplo:
4 m = 4 m = 4m,
2 m n = 2 m n = 2mn,
a (b + c) = a (b + c) = a(b + c).
Con base en lo anterior y en la definicion del cero, el producto entre

n
umeros naturales cumple las siguientes propiedades basicas:
Teorema. Sean tres n umeros naturales m, n y s se tiene que:

1. Propiedad del elemento nulo: n 0 = 0 n = 0.
2. Propiedad del elemento neutro: n 1 = 1n = n.
3. Propiedad conmutativa del producto: nm = mn.
4. Propiedad asociativa del producto: (mn)s = m(ns).

3.2. Los n
umeros naturales 87
Se pueden combinar las operaciones de suma y producto. Si tomamos los

n
umeros naturales m, n y s, se puede efectuar la suma n+m, y ese resultado,
a su vez, multiplicarlo por s, (m + n)s; operacion que se hace siguiendo las
definiciones de suma y producto:
(m + n)s = 1 + 1 + + 1 + 1 + 1 + + 1 + + 1 + 1 + + 1 + 1 + 1 + + 1,

m veces. n veces. m veces. n veces.

s veces.
= 1 + 1 + + 1+ + 1 + 1 + + 1

m veces. m veces.

s veces.
+ 1 + 1 + + 1 + + 1 + 1 + + 1,

n veces. n veces.

s veces.
= ms + ns.
Propiedad distributiva. La propiedad distributiva del producto de

n
umeros naturales respecto a la suma establece que dados tres n
umeros
naturales cualesquiera m, n y s, tenemos que:
(m + n)s = ms + ns.
Actividad 3.3.
Intente establecer un argumento convincente para probar la propiedad
uniforme. Dados los n umeros naturales m, n y s si m = n, entonces
m + s = n + s y ms = ns. Es decir, si a los miembros de una
igualdad les adicionamos o los multiplicamos por un mismo n umero,
la igualdad se conserva.
3.2.3. Orden en los n

umeros naturales
Un orden en un conjunto es una relacion entre sus elementos, que permite
determinar de dos cualesquiera de ellos cuando son iguales o cuando uno es
menor que el otro.
Podemos establecer un orden en los naturales como ((consecuencia in-
mediata)) de la secuencia de n
umeros naturales que hemos desarrollado antes:
0, 1, 2, . . . , n, . . .
Diremos, entonces que un n umero m es menor que otro n umero n, si m

esta a la izquierda de n en la presentacion de los n
umeros naturales, es decir:
0, 1, 2, . . . , m, . . . , n, . . .
En este caso escribimos m < n, y es usual referirnos a estas compara-

ciones como desigualdades. As, usando estas desigualdades de secuencia de
N, quedara:
0 < 1 < 2 < ... < m < ... < n < ...
umeros naturales m y n, la expresion m n, significa que
Para dos n
m < n o m = n. Si m n, entonces tambien se acostumbra a escribir
n m. Tomando como base esto, podemos escribir:
2 < 4,
5 5,
2 4,
Notemos que si partimos de la desigualdad 3 < 4, se cumple que 4 = 3+1.

Este es un hecho que se cumple en general, pues si tenemos que m < n
tendremos la siguiente situacion:
0, 1, 2, . . . , m, . . . , n, . . . ,
es decir,
0, 1, 2, . . . , m, m + 1, m + 2, . . . , m + s = n, . . . ,
lo cual demuestra una de la siguiente propiedad fundamental del conjunto
de los numeros naturales.
Teorema. Sean los numeros naturales m y n. Si m < n, entonces existe

un n
umero natural s tal que m + s = n.
Ejemplo.
Como 2 < 7, entonces existe un n

umero n = 5 ,tal que 2 + 5 = 7.
3.2. Los n
umeros naturales 89
Actividad 3.4.
Intente establecer un argumento convincente para probar la propiedad
de la monotona:
umeros naturales m, n y s, si m n, entonces

Dados los n
m + s n + s y m s n s.
Es decir, si a los miembros de una desigualdad le sumamos o le mul-

tiplicamos un mismo n umero la desigualdad se conserva.
3.2.4. N
umeros primos
Los numeros primos constituyen un subconjunto de los n umeros naturales.
Para introducir el concepto de n
umero primo, es necesario primero entender
la nocion de divisibilidad.
on. Sean p y q n
Definici umeros naturales, p es divisible por q si existe
un n
umero natural t tal que p = qt, en este caso escribimos:
p
= t.
q
Ejemplos.
6
a) 6 es divisible por 3, pues 6 = 3 2; por lo tanto, = 2. Tambien son
3
divisores del 6, el 1, el 2 y el mismo 6.
b) 5 es divisible por 1 y 5.
on. Un n
Definici umero natural mayor que 1 se denomina primo si tiene
exactamente dos divisores. Un n
umero natural, mayor que 1, que no es
primo se denomina compuesto.
Ejemplos.
1. Son ejemplos de n
umeros primos: 2, 3, 5, 7, 11 y 13.
2. Son n
umeros compuestos: 4, 6, 8, 9, 12, 14 y 15.
Usando las dos definiciones anteriores se puede demostrar el siguiente

teorema, conocido como el teorema fundamental de la aritmetica.
Teorema fundamental de la aritm etica. Todo n

umero compuesto
se puede descomponer, de manera u
nica, como producto de primos.
Ejemplos.
a) 12 = 2 2 3. En este caso se dice que 2 2 3 es la descomposicion

prima de 12.
b) 15 = 3 5.
Este teorema y la siguiente definicion constituyen la base de la simplifi-

cacion.
Definicion. Dos n
umeros naturales a y b se dicen primos relativos si el
u
nico divisor com
un de ellos es 1. Se suele escribir (a, b) = 1.
Ejemplos.
1. Los n
umeros 8 y 5 son primos relativos, (8, 5) = 1; el u
nico divisor
comun es 1.
2. Los n
umeros 6 y 9 no son primos relativos, pues 3 es divisor tanto de
6, como de 9.
3.2. Los n
umeros naturales 91
3.2.5. Algoritmo de la divisi

on
Dado dos n
umeros naturales m y n, con m < n, Se pueden presentar dos
casos:
1. n es divisible por m. Eso significa que existe un n

umero natural t, tal
que m = nt.
2. n no es divisible por m. Si comenzamos a multiplicar a m por los

n
umeros naturales menores que n, ocurre que existe t tal que
mt < n < m(t + 1).
Por uno de los teoremas anteriores se tendra que existe r tal que
n = mt + r,
donde r < m.
En general decimos que para dos n umeros naturales m y n, con m < n,

umeros naturales t y r, tales que n = mt + r, donde 0 r < m.
existen dos n
Este resultado es lo que se conoce como algoritmo de la divisi
on.
Ejemplo.
Como 4 < 9, tenemos que para los n

umeros 2 y 1 se cumple,
9 = 4 2 + 1.
3.2.6. Sistemas de numeraci

on
De acuerdo a lo expresado antes, es imposible determinar cuando, como y
donde se genero el proceso de contar en los seres humanos. Su desarrollo
se fue dando en diversas culturas, de acuerdo a necesidades, intereses y
condiciones particulares.
Sabemos que los pueblos antiguos no manejaban ((signos)) para la repre-
sentacion de las cantidades. En aquellos tiempos remotos, la cuantificacion
de las mercancas se haca a traves de objetos concretos. No era extrano,
entonces, ver a un mercader, el cual quera vender un reba no, portar una
bolsa con tantas piedras como vacas quera negociar. Tambien se utilizaban
los dedos, guijarros, marcas en bastones, nudos en una cuerda y algunas
otras formas para ir pasando de un n umero al siguiente. A medida que la

cantidad crece se hace necesario un sistema de representacion mas practi-
co. No es difcil argumentar respecto a las dificultades implcitas en estos
metodos cuando se trata de cuantificar colecciones muy grandes. A medida
que las relaciones comerciales se fueron tornando complejas, el hombre em-
pezo a sustituir las piedritas por signos que podan ser gravados en arcilla o
pergamino en la antig uedad, y en papel o en la pantalla del computador en
epocas recientes.
Durante mas de diez siglos, en occidente hemos operado normalmente
con el sistema decimal posicional. La potencia de todo sistema posicional es
el valor relativo de los dgitos; podemos utilizar sistemas de dos, tres, . . . ,
diez o mas dgitos. El sistema de numeracion posicional decimal se dice que
es de base diez, pues permite escribir y manipular n umeros muy grandes o
muy peque nos a partir de diez caracteres: 0, 1, 2, 3, 4, 5, 6, 7, 8 y 9; adem
as
facilita los procesos operativos, dando lugar a algoritmos sencillos y de facil
adopcion.
El procedimiento general para representar cualquier n umero en nuestro
sistema de numeracion decimal sigue dos pasos fundamentales.
El primer paso es el proceso de agrupacion para formar unidades de
diferente orden: se agrupan los elementos de acuerdo a niveles de diez en diez.
Cada agrupacion de diez unidades se denomina decena o unidad de primer
orden. Cada agrupacion de diez decenas se denomina centena o unidad de
segundo orden. Se realizan agrupaciones de diez centenas para formar las
unidades de mil o de tercer orden, y as sucesivamente.
Centenas. Decenas. Unidades.

1 4 6
El segundo es el principio del valor relativo: el valor de cada una de las

3.2. Los n
umeros naturales 93
cifras depende del lugar que ocupen. Partiendo de derecha a izquierda la

primera cifra representa las unidades (unidades de orden cero), la segunda
representa las decenas (unidades de primer orden), la tercera las centenas
(unidades de segundo orden), la cuarta las centenas (unidades de tercer
orden) y as sucesivamente. De esta forma si tomamos el n
umero:
4747,
partiendo de derecha a izquierda el primer 7 representa siete unidades, mien-

tras el segundo 7 representa 700 unidades. El primer cuatro representa 40
unidades y el segundo cuatro representa 4000 unidades.
Se suele expresar cada n umero en forma de expansion polinomial de
acuerdo al valor relativo de cada dgito, para ejemplo el n umero 5647 se
tendra:
5647 = 7 100 + 4 101 + 6 102 + 5 103 .
A pesar de que el sistema de representacion decimal es el mas generaliza-

do, no es el u
nico y en ocasiones resulta ser el menos practico. Es as como
en informatica es preferible usar el sistema binario, en el cual solo se utilizan
los dos signos 0 y 1. En astronoma, debido a la manera como se mueven los
planetas, se emplea el sistema sexagesimal, es decir, de base 60.
3.2.7. Sistemas de numeraci

on antiguos
En principio, el camino seguido por diversas civilizaciones fue el de tratar
de representar los n
umeros de la manera mas intuitiva posible a traves de
caracteres que se agrupaban para expresar el n umero deseado, el cual se
denomina sistema aditivo, era una afinacion del metodo de las piedritas
guardadas en la bolsa.
Sistema egipcio
En la civilizacion egipcia se empleaban los siguientes signos:

Para representar n
umeros grandes se combinaban estos signos como en
el caso siguiente:
Sistema griego
Los griegos antiguos utilizaban las letras del alfabeto seg
un las siguientes
valoraciones:
1 10 100
2 20 200
3 30 300
4 40 400
5 50 500
6 60 600
7 70 o 700
8 80 800
9 90 900 Sampi.
3.2. Los n
umeros naturales 95
Sistema babil
onico
Los babilonios utilizaban un sistema aditivo con los primeros 60 carac-
teres y luego posicional, de acuerdo a los siguientes caracteres:
Sistema romano
Un sistema usado en casos especiales es el romano. La numeracion ro-
mana no utiliza el cero ni el principio de valor relativo; los caracteres usados
son los siguientes:
1 i 11 xi 100 c
2 ii 12 xii 200 cc
3 iii 20 xx 300 ccc
4 iv 30 xxx 400 cd
5 v 40 xl 500 d
6 vi 50 l 600 dc
7 vii 60 lx 700 dcc
8 viii 70 lxx 800 dccc
9 ix 80 lxxx 900 cm
10 x 90 xc 1000 m
Los principios basicos de la numeracion romana son los siguientes:
1. No se pueden escribir mas de tres smbolos iguales seguidos.
2. Un smbolo de rango inferior escrito antes resta, escrito despues suma.
3. Una raya sobre un n

umero lo multiplica por 10.
4. Un marco que envuelve el n

umero lo multiplica por 100 000.
3.2.8. El sistema binario o sistema de numeraci

on en
base 2
El sistema binario comenzo a tomar vigencia con la computacion; consti-
tuye el lenguaje de los computadores y las calculadoras. Es un sistema de
numeracion que utiliza los dgitos 0 y 1 para conformar los grupos de cada
posicion.
dado el numero 10011012 en base 2, se puede escribir en expansion poli-
nomial, siguiendo el metodo que usamos en base decimal, como:
1001101 = 1 20 + 0 21 + 1 22 + 1 23 + 0 24 + 0 25 + 1 26 .
Eso significa que para convertir un n

umero en el sistema decimal en el
sistema binario hay que efectuar divisiones sucesivas por 2, dado que:
20 = 1
21 = 2
23 = 8
24 = 16
.
25 = 32 ..
Por ejemplo si deseamos llevar el n

umero 20, que esta en base decimal,
a base dos, se tendra que:
20 = 24 + 4
3.2. Los n
umeros naturales 97
4 = 22 .
Entonces,
20 = 0 20 + 0 21 + 1 22 + 0 23 + 1 24 .
De lo cual se sigue que:
20 = 101002
De esta forma, el n umero 20 en base 10 queda expresado como ((uno,
cero, uno, cero, cero)) en base 2, es decir:
20 = 101002 .
observemos que el efecto es el mismo si empezamos realizar divisiones
sucesivas de 20 entre dos. De esta manera, cuando realizamos la primera
division tenemos que 20 = 10 2 + 0; dado que el resto es cero, el n umero
binario tendra cero en la primera columna. Al dividir ahora diez entre dos
tenemos que: 10 = 5 2 + 0, lo cual significa que en la segunda columna
pondremos cero. Si volvemos a dividir 5 entre dos, obtenemos: 5 = 2 2 +
1, lo cual significa que en la tercera columna pondremos 1. Finalmente, si
dividimos 2 entre 2, tenemos que: 2 = 1 2, lo cual quiere decir que en la
cuarta columna se pondra cero y en la quinta uno. Se acostumbra a realizar
este proceso realizando las divisiones sucesivas y al final escribir el u
ltimo
cociente y los restos en sentido inverso, tal como se muestra a continuacion.
20 2
Orden cero, 0 10 2
Primer orden, 0 5 2
Segundo orden, 1 2 2
Tercer orden, 0
Cuarto orden, 1.
Todo numeral escrito en base 2 se puede convertir a base 10 realizando la
expansion exponencial de acuerdo a los diversos niveles. Por ejemplo, para
umero 111012 a base 10 se realiza el siguiente proceso:
pasar el n
111012 = 1 24 + 1 23 + 1 22 + 0 21 + 1 20 = 16 + 8 + 4 + 1 = 29.
Eso significa que 111012 = 29.
Para sumar dos n umeros en base 2 se siguen los mismos delineamientos de
base diez. Por ejemplo para sumar 11012 con 1012 se seguiran los siguientes
pasos:
1
1101 1101 1101
+ 101 + 101 + 101
2 0 10
1
1101 1101 1101
+ 101 + 101 + 101
210 2010 10010
Actividad 3.5.
1. Cuales son los convenios que permiten la escritura de cualquier
n
umero, por grande que sea, con un numero limitado de smbolos
en el sistema decimal?
2. Escriba los siguientes n

umeros romanos en nuestro sistema decimal:
mdc, mdccclii, dcx, dccxxviii, mmmcclvi.
3. Cu
al es el menor n
umero de cinco cifras, distintas las cinco, que
empieza por 2?
4. Si se invierten las cifras de alg un n

umero, sufrir
a cambio? En
que casos no cambiara el valor de un n
umero al invertir sus cifras?
5. Cu antos smbolos son necesarios para escribir un n

umero en base
siete?
6. Cuantos n
umeros son necesarios para escribir un n
umero en base
dos?
7. Escriba los siguientes n

umeros dados en base 10, en base 2: 2, 5, 8,
17, 20, 45.
8. Escriba los siguientes n umeros, dados en base 2, en base 10: 11002 ,

11112 , 101002 , 100002 .
9. Realice las siguiente operaciones entre binarios: 11002 + 11112 , 11112

101002 .
10. Escriba los siguiente n

umeros en escritura egipcia, babilonia y ro-
mana: 345, 3 000, 2 003, 1 230 476.
3.3. Los n
umeros enteros 99
3.3. Los n
umeros enteros
3.3.1. Definici
on de los n
umeros enteros
El teorema seg un el cual para dos n umeros naturales m y n, con m < n,
existe un n umero natural s, tal que m + s = n, permite incorporar la resta
como operacion entre naturales. El n umero s se denomina la diferencia entre
n y m, y se representa como n m. Tenemos entonces que s = n m si y
solo si n = m + s. Al numero n se le llama el minuendo y a m el sustraendo.
Observemos que n 0 = n.
La resta entre naturales solo es posible si el minuendo es mayor que
el sustraendo. La generalizacion de la resta, a dos cualesquiera n umeros
naturales, obliga a extender el sistema numerico de los n umeros naturales a
los numeros enteros.
Vale la pena resaltar que, historicamente, esta extension no fue inmedia-
ta; la razon es que da origen a los numeros negativos, y desde la antig uedad
clasica, el n
umero estaba ligado al proceso de contar donde lo negativo
no tena cabida. Incluso hasta mediados del siglo pasado muchos famosos
matematicos se negaban a reconocerles la ciudadana numerica. Sin em-
bargo, algunos aspectos como los que aparecen a continuacion vencieron la
resistencia a considerar los numeros negativos:
Se podan extender las operaciones de suma y producto sin ning

un
sacrificio teorico.
La existencia de fenomenos fsicos, como el movimiento, que llevan al

planteamiento de ecuaciones del tipo 3 + x = 2, o x2 + 5x + 6 = 0 y
cuyas soluciones requieren de la existencia de los n
umeros negativos.
La matematizacion de ciertos fenomenos como la altitud y la medida

de la temperatura.
El desarrollo de sistemas contables por parte de los comerciantes, que

exigan un metodo de consignar las deudas, incluyendo la acumulacion
progresiva de las mismas.
En estos y en otros casos se precisaba de la ampliacion de las operaciones

de suma y producto consideradas hasta ahora en el sistema de los n umeros
naturles.
Surge la necesidad de representar de alguna forma la diferencia nm para

dos n
umeros naturales cualesquiera. Recordemos que lo u nico que tenemos
para representarla es el conjunto de los naturales mismos.
Definicion. Sean los numeros naturales m y n, tales que m < n y s tal

que m + s = n, lo cual significa que n m = s. Definimos m n como
el opuesto de s y lo designamos como s (menos s).
Segun la definicion anterior, como 7 3 = 4, entonces 3 7 = 4; la

expresion 4 sera el opuesto de 4.
Como n + 0 = n, es decir, n n = 0, se tiene que:
on. Para cada n

Definici umero natural n, se define el opuesto de n como
n.
La expresion n n = 0, se puede representar como n + (n) = 0, de lo

cual se sigue el siguiente teorema.
Teorema. La suma de cualquier n umero natural n y su opuesto n, es

cero; es decir, para todo n se tiene que n + (n) = 0.
Ejemplo.
umero natural 5 el opuesto es 5 y se cumple que

As tenemos que para el n
5 + (5) = 0.
BObservaci on. Dado que 0+0 = 0, entonces 0 = 0, lo cual significa

que el cero es igual a su opuesto. El n
umero cero es el u
nico con esta
propiedad. Por otra parte como n + (n) = 0 y se debe cumplir la
propiedad conmutativa, tenemos que (n) + n = 0, por lo tanto el
opuesto de n es n, es decir (n) = n.
Con base a lo anterior, tenemos que cada opuesto de un numero natural

genera a su vez un nuevo n
umero. Esto nos permite ampliar nuestro universo
numerico, de los n
umeros naturales a los n
umeros enteros.
3.3. Los n
umeros enteros 101
Definicion. Diremos que el conjunto de los numeros enteros, represen-

tado por Z esta conformado por la uni on del conjunto de los n
umeros
naturales y el conjunto de sus opuestos.
De esta forma, el conjunto de los n

umeros enteros quedara conformado
de la siguiente manera:
Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}.
Ademas, se acostumbra las simbolizaciones:
Z+ = {1, 2, 3, . . .} y Z = {1, 2, 3, . . .}.
3.3.2. Las operaciones usuales con los n

umeros enteros
La suma y el producto entre los elementos de Z se definen con base a las
operaciones entre naturales.
Definicion. Sean n y m n umeros naturales, definamos n + (m) y

(n) + (m) de la siguiente manera:
1. El resultado de la operaci
on n + (m) = (m) + n se define como:
a) Si m n, n + (m) = s, donde s + m = n.
b) Si n < m, n + (m) = s, donde s + n = m.
on (n) + (m) = n m = m n se
2. El resultado de la operaci
define como (n + m).
Ejemplos.
Realicemos los siguientes calculos:
a) 7 + (4), como 4 7, 7 + (4) = 3, puesto que 3 + 4 = 7.

b) (15) + 27, como 15 27, (15) + 27 = 12, puesto que 12 + 15 = 27.
c) 10 + (16), como 10 < 16, 10 + (16) = 6, puesto que 6 + 10 = 16.
d ) (8) + (5) = 8 5 = 5 8 = (8 + 5) = 13.
El producto entre numeros enteros sigue los mismos delineamientos del

producto entre numeros naturales, solo debemos tener cuidado con el pro-
ducto entre n umeros de diferente signo y con el producto entre n umeros
negativos. Si partimos de las propiedades basicas de los n
umeros naturales,
tenemos que el producto entre n umeros enteros debe cumplir las siguientes
propiedades:
umero entero, entonces: 0 a = 0.

Teorema. Sea a n
Demostracion:
a 0 = a (0 + 0). Propiedad modulativa,
= a 0 + a 0. Propiedad distributiva,
(a 0) + (a 0) = (a 0 + a 0) + (a 0). Propiedad uniforme,

0 = a 0 + a 0 + (a 0) ,
= a 0 + 0. Propiedad del inverso aditivo,
0 = a 0. Propiedad modulativa.
Veamos un teorema que nos permite realizar productos entre enteros, los
siguientes enunciados, en conjunto, constituyen las llamadas reglas de los
signos.
Teorema. Sean a y b n
umeros naturales, entonces:
1. (1)a = a.
2. (a)(b) = (ab) = ab.
3. (a)(b) = ab.
Demostremos la propiedad 1. Las demas se dejan como ejercicio.

1. (1) a = a.
Demostracion:
0 a = 0, por
el teorema anterior.
1 + (1) a = 0, puesto que 1 + (1) = 0.
1a + (1)a = 0, por la propiedad distributiva.
a + (1)a = 0, el 1 es el modulo del producto.
(1)a = a, definicion del opuesto.
3.3. Los n
umeros enteros 103
Ejemplos.
Realicemos los siguientes calculos:
a) (3)(2) = 3 2 = 6.
b) (1)(5) = (5) = 5.
c) (4)6 = (4 6) = 24.
d ) 3(7) + (4)(6 + 2) = (3 7) + (4)(4) = 21 + 16 = 5.
Actividad 3.6.
1. Intente establecer un proceso demostrativo convincente para probar
las propiedades 2 y 3 del anterior teorema.
2. Partiendo del hecho que la suma y producto de n umeros enteros

cumple las propiedades b
asicas de los n
umeros naturales, efectue las
siguientes operaciones:
a) 3 + 7 + 5 8. e) (6)(8).
b) (4) + (8). f ) (1 + 5 + 9 10)(4).

c) (5) + 9 4. g) 7(2) + (3)(12).

d) (5) + 9 (4). h) 3(8) + (5) 3 + (8) .
3.3.3. Orden y representaci

on de los n
umeros enteros
Z
umeros enteros Z, constituyen una extension
Como lo anotamos antes, los n
de los n
umeros naturales. De esta manera, conjuntistamente hablando, se
cumple que:
N Z.
Nuestro objetivo, ahora, es definir un orden en Z que conserve el orden
de los naturales N, y ademas que incluya los elementos de Z . Para ello se
recurre a la representacion tpica que ubica el cero como punto referencial;
a su derecha se colocan, de manera progresiva, los elementos de Z+ , y a
la izquierda, los elementos de Z . Esta
es una denominacion nominal que
permite una visualizacion integral de Z y Z+ :
| | | | | | |
... 3 2 1 0 1 2 3...
De esta forma Z+ = {1, 2, 3, . . .}, Z = {. . . , 3, 2, 1}, y dado un

umero entero x Z, se presenta uno y solo uno de los tres casos siguientes:
n
x Z , x = 0, o x Z+ .
Ademas, hay que tener en cuenta que si x Z+ , entonces x Z , y si

x Z , entonces x Z+ .
Se suele denominar a los elementos de Z+ los enteros positivos y a los
elementos de Z los enteros negativos.
Este orden de los enteros permite definir formalmente el orden en todo
Z a traves de la resta.
on. Dados dos n

Definici umeros enteros a y b pertenecientes a Z, deci-
mos que a < b si b a Z+ . Cuando a < b tambien escribimos b > a.
Ademas escribiremos a b si a < b o a = b.
Ejemplos.
1. Como 7 3 = 4 Z+ , entonces 3 < 7.
2. Como 10 (26) = 16 Z+ , entonces 26 < 10.
Actividad 3.7.
Intente establecer un proceso demostrativo convincente para probar
las siguientes propiedades de los n
umeros enteros. Sean x, y, s, y t
numeros enteros, entonces:
a) Si x < y, entonces, para todo z Z, x + z < y + z.

b) Si x < y y s > 0 entonces, x s < y s.
Ademas, si x < y y s < 0 entonces, x s > y s
c) Si x < y, entonces x > y.
d) Si x < y y s < t, entonces x + s < y + t.
3.4. Los n
umeros racionales 105
3.4. Los n
umeros racionales
3.4.1. Definici
on de los n
umeros racionales
Uno de los primeros problemas basicos planteados historicamente en la
matematizacion de fenomenos fsicos, fue la medida de magnitudes: lon-
gitud, area y volumen ente otras. El proceso general de medir se basa en la
comparacion. Para poder establecer una determinada medida se debe fijar
una unidad que sirva de referencia. As, para medir un segmento se parte
de otro segmento, que se toma como unidad, y se determina las veces que
la unidad esta contenida en el segmento. La cuestion es que no siempre la
unidad ((cabe)) un n
umero entero de veces. Hay ocasiones en que es necesario
fraccionar la unidad elegida, de tal suerte que el segmento a medir es igual
a n
umero entero de veces mas una fraccion de la unidad. Visualicemos esto
a traves de un ejemplo. Se nos pide medir el segmento AB tomando como
unidad el segmento CD:
A B
C D
1
Para ello determinamos las veces que la unidad CD cabe en AB:

A B
1 1 E
Observamos que la unidad cabe 2 veces y sobra el segmento EB:
AB = 2CD + EB = 2 + EB.
A continuacion, determinamos las veces que el segmento sobrante EB

cabe en la unidad CD.
C D
E B
Tenemos que la unidad CD es igual a 3 veces EB; en otras palabras, la

unidad se ha dividido en tres partes; es decir:
1 1
EB = CD = .
3 3
As,
1 7
AB = 2 + = .
3 3
Un antepasado de la representacion de este proceso lo constituye la
((razon)) entre magnitudes. Justamente la idea de lo racional, cuantitati-
vamente hablando, proviene de poderse disponer en razon dos cantidades.
Hoy en da, el resultado de esto se expresa por un par de n umeros enteros
por obvias razones diferentes de cero, denominados el numerador y el
denominador . El denominador expresa el n umero de partes en las cuales
se tuvo que dividir la unidad; el numerador las partes que se tomaron. La
representacion tpica es de la forma m/n, donde m y n pertenecen a Z+ ; en
este caso m es el numerador y n es el denominador.
En terminos generales, los numeros constituyen una herramienta poderosa
en los procesos de medir y de contar. Sin embargo, nos hemos encontrado con
el hecho que los n umeros enteros se muestran insuficientes para ello. Ademas
la aparicion de ecuaciones de la forma 3x + 6 = 10, que no se satisfacen para
ning un entero, exigen una ampliacion del dominio numerico. De esta forma,
si partimos del conjunto de los n umeros naturales:
N = {0, 1, 2, 3, . . .},
y luego establecemos la extension de los n
umeros enteros:
Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}.
Podemos obtener una nueva extension, denominada el conjunto de los
umeros racionales, el cual denotaremos por Q. En un sentido analogo al
n
paso de N a Z, para la construccion formal de Q, incorporamos otros ele-
mentos a partir de los elementos de Z. En este sentido, el sistema de los
n
umeros racionales esta conformado por el conjunto:

p
Q= : p, q Z y q = 0 .
q
3.4.2. Operaciones entre n

umeros racionales
Tal como en el caso de los enteros, es necesario establecer las operaciones
de suma y producto para los elementos de Q. Primero definimos el conjunto
Q+ de los racionales positivos:

+ p + +
Q = : pZ y qZ .
q
3.4. Los n
Si p/q Q+ le denominamos racional positivo. Observemos que el n umero

racional positivo p/q, se puede interpretar como p veces la fraccion 1/q; es
decir:
p 1 1 1
= ++ = p .
q q q q

p veces.
Este hecho nos permite extender la suma a los n

umeros racionales posi-
tivos de igual denominador:
p r 1 1
+ =p +r ,
q q q q
1 1 1 1
= ++ + ++ ,
q q q q

p veces. r veces.
1 1
= ++ ,
q q

p+r veces.
1
= (p + r) ,
q
p+r
= .
q
Resumamos este resultado de la siguiente manera:
on. Para sumar dos n

Definici umeros racionales positivos, con igual de-
nominador, se suman los numeradores y se coloca el mismo denominador:
p r p+r
+ = .
q q q
Ejemplos.
4 5 4+5 9
1. + = = .
7 7 7 7
3 8 3 + 8 5
2. + = = .
2 2 2 2
Para generalizar la suma de n
umeros racionales de diferente denominador
tengamos presente algunas cuestiones basicas. Se puede interpretar

1
1 1 r 1
= = , r Z+ ,
q r q rq
como representacion de la accion de dividir la fraccion 1/r en q partes, que
es lo mismo que dividir la unidad en rq partes. En este sentido, la expresion
r/r, r = 0, constituye una representacion del n umero 1. Esto nos permite
obtener expresiones equivalentes al numero racional p/q m ultiplicando tanto
el numerador como el denominador por un mismo entero diferente de cero.
De esta forma, dados dos n
umeros racionales p/q y r/s se pueden obtener
los racionales equivalentes:
p ps r rq
= y = ,
q qs s sq
que permiten incorporar la suma y el producto de n
umeros racionales.
Teorema.
p r ps + qr p r pr
1. + = . 2. = .
q s qs q s qs
Demostracion:
p r ps qr ps + qr
1. + = + = .
q s qs qs qs

p r 1 1 1 1 1 pr
2. = p r = (pr) = (pr) = .
q s q s q s qs qs
Ejemplos.
6 4 63+45 38
a) + = = .
5 3 53 15
3.4. Los n
8 5 8 2 + 5 7 29
b) + = = .
7 2 72 14
3 7 37 21
c) = = .
4 5 45 20
Las dos operaciones definidas antes, cumplen con todas las propiedades
analogas senaladas para Z, mas una adicional muy importante, que le da
caractersticas especiales al conjunto de los n
umeros racionales; se trata de
la existencia del inverso multiplicativo.
Definici on. Para todo x Q, x = 0, existe y Q, tal que xy = 1;

justamente este elemento y se denomina el inverso multiplicativo de x;
se representa por x1 y es igual a 1/x. De este modo, para todo x Q,
x = 0, tenemos que:
1 x
xx1 = x = = 1.
x x
Observemos algunos aspectos importantes:

1. Dado x Q, se denomina opuesto aditivo al n umero x, y cuando
x = 0, se denomina inverso multiplicativo a x1 = 1/x. Aqu usaremos,
preferencialmente, los terminos opuesto para x e inverso para x1 .
Observese que si p/q Q y p/q = 0 (p = 0), tenemos que
1
p 1 q
= p = .
q p
q
2. La interpretacion de p/q como la unidad que se divide en q partes

y se toman p, tambien puede interpretarse como tomar un segmento
de p unidades y dividirlo en q partes. De esta forma se tendra la
conmutatividad:
p 1 1
= p = p.
q q q
3. Cualquier numero a Z es un elemento de Q, dado que se puede
representar como: a = a/1. Por lo tanto se tendra la siguiente cadena
de contenencias: N Z Q.
4. Hasta ahora se han establecido los procedimientos para el caso de los

racionales positivos, es decir, cuando tanto el numerador como el de-
nominador son enteros positivos. Para otros casos tendremos en cuenta
las siguientes convenciones: si se toman p y q enteros positivos, la ex-
presion p/q designa el opuesto de p/q, es decir, se cumple que

p p p p p p
+ = = + = 0.
q q q q q q
De otro lado, la expresion (p/q) tambien se puede designar como

(p)/q = p/(q). Y de igual manera como en los enteros,
p p
= (1) .
q q
Ademas, siendo congruentes con la regla de los signos, se tendra que
p p
= .
q q
Actividad 3.8.
1. Calcule las operaciones indicadas:
3 4 2 4 7 5
a) + 8 + 3. c) + + 5.
5 3 4 9 5 6
5 3 4 6 1 3
b) + . d) + .
4 2 7 3 7 9
2. Un muchacho se dirige de un pueblo A a otro pueblo B. primero ade-
lanta 4 kil
ometros, pero en seguida se encuentra con unos amigos que
van en direccion contraria y por acompa narlos un rato retrocede 3/4
de kilometro; despues adelanta 4/3 de kilometro, pero otro encuentro
lo obliga a retroceder 6/5 de kilometro; finalmente avanza, en dos eta-
pas mas, 4/3 y 5/4 de kilometro. Cuantos kil
ometros habra avanzado
en total en la direccion de A hasta B.
3. Un reloj adelanta 2/7 de minuto cada da. cuantos minutos se ade-

lantar
a en 14 das?
3.4. Los n
4. Un nino piensa gastar 2/3 de sus ahorros en juguetes, y 5/7 del dinero
destinado a juguetes lo piensa invertir en un bal
on. Que fraccion de
sus ahorros representa el valor del bal
on?
5. En una fiesta quedaron 3/4 del pastel, a Fernando le regalaron 2/5 del
pastel que qued
o. Que fraccion de pastel le reglaron a Fernando?
6. Un cazador se encuentra con dos pastores que le dan de comer. El

primero puso 5 panes y el segundo tres. Los tres comieron partes
iguales. Al despedirse el cazador entrega 8 monedas Como deben
repartirse los pastores el dinero si a cada uno le debe tocar seg
un lo
que aporto para el cazador?
3.4.3. Orden y densidad de los racionales

Simbolizamos al conjunto de los racionales positivos con Q+ . El conjunto
Q+ Q es cerrado para la suma y producto de n umeros racionales; esto
es que suma de racionales positivos es un racional positivo y el producto de
racionales positivos es un racional positivo. Q+ nos permite extender el orden
de los n
umeros enteros a los n umeros racionales. Sin embargo, debemos de
tener un poco de cuidado pues los n umeros racionales cumplen una propiedad
estructural que los diferencia de los naturales y que los enteros no la cumplen.
Propiedad que denominaremos con el nombre de densidad ; mas adelante la
presentaremos conceptualmente.
Definicion. Dados los dos n

umeros racionales x y t, decimos x < t o
+
t > x si y solo si t x Q . Ademas, diremos que x t si x < t o
x = t.
La relacion sobre Q es una relacion de orden, y cumple las siguientes

propiedades.
Propiedad del orden. Para x, y, s y t en Q:

1. Si x y, entonces para todo z Q, x + z y + z.
2. Si x y y s t, entonces x + s y + t.
3. Si x y, entonces x y.
Recordemos que el orden en los n umeros naturales se fundamenta en

la produccion de nuevos n umeros a partir de unidades. Dado un n umero
natural se puede determinar sin ninguna ambivalencia cual es su siguiente;
de igual manera en los enteros, solo que en estos hay que tener en cuenta el
valor relativo, de tal suerte que si tomamos el numero entero n Z, donde
+
n Z , el siguiente sera (n 1) Z. Sin embargo no ocurre lo mismo
con Q. Si tomamos un racional cualquiera no podemos determinar cual es
el siguiente inmediato; esto se debe a la densidad.
Propiedad de densidad. Dados los dos n umeros racionales x y y,

existe un racional t, tal que x < t < y. O mas sencillamente: entre dos
racionales diferentes cualesquiera, podemos encontrar otro racional entre
ellos.
Para confirmar este enunciado, para los dos n

umeros racionales diferentes
x y y, escoja t = (1/2) (x + y).
Actividad 3.9.
3 1
umero racional que este entre
1. Encuentre un n y .
4 2
2. Encuentre un n
umero racional que este entre 1,99 y 1,999.
3. Encuentre un n
umero racional que este entre 1 y 0,9999 . . ..
3.5. Los n
umeros reales
La necesidad de incorporar nuevos n umeros, de naturaleza diferente a los
racionales, se puede entender desde dos aspectos complementarios. En el
proceso de medir antes anotado no siempre es posible agotar el segmento a
medir mediante el proceso de fraccionar la unidad. Esto sucede, por ejem-
plo, cuando se intenta medir la diagonal de un cuadrado de lado unidad.
En este caso se dice que la diagonal es inconmensurable con el lado. Las
magnitudes inconmensurables prefiguran los n umeros irracionales, en el sen-
tido de que son aquellas que no se pueden expresar como una ((razon)) entre
numeros enteros. Si llamamos x a la diagonal de un cuadrado, por el teore-
ma de Pitagoras, se tiene que x2 = 12 + 12 , o sea, x2 = 2; ecuacion que no
3.5. Los n
umeros reales 113
tiene solucion en el conjunto de los n

umeros racionales (como veremos mas
adelante).
x2 = 12 + 12 = 2.
x 1
x = 1,41421...
Un caso similar se presenta cuando se relaciona la longitud de una cir-

cunferencia y su diametro, que da lugar al conocido n
umero irracional :
C
D C
=
D
El valor de con mas de 800 decimales.

3,14159265358979323846264338327950288419716939937510582097494
4592307816406286208998628034825342117067982148086513282306647
0938446095505822317253594081284811174502841027019385211055596
4462294895493038196442881097566593344612847564823378678316527
1201909145648566923460348610454326648213393607260249141273724
5870066063155881748815209209628292540917153643678925903600113
3053054882046652138414695194151160943305727036575959195309218
6117381932611793105118548074462379962749567351885752724891227
9381830119491298336733624406566430860213949463952247371907021
7986094370277053921717629317675238467481846766940513200056812
7145263560827785771342757789609173637178721468440901224953430
1465495853710507922796892589235420199561121290219608640344181
5981362977477130996051870721134999999837297804995105973173281
60963185950244594553469083026425223082533446850352619311881...
Durante mas de veinte siglos, no se dio una caracterizacion completa de

los numeros irracionales, los cuales, generalmente, se trabajaban a traves de
aproximaciones de n umeros racionales; pero sin una base estructural solida
que proporcionara datos sobre sus propiedades o sobre la manera de operar
((rigurosamente)) con ellos.
Como lo mencionamos antes, los irracionales, tienen sus antecedentes en
las magnitudes inconmensurables que emergieron en las matematicas grie-
gas. Sin embargo, fue solo hasta el siglo xix, con George Cantor y Richard
Dedekind, que se logro una caracterizacion de los numeros irracionales.
3.5.1. La representaci
on geom
etrica de los n
umeros
reales
Historicamente, el mayor problema planteado, desde la antig uedad griega,
tiene que ver con la posibilidad de caracterizar aritmeticamente la esencia
del continuo geometrico. Se parte del hecho intuitivo de que la recta es un
((conglomerado)) de puntos, ((reunidos)) de una manera especial y en una
misma direccion.
Si fijamos un punto, que representa el cero, cualquier otro punto de la
recta representa un n umero real, determinado por la distancia del punto al
origen. Si el punto se encuentra a la derecha, se dice que es positivo y si
esta a la izquierda, se dice que es negativo.
Resulta que la recta es infinitamente mas rica en puntos que el conjunto
de los n umeros racionales Q. Esto significa que si representamos la totalidad
de los n umeros racionales, la recta numerica no se ((llena)). Precisamente, el
conjunto de los n umeros representado por los puntos de la recta numerica
que no son racionales constituye el conjunto de los n umeros irracionales.
Realicemos una representacion tpica para aclarar estos aspectos. Tomem-
os una recta determinada y luego de fijar en ella el punto O, correspondiente
al cero, tomemos un segmento unitario, es decir su longitud es 1, m(OU) = 1.
Los n umeros enteros se localizan tomando copias del patron de medida OU.
O U
| | | | | | |
... 3 2 1 0 1 2 3...
Para representar el numero racional p/q, p y q en Z+ , dividimos el seg-

mento unitario OU en q partes iguales y tomamos p veces una de esas partes
a partir de O hacia la derecha. Para el caso del n umero p/q con p y q en
Z+ , el proceso es el mismo solo que se localiza a la izquierda de O.
3.5. Los n
umeros reales 115
| | | | | | | |
3 1 0 1 1 3 2

2 3 2
El anterior proceso no es posible cuando se pretende representar los

n
umeros irracionales. En general, no existen procesos geometricos
para hac-
erlo; aunque s se puede realizar para casos particulares como 2.
O U| B
| | | |
0 1
Se supone que O es el origen y que m(OU) = 1. Por el punto U se traza la

perpendicular UA cuya medida es igual a 1 y se forma el triangulo rectangulo
OAU. Por el teorema de pitagoras tenemos que m(OA)2 = 12 + 12 = 2, y
por lo tanto m(OA) = 2. Con centro en O y radio OA se traza una
circunferencia la
cual corta al eje x en el punto B, de esta forma concluimos
que m(OB) = 2, lo que significa que el punto B representa al punto
irracional 2.
Actividad 3.10.
1.
Dibuje una rectanumerica yrepresente
los
siguientesn
umeros reales:
4 , 0,1999..., 5, 3/4, 2, 1, 8, 17, 3, 3 2.
2. Cual es el proceso teorico que permite dividir un segmento de recta

en q partes iguales? (q N).
Usando los metodos de demostracion que se presentaron en el primer

captulo, y algunas
definiciones basicas de los n
umeros naturales, podemos
demostrar que 2 no se puede escribir de la forma p/q para p y q enteros,
q = 0; esto es, que no es racional.

Teorema. 2 es un n
umero irracional.

Demostremos este enunciado por contradiccion, suponiendo que 2 no
es n
umero irracional,
sino racional. Ello significara que existen p y q en los
enteros, tal que 2 = p/q, con el u nico divisor com un a p y a q igual a 1, es
decir (p, q) = 1. De esta forma:
p2
1. 2 = (elevando al cuadrado cada miembro de la igualdad).
q2
2. 2q 2 = p2 (divisibilidad).
3. p2 es un n
umero par (definicion).
4. Si p2 es par, entonces p es tambien par (probarlo).
un t Z (definicion de n
5. p = 2t, para alg umero par).
6. 2q 2 = (2t)2 = 4t2 (reemplazando en 2).
7. q 2 = 2t2 (simplificacion).
un h Z (igual razonamiento anterior).

8. q = 2h, para alg
9. 2 es divisor com
un de p y q (de 5 y 8).
Entonces (p, q) = 1, en contraposicion con la hipotesis inicial
que afirma-
ba que (p, q) = 1, lo cual es una contradiccion. Por lo tanto, 2 es un n umero
irracional.
En general, todas las races cuadradas inexactas son ejemplos de n umeros
irracionales. Tambien el n umero e (la base de los logaritmos naturales), el
cual puede definirse a traves de la expresion:
n
1
1+ .
n
Dandole a n valores cada vez mayores vemos que obtenemos un valor
determinado, mayor que 2, pero menor que 3, que aproxima el conocido
n
umero e = 2, 718281 . . ..
Por las mismas razones antes anotadas, si un n umero real positivo es ir-
racional, su opuesto tambien es irracional. Es difcil demostrar formalmente
3.5. Los n
umeros reales 117
que numeros como y e son irracionales, ello exige algunos elementos teori-
cos que a
un no hemos definidos.
En lo que hemos referido antes, se nota que, aunque parezcan escasos,
el conjunto de numeros irracionales, que representaremos por el smbolo I,
tambien es infinito, incluso, aunque tampoco lo mostraremos aqu, tiene
mayor numero de elementos que Q.
Conjuntistamente hablando, se tiene que I Q = .
Definici on. La union del conjunto de los racionales y el conjunto de

los irracionales constituye el conjunto de los n
umeros reales, el cual se
representa por R, Es decir I Q = R.
De acuerdo con la definicion anterior se tiene que
N Z Q R e I R.
Actividad 3.11.
1. Use
un metodo similar al empleado en ejemplo anterior y demuestre
que 3 es un n umero irracional.

2. Use el metodo de contradiccion para demostrar que 3 + 2 es un
n
umero irracional.
3. Demuestre que la suma de un n

umero racional y un irracional es
siempre irracional.
4. Es el producto de un racional y un irracional un n

umero irracional?
5. Es siempre la suma de irracionales un n

umero irracional? El pro-
ducto?
6. Clasifique los siguientes n

umeros en naturales, enteros, racionales o
irracionales:

a) 2 + 3. b) 0, 6666.... c) 1.

3

d) 2. g) 2 2. j) 8.
3 2
e) . h) 3. k) .
2 0, 333

f ) 3,1416. i) 16. l) 0, 1010010001...
3.5.2. Representaci
on decimal de los n
umeros reales
Como mostramos al inicio de este captulo, una herramienta potente, prove-
niente de los arabes e hind ues, es la notacion posicional; la cual permite
incorporar algoritmos para sumar y multiplicar cantidades de una manera
relativamente sencilla. Tambien nos ayuda a establecer diferencias entre los
conjuntos numericos anteriormente incorporados.
Recordemos que la notacion posicional se basa en el caracter relativo de
los diez dgitos basicos: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.
Ejemplos.
a) 583 = 500 + 80 + 3 = 5 102 + 8 10 + 3.
1 5
b) = 0, 5 = 0 + .
2 10
3, 1416 = (3, 1416)

1 4 1 6
= 3+ + + +
c) 10 100 1000 10000
= (3 + 1 101 + 4 102 + 1 103 + 6 104 )
31416
= .
10000
2 6 6 6 6
d) = 0, 6666 . . . = 0 + + + + + = 0, 6.
3 10 100 1000 10000
Se denomina decimal periodico o decimal infinito periodico, mientras

que
0, 123456789101112 . . .
3.5. Los n
umeros reales 119
es un decimal infinito no periodico.
Dado un n umero periodico, se puede hallar una representacion de la

forma p/q, con p y q en Z.
Ejemplo.
Sea el n
umero periodico 3, 272727... = 3, 27.
Tomemos x = 3, 272727... entonces:
100 x = 327,272727...
x = 3,272727...
99x = 324,000000...
= 324.
Por lo tanto,
324 36
x= = .
99 11
Los n
umeros enteros son n umeros racionales con denominador 1. Cuando
el n
umero no es entero, la representacion decimal permite establecer difer-
encias entre los n
umeros racionales y los irracionales, atendiendo al hecho de
que los racionales tienen una expansion finita o infinita periodica, mientras
la expansion de los irracionales es infinita no periodica.
Actividad 3.12.
Represente los siguientes n
umeros peri
odicos en la forma p/q, p y q
enteros:
a) 3, 425555...;
b) 0, 99999...;
c) 8, 404040.
3.5.3. Operaciones entre n

umeros reales
En los apartados anteriores se han definido las operaciones de suma y pro-
ducto para los n
umeros racionales . Falta por definir estas operaciones para
los n
umeros irracionales y para combinacion entre racionales e irracionales.
Para ello, vamos a utilizar la representacion geometrica de los n

umeros reales.
El proceso consiste en trasladar las operaciones del ambito de lo aritmetico
al geometrico: dados dos n umeros reales positivos a y b, a los cuales les cor-
responde, respectivamente, los puntos A y B de la recta numerica, de tal
manera que la distancia de A al origen O sea a y la distancia de B al origen
O sea b; mas concretamente:
Longitud del segmento OA = m(OA) = a y longitud del segmento

OB = m(OB) = b.
La suma a + b correspondiente al segmento OC, suma de los segmentos

m(OA) + m(OB). El punto C representa el numero real c, tal que:
Longitud del segmento OC = m(OC) = c.
En realidad, la suma de reales determinada por la representacion geome-

trica no presenta problemas, pues cumple uno de los requerimientos basicos
de las operaciones entre numeros, como lo es la propiedad clausurativa: suma
de segmentos es segmento. Desde la antig uedad, el problema se presenta con
el producto de segmentos. Para los antiguos, esta operacion estaba ligada
con el cambio de dimension. As, el producto de los segmentos OB y OC
como tal, no tendra significado; simplemente representaba un rectangulo de
lados OB y OC. Fue solo hasta el siglo xviii con la Geometra de Descartes
que se vino a solucionar este impase. Descartes define el producto de dos
segmentos como otro segmento que resulta de relacionar los dos segmentos
dados y la unidad. Veamos esto:
O U A
3.5. Los n
umeros reales 121
Los segmentos UB y AC son paralelos, por lo cual, los triangulos OBU

y OCA son semejantes, por lo tanto sus lados son proporcionales:
m(OB) m(OC)
= ,
m(OU) m(OA)
lo cual significa que
m(OB) m(OA) = m(OU) m(OC),
y entonces
m(OB) m(OA) = m(OC),
puesto que se ha tomado m(OU) = 1.
No es difcil mostrar que las operaciones de suma y producto as definidas
cumplen las propiedades antes anotadas para los racionales. La resta entre
dos reales siempre estara definida. Si el minuendo es mayor que el sustraendo,
se usa la manera tpica de resta de segmentos; cuando el minuendo sea
menor que el sustraendo, se factoriza el signo y se efect ua la resta com un y
corriente. Para el caso entre negativos, se trasladan las operaciones basicas
de las reglas de los signos y se efect uan las operaciones comun y corriente.
As, la estructura algebraica de los n umeros reales es similar a la de los
n
umeros racionales, pero con la diferencia de la completez; es decir que el
conjunto de los n umeros reales ((llena)) completamente la recta numerica, lo
cual no ocurre con los racionales.
3.5.4. Los n
umeros reales como una estructura axio-
m
atica
En los apartados anteriores hemos introducido el conjunto de los n umeros
reales R, de una manera constructiva. Partimos de los n umeros naturales N,
los cuales extendimos a los enteros Z y luego a los racionales Q. Los numeros
irracionales I, surgieron de algunas necesidades teoricas. Las operaciones de
suma y producto se han ido incorporando de acuerdo a las exigencias de cada
extension. Sin embargo, a pesar de que la suma y el producto de reales, por
intermedio de la representacion geometrica, cumplen con los requerimientos
de la teora, es claro
queno proporciona
procesos aritmeticos para efectuar
3
operaciones como 2 , 3 + 2, etc. Sabemos que los n umeros irracionales
son decimales infinitos no periodicos; eso significa que no podemos exhibir
la totalidad de sus cifras, solo podemos reconocer su existencia por medios

estrictamente abstractos. Pero entonces, como operar con estos entes ab-
stractos sin necesidad de exhibirlos completamente? La salida conceptual a
este impase tiene su asidero en la aproximacion; especficamente, el hecho de
que cualquier numero irracional se pueda aproximar, tanto como queremos,
por medio de racionales. En matematicas mas avanzadas podemos elaborar
formalmente estos procesos incorporando una nueva operacion que es la con-
vergencia. Sin embargo, no es de nuestro interes hacerlo aqu, nos interesa
solamente reconocer algunas propiedades.
Dado que le hemos dado sentido a las operaciones y un funcionamiento
algo riguroso, consideraremos los n umeros reales como un conjunto R de
objetos, para los cuales hemos definido las operaciones de suma y producto,
las cuales cumplen las siguientes propiedades basicas:
Propiedades algebraicas
Teorema. Sean x, y y z numeros reales, entonces:

1. x + y y xy son n
umeros reales (leyes clausurativas).
2. x + 0 = 0 + x = x (0 es el neutro de la suma) y x 1 = 1x = x (1 es
el neutro del producto).
3. x + y = y + x y xy = yx (leyes conmutativas).
4. x + (y + z) = (x + y) + z y x(yz) = (xy)z (leyes asociativas).
5. x(y + z) = xy + xz (ley distributiva).
6. Para todo x existe t R tal que x + t = 0, este n

umero se designa
como x (el opuesto de x).
7. Para todo x = 0 existe h R tal que xh = 1, este n

umero se designa
1 1
como x = (el inverso de x).
x
8. x + y = z + y si y solo si x = z; y si xy = zy, e y = 0, entonces x = z.
9. Si x = y, entonces para todo t R se tiene que xt = yt.
10. Existe un subconjunto R+ R, tal que para todo x R se cumple

que x R+ o x R+ o x = 0. Adem as, si x, y R+ , entonces
x + y R+ y xy R+ .
3.5. Los n
umeros reales 123
R+ se denomina el conjunto de los n

umeros reales positivos y cumple que
+ +
Q R . R se denomina el conjunto de los reales negativos, compuesto
umeros reales que no pertenecen a R+ .
por los n
Apoyandonos en estas propiedades se puede demostrar el siguiente teo-
rema:
Teorema. Sean x, y y z n
umeros reales,entonces
a) x 0 = 0.
b) xy = 0 si y solo si x = 0 o y = 0.
c) (1)x = x.
d) (1)(1) = 1.
e) (x)(y) = xy.
f ) (x)(y) = (xy).
g) Para todos x, y existe z tal que x + z = y, este n

umero se designa
como y x y define la resta.
Demostremos algunos de ellos.

a) x 0 = 0.
x 0 = x (0 + 0). Propiedad 2,
= x 0 + x 0. Propiedad 5,
(x 0) + (x 0) = (x 0 + x 0) + (x 0). Propiedad 8,
0 = x 0 + (x 0 + (x 0)) = x 0 + 0. Propiedad 6,
0 = x 0. Propiedad 2,
x 0 = 0. Propiedad 3.
c) (1) x = x.
(1) x + x = ((1) + 1) x. Propiedad distributiva,
= 0 x. Propiedad 6.
Entonces (1) x + x = 0 x = 0. Parte a) del teorema. Por lo tanto,
1 x es el opuesto de x, es decir x = (1) x.
La demostracion de las otras propiedades se propone como ejercicio.
3.5.5. Potencias enteras

As como a partir de la suma de cantidades iguales definimos la multipli-
cacion, tambien se define una nueva operacion a partir del producto de fac-
tores iguales. De esta forma, si a representa un numero real y n un numero
natural, se define el significado de los smbolos an y an de la siguiente
manera:
Definicion. a0 = 1 cuando a = 0 (00 no se define), para 0 < n se define:

1. an = a a a a.
nveces.
1
2. an = (an )1 = . Es decir, an es el inverso de an .
an
BObservaci on an al n
on. En la expresi umero a se le denomina base
y al n
umero n exponente. En este caso el exponente es entero.
Ejemplos.
4
1 1 1 1 1 1 1 1
1. = = = = 4.
2 2 2 2 2 2222 16 2
2. Conociendo el resultado anterior se puede calcular de manera inmedi-

ata (1/2)4 que es el inverso de (1/2)4, es decir el inverso de 1/16, es
decir 16.
De las definiciones dadas antes, se derivan las siguientes cuestiones:

3.5. Los n
umeros reales 125
Teorema. Si a y b denotan n umeros reales y n un n

umero natural,
entonces,
1 1 1
1. n
= an , puesto que n
= 1 = an .
a a an
n veces.
n
a a a a a an
2. = = = n.
b b b b
b b
n veces. n veces.
n n
a bn b
3. = n = .
b a a
Ademas se cumplen las siguientes propiedades basicas:
Teorema. Sean a un n
umero real y n y m n
umeros naturales, entonces,
n m
1. a a = an+m .
2. (am )n = amn .
3. (ab)n = an bn .
Ejemplos.
4 3
2 2 2 2 2 2
=
3 3 3 3 3 3

1. 2 2 2
,
3 3 3
4+3 7
2 2
= = .
3 3
2
(2)5 = (2)5 (2)5 ,
2. = (2) (2) (2) (2) (2) (2) (2) (2) (2) (2) ,
= (2)52 ,
= (2)10 .
2 2
1 1 1 1 1 2 1
3. 3 = 3 3 = (3 3) =3 .
5 5 5 5 5 5

3 5 1 1 1 1 1
4. ( 7) ( 7) = 7 7 7
7 7 7 7 7
3
( 7) 1 1
= = ( 7)3+(5) = ( 7)2 = = .
( 7)5 ( 7) 2 7
3.5.6. Potencias racionales

En la seccion anterior definimos la operacion an para a R y n N.
En esta seccion extenderemos esta operacion para exponentes racionales,
de manera que se conserven las propiedades de los exponentes enteros. En
primera instancia estudiamos el caso en el cual los exponentes son de la
forma 1/n, n N.
Al inicio de este captulo utilizamos la nocion de raz cuadrada ( a) de
un numero a positivo, como el n umero que elevado al cuadrado es igual a a;
esto es, ( a)2 = a. De la misma manera se puede extender esta definicion
para cualquier n umero natural n.
Definicion. Decimos que la raz n-esima de un n

umero real a positivo,
1
umero real a = a , el cual satisface la igualdad ( n a)n = a.
es el n n n

Para el caso n = 2, se coloca simplemente a.
Observe que el enunciado de la definicion establece que en R, la ecuacion

n
x a = 0, donde a es real positivo siempre tiene solucion.
Se puede ver que n a, cuando n es par, tambien satisface la condicion
de raz enesima de a, pues, por ser n de la forma n = 2k, k natural, se puede
escribir k k
( n a)n = ( n a)2 = ( n a)2 = ( n a)n = a.
Por lo anterior se suele hablar de ((raz negativa))
indexraz! negativa y ((raz positiva)), cuando n es par, pero el smbolo n a se
reserva
exclusivamente para la raz positiva o raz principal. De esta forma
4 = 2, aunque la ecuacion x2 = 4 tenga dos soluciones x = 2 y x = 2,
pues 22 = (2)2 = 4.
Como ejercicio, probar que se cumplen las siguientes propiedades.
3.5. Los n
umeros reales 127
Teorema: Para a R+ :
1 n 1 1
1. a n = a. a n an
4. = 1.
b bn
1
2. (an ) n = a.
1 1
1 1
1 1 n
3. (ab) n = a n b n . 5. a mn = a m .
Ejemplos.
1
a) 16 2 = 16 = 4.
1
b) 8 3 = 3 8 = 2.
1
c) (52 ) 2 = 52 = 5.
BObservaci on. Hemos definido la raz enesima para un a R+ , pues

cuando a es negativo y n par, a no tiene raz enesima, tal es el caso de

9, puesto que no existe un n umero real que elevado al cuadrado de
9. Sin embargo para el caso en el cual a R y n es impar si existe la

raz enesima; por ejemplo 3 8 = 2, puesto que (2)3 = 8.
La definicion anterior permite extender la definicion de potencias con ex-

ponente entero a potencias con exponente fraccionario de la siguiente man-
era:
Definicion. Sea a un n
umero real positivo y m/n un n umero racional,
entonces:
m 1 1
a n = (am ) n = (a n )m = ( n a)m .
Observemos que la definicion se establece para un n umero real positivo

a, esto se debe
a que cuando a es negativo no se cumple la igualdad anterior:
1
m n n m
(a ) = ( a) , e incluso cuando n es par, la igualdad carece de todo sentido
en el conjunto de los n umeros reales. Tal es el caso cuando a = 1, puesto
1 2 1
que (1) 2 = ( 1)2 no existe en R, mientras que (1)2 2 = 1 = 1.
Teorema. Para a y b reales positivos y m/n y p/q en Q, se cumplen las

siguientes propiedades:
m m m m p m p
1. (ab) n = a n b n . 3. (a n ) q = a n q .
p
m m
+ pq
2. a n a q = a n .
Ejemplos.
1 1 1 1 1
27 2 = (27 2) 3 = (33 2) 3 = (33 ) 3 2 3 = 3 2 3 = 3 2.
3 3 3
a) 54 =
3 1 3 1 1
b) 81 14 81 28 = 81 14 + 28 = 81 4 =
4
81 = 3.
4 4
4 33 4 33 4 4 2
c) 1 2 = 1 2 = 4 2 3 3 32 = 8 3 3 2 = 23 3 3 .
2 3 2 3
1 12 1 1

c) 52 81 = 52 34 2 = 52 2 32 2 = 5 3 = 15.
2 5
12
2 3 10 6 28 1010
d) 3 7 = = 28 29 1010 1042 = 217 1032 .
2 4 10 2 29 1042
3.5. Los n
umeros reales 129
Actividad 3.13.
1. En los siguientes casos responda falso o verdadero justificando su
respuesta:
a) 2n 2n = 4n . c) 2n + 2n = 2n+1 .
1
2 2
b) 3 (2)n = 3 2n . d) = .
3 3
2. Determine si las siguientes igualdades son validas. Si una igualdad es

v
alida, establezca que propiedades de los n
umeros reales la justifican,
si no lo es diga que propiedad ha sido mal utilizada.

1 1
a) 2 + 5 =2 + 5 .
3 3

2 2
b) (16 7) = 16 7 .
3 3
1 1
c) (a + b) = a + b.
2 2
1,5 3 1,5 3
d) + + 2 = 2 + .
2 5 2 5

1 1
e) 12 8 = (12 8) .
4 4

4 1
f) 3 2 = 2 .
3 4 1
3
3
3. Realice las siguientes operaciones.

a) (2) 3(4 2) + 6 + 5 2(3 + 8) + 9 .

3 7 9 5
b) 16(2 + 4) 30 + (4 8)6 (9 4)3 .
2 3 3
c) (16 8) 2.

3 3 8
d) 6 (28 + 24) 12 4 (7 3)9 16 .
4 3 3
1 1

1 1 + 1 + 2
1+
2. 4 3 4
e) f ) .
1 1
1+
3 3+
5
1+
3
5. Encuentre la soluci
on de las siguientes ecuaciones justificando los pa-
sos:
a) 5x + 4 = 23. c) (x + 3)(x + 2) = 0.
b) 4x 13 = 5x + 8. d) (3x 8)(6x + 7) = 0.
3.5.7. Orden en los Reales

La resta permite definir el orden en los n umeros reales en el mismo sentido
que en los racionales.
umero a R+ , se cumple que
De acuerdo a la definicion, para cualquier n
0 < a y a < 0, es decir, cualquier n umero negativo es menor que cero. De
esta forma se cumple:
Definici on. Dados los dos n

umeros reales x y t, decimos x < t o t > x
+
si y solo si t x R . Ademas, diremos que x t si x < t o x = t.
R+ = {x R : x > 0}, R = {x R : x < 0} y R = R+ R {0}.

De lo anterior se concluye que para todo x R, entonces 0 < x, x < 0
o x = 0.
De la definicion de orden dada se tiene.
3.5. Los n
umeros reales 131
Propiedades b asicas. Sean x, y y z n

umeros reales, entonces:
1. Para todo x y y se verifica una y solo una de las relaciones x < y,
x = y o y < x.
2. Si x < y, entonces, para todo z, x + z < y + z.
3. Si x < y, entonces, para todo z R+ , xz < yz.
4. Si x < y, entonces, para todo z R , xz > yz.
5. Si 0 < x y 0 < y, entonces 0 < xy.
6. Si z < y y y < x, entonces z < x.
Propiedades que permiten demostrar el siguiente teorema:
Teorema. Sean x, y y z n umeros reales, entonces

1. Si x < y y s < t, entonces x + s < y + t.
2. Si x < y, entonces x > y.

!
0x y 0 y o
3. Si 0 xy, entonces:
x0 y y 0.
!
0x y y 0 o
4. Si xy 0, entonces:
x0 y 0 y.
Ejemplos.
Resolvamos las siguientes desigualdades.

1. 3x 2 < 5, sumando en ambos lados el 2 tenemos, 3x 2 + 2 < 5 + 2,
luego 3x < 7 y multiplicando por 1/3, se tiene que x < 7/3 es el
conjunto solucion.
2. 0 < (x + 3)(2x + 4). Tenemos dos posibilidades:
a) 0 < x + 3 y 0 < 2x + 4, cuya solucion es la interseccion de 3 < x
con 2 < x, es decir, 2 < x.
b) x + 3 < 0 y 2x + 4 < 0, cuya solucion es la interseccion de x < 3
con x < 2, es decir, x < 3.
De esta manera la solucion sera la union de 2 < x con x < 3, es

decir, son todos los x tales que x < 3 o 2 < x.
Intervalos
A continuacion vamos a definir algunos conjuntos importantes de los reales.
Definicion. Sean a y b n umeros reales tales que a < b. Un intervalo

abierto, denotado por (a, b) se define como:
(a, b) = {x R : a < x < b}.
De igual manera definimos los intervalos:
[a, b) = {x R : a x < b},

(a, b] = {x R : a < x b},
[a, b] = {x R : a x b}.
Ademas se definen los intervalos infinitos:
(a, ) = {x R : a < x},

[a, ) = {x R : a x},
(, a) = {x R : x < a},
(, a] = {x R : x a}
BObservaci on. Las operaciones de union, interseccion y diferencia

de conjuntos que se definieron en la seccion 2.3 se aplican tambien a
los intervalos. Debemos tener en cuenta que no siempre, al efectuar es-
tas operaciones con los intervalos, vamos a obtener otros intervalos. Lo
mas indicado para obtener resultados es recurrir a la representacion ge-
ometrica.
3.5. Los n
umeros reales 133
Ejemplos.
1. Determinar [2, ) [3, ) y [2, ) [3, ).

Para encontrar la interseccion, buscamos los x que pertenezcan a los
dos intervalos. La grafica siguiente nos ilustra la situacion.
| | | | | |
2 0 3
El conjunto solucion corresponde a la parte de la recta que se ha

((barrido)) con las dos semirectas; en este caso es el intervalo [3, ),
es decir [2, ) [3, ) = [3, ).
Para hallar la union buscamos los x que pertenezcan al uno o al otro
intervalo. Geometricamente, corresponde a la porcion de recta que se
ha barrido con alguna de las rectas; en este caso es el intervalo [2, ),
es decir [2, ) [3, ) = [2, ).
2. La interseccion de los intervalos (, 2](, 3] = (, 2] como

se puede observar en la grafica siguiente.
| | | | | |
2 0 3
3. La union de los intervalos [1, ) y (, 2] no es vaco, pero no

corresponde a ningun intervalo, en cambio [1, ) (, 2] = .
| | | | | |
2 0 3
El axioma de completitud de los reales

Los numeros reales, a diferencia de los racionales, ((llenan)) completa-
mente el continuo lineal. En este sentido,decimos que el conjunto de los
numeros reales constituyen un continuo numerico. Dado que la caracteri-
zacion del continuo numerico es una de las cuestiones mas complicadas de
las matematicas, se incorpora como un axioma de la teora. Para ello nece-
sitamos algunos conceptos que describimos a continuacion.
on.
Definici
1. Sea A R, se dice que x R es una cota superior A si para todo
y A, y x.
2. Sea A R, se dice que x R es una cota inferior de A si para todo

y A, x y.
Ejemplos.

1. Sea el conjunto A = {2, 0, 1/5, 3, 10}. x = 3 es una cota inferior
de A y x = 11 es una cota superior de A, observemos que x = 2
tambien es una cota inferior de A, cuantas cotas inferiores tiene A?;
de otra parte x = 10 es cota superior de A, cuantas cotas superiores
tiene A?.
2. Sea el intervalo B = [3, 15], sobre este conjunto podemos mencionar

que x = 1, x = 3 son algunas cotas inferiores y que el conjunto (, 3]
es el formado por todas las cotas inferiores de A, tambien que el con-
junto [15, ) esta formado por todas las cotas superiores de A .
Definicion.
1. Sea A R, se dice que x R es el m
aximo de A si y solo si x A y
para todo y A, y x.
2. Sea A R, se dice que x R es el mnimo de A si y solo si x A y

para todo y A, x y.
3.5. Los n
umeros reales 135
Ejemplos.
1. Para el conjunto A de el ejemplo anterior el maximo es x = 10, mien-

tras que el mnimo es x = 2.
2. Para el conjunto B de el ejemplo anterior el maximo es x = 15, mien-
tras que el mnimo es x = 3.
Definicion.
1. Sea A R, se dice que x R es el supremo de A si x es la menor
cota superior de A.
2. Sea A R, se dice que x R es el nfimo de A si x es la mayor cota

inferior de A.
Ejemplos.
1. Sea el intervalo B = (2,5].

Maximo de B = 5.
Mnimo de B, no tiene.
Cotas superiores: [5, ).
Cotas inferiores: (, 2].
Supremo de B = 5.
Infimo de B = 2.
umeros naturales no tiene maximo, su mnimo es
0, no es acotado superiormente y 0 es una cota inferior. Por lo tanto
no tiene supremo y el nfimo es 0.

1
3. Sea el conjunto A = : nN .
n
Maximo de A = 1.
Mnimo de A, no tiene.
Cotas superiores: cada uno de los elementos del intervalo [1, ) es una
cota superior de A.
Cotas inferiores: cada uno de los elementos del intervalo (, 0] es

una cota inferior de A.
Supremo de A = 1.
Infimo de A = 0.
Las nociones de supremo e nfimo nos permiten incorporar el axioma de

completitud de los n
umeros reales:
Axioma de completitud de los reales. Todo conjunto no vaco de

n
umeros reales acotado superiormente, tiene supremo. Todo conjunto de
n
umeros reales, no vaco, acotado inferiormente, tiene nfimo.
3.5.8. El valor absoluto

Al principio de esta unidad establecimos la recta numerica, de tal suerte
que, tomando como referencia un punto como el n umero cero y un segmento
como unidad de medida, a cada punto de la recta le corresponda un n umero
real. En terminos geometricos esto significa que los n
umeros reales positivos
pueden interpretarse como longitudes de segmentos respecto de una unidad
de medida determinada.
Supongamos que en el punto A de la figura siguiente se ha ubicado el 0.
El numero asociado a un punto P arbitrario se llama coordenada del punto.
Si P1 y P2 son dos puntos arbitrarios en la recta numerica con coordenadas
x1 y x2 , ubicados de tal forma que P2 esta a la derecha de P1 , entonces la
medida relativa de P1 P2 se calcula mediante la expresion
m(P1 P2 ) = x2 x1 .
A P1 P2
| | |
Negativo 0 x1 x2 Positivo
De acuerdo a la representacion geometrica de la figura anterior se tiene

que m(AP2 ) = m(AP1 ) + m(P1 P2 ). Es decir, x2 = x1 + m(P1 P2 ) y por lo
tanto, m(P1 P2 ) = x2 x1 .
Estudiando los otros casos posibles en lo que respecta a la ubicacion
relativa de los puntos P1 y P2 respecto del origen A se puede comprobar
que la formula anterior sigue siendo valida, de esta forma se establece, de
3.5. Los n
umeros reales 137
manera natural, la nocion de distancia entre dos n umeros reales sobre la

recta numerica. Por definicion la distancia entre dos puntos sera la medida
del segmento determinado por ellos, en la direccion positiva de la recta y se
llamara medida absoluta del segmento.
Si P es un punto sobre una recta numerica y x es el numero real asociado
con el, tal como se indica en la figura siguiente, definimos el valor absoluto
de x, y lo denotaremos |x|, como la distancia de P al origen.
A P
| |
0 x
La distancia al origen esta dada por |x| = x.
P A
| |
x 0
La distancia al origen esta dada por |x| = x.
Utilizando la definicion de distancia dada anteriormente, se puede ob-

servar que si P esta a la derecha del origen A, x es positivo y su distancia
al origen estara dada por m(AP ) = x 0 = x, mientras que si P esta a
la izquierda de A, x sera negativo y su distancia al origen estara dada por
m(P A) = 0 x = x. Se puede concluir por lo tanto que:
on. El valor absoluto de x se define como:

Definici
!
x si x 0,
|x| =
x si x < 0.
Si P1 y P2 son puntos arbitrarios sobre una recta numerica con coor-

denadas x1 y x2 respectivamente, la distancia entre P1 y P2 estara dada
por m(P1 P2 ) = x2 x1 , si P1 esta a la izquierda de P2 (x1 < x2 ) y por
m(P2 P1 ) = x1 x2 , si P2 esta a la izquierda de P1 (x2 < x1 ). As, la dis-
tancia entre P1 y P2 esta dada por el valor absoluto de la diferencia de las
coordenadas de los dos puntos. Se puede escribir por lo tanto:
Distancia entre P1 y P2 = |x2 x1 |.

Ejemplos.
" " " "

"1" " 1 " 1
1. De acuerdo con las definiciones anteriores " " = "" "" = , lo cual
" "
2 2 2
se desprende claramente del significado intuitivo que le hemos dado al
valor absoluto de un numero y que en este caso dice que la distancia
al origen de los puntos marcados con 1/2 y 1/2 es la misma.
2. Si P1 y P2 son puntos con coordenadas x1 = 3/4 y x2 = 1 respec-

tivamente, se tiene que la distancia entre P1 y P2 viene dada por la
expresion:
" " " "
" 3 " " 7" 7
|x2 x1 | = ""1 "" = "" "" = .
4 4 4
3. Para a R, la ecuacion |x a| = 3 quiere decir que buscamos los

n
umeros reales x tales que la distancia de x a a, es igual a 3. Por ejem-
plo si a = 2, tendramos la ecuacion |x 2| = 3 que geometricamente
se puede visualizar en la grafica siguiente:
3 unidades. 3 unidades.
| | | |
1 0 2 5
De esta forma, tanto x = 5, como x = 1 corresponden a soluciones

de la ecuacion |x 2| = 3.
Se pueden verificar facilmente que para todos los n

umeros reales:
3.5. Los n
umeros reales 139
Teorema. Sean x, y y n
umeros reales, entonces:
1. 0 |x|.
2. |x| = |x|.
3. |x y| = |x| |y|
4. |x + y| |x| + |y| .
5. Para 0 < ,
a) |x| < si y solo si < x < .

b) < |x| si y solo si < x
o x < .
c) |x| = si y solo si x =
o x = .
a) y b) tambien se cumplen con . c) se cumple tambien para = 0.
Ejemplos.
Resolvamos algunas inecuaciones que involucren valor absoluto.
1. Resolver |x 4| < 9, en el dominio de los n

umeros reales.
Por a) se tiene que la inecuacion es equivalente a: 9 < x 4 < 9.
A cada miembro de la inecuacion le sumamos 4:
(9) + 4 < (x 4) + 4 < 9 + 4,
por lo tanto, 5 < x < 13. El intervalo solucion sera entonces, (5, 13).
" "
2. Resolver " 3 x 2" 3, en el dominio de los n umeros reales.
" " " " " "
" " " " " "
" 3 x 2" = "( 3 x + 2)" = " 3 x + 2" .
Por ley distributiva

" "y 2, la inecuacion original es equivalente
a la
inecuacion " 3 x + 2" 3, que por b) es igual a 3 x + 2 3

o 3 x + 2 3. Al sumar
2 en los dos miembros de la desigualdad
obtenemos
3x 1 o 3 x 5. Al multiplicar ambos
miembros
por ( 3)1 = 1/ 3 llegamos a x 1/ 3 o x 5/ 3. Finalmente,

al racionalizar se obtiene x 3/3 o x 5 3/3. Que corresponde
a:
# $
3 5 3
, , .
3 3
Actividad 3.14.
1. Analice el siguiente razonamiento: 2(x + 1) < 4(x + 1), implica 2 < 4.
Es verdadera esta desigualdad para todo x R?
1 1
2. Sean x y y n
umeros reales. Si x < y, se cumple que < ?
x y
3. Considere el producto (x 2)(x + 3).
a) Para que valores de x este producto es 0?

b) Localice estos puntos en la recta numerica.
c) En cu
ales intervalos queda dividida la recta numerica?
4. Halle la soluci on 0 (x 2)(x + 3).? Ubique la

on de la inecuaci
soluci
on en la recta numerica.
5. Resuelva las inecuaciones:
a) 0 < (x2 4)(x + 5). x7

c) 2 < .
x+3
x7 (x + 1)(x 1)
b) 0 . d) 0.
x+3 (x 2)
3.6. Los n
umeros complejos 141
5. Encuentre, en caso de existir, el nfimo, el supremo, el maximo y el

mnimo de los siguientes subconjuntos de R.

a) [8, 7). d) {x Q : 0 x 2}.

b) {x R : x2 < 2}. e) {x R : 0 x 2}.
c) {(1)n : n N}. f ) {0, 1, 2, 3, 10}.
6. Resuelva las siguientes ecuaciones e inecuaciones en el dominio de los

reales:
a) |x| < 4. d) |2x| < 1.

" "
b) "x2 " < 4. e) 3 < x + |x|.
c) |x 1| = |x + 4|. f ) 3 |x 1| + |x| = 4.
3.6. Los n
umeros complejos
En la sesion anterior se ha estudiado el sistema matematico de los n umeros
reales. A pesar de que los n umeros reales resultan adecuados para muchos
problemas matematicos y practicos, resultan insuficientes para la resolucion
de algunas ecuaciones. Es el caso, por ejemplo, de la ecuacion x2 = 1, dado
que no existe ning un real que al elevarlo al cuadrado de 1. El problema
es que en muchas situaciones se hace necesario que esta clase de ecuaciones
tengan solucion. La salida historica a este inconveniente fue la constitucion
del conjunto de los n umeros complejos, del cual hace parte el conjunto de
los n
umeros reales.
La construccion del sistema de los n umeros complejos, que anotaremos
con el smbolo C, se basa en dos aspectos:

1. La adopcion de 1 como un n umero.
2. La generalizacion de las operaciones + y para los nuevos n umeros

entre s y en correlacion con los n
umeros reales.

Si adoptamos 1 como n umero, podemos designar cualquier raz neg-
ativa mediante esta expresion. Empecemos estableciendo la designacion i =
1, lo que significa que i2 = 1; para una raz negativa se usa el siguiente

proceso. Sea a R,
% %
a2 = (1)(a2 ) = a2 (1) = a2 1 = a2 i.
Por ejemplo:

16 = 4 i,

1 = 1 i.
Como buscamos que R este contenido en C, es conveniente definir las

operaciones en C teniendo en cuenta las operaciones en R. De esta manera,
para todo b en R, b i debe estar en C y para todo a R, a + b i debera estar
en C. En este sentido, C contiene todos los elementos de la forma a + b i con
a y b en R, es decir C esta constituido por el conjunto:
C = {a + b i : a, b R}.
El n
umero i es llamado n
umero imaginario
Actividad 3.15.
1. Calcule i2 , i3 , i4 , i5 , i23 , i106 , i201 .
2. Encuentre una regla general para in , donde n N.
Los elementos de C se designan como n

umeros complejos.
Definicion. Sea el n
umero complejo a + b i.
1. Se denomina parte real de este n
umero al n
umero a y parte compleja
al n
umero b.
umero complejo a + (b) i se designa como a b i.

2. El n
3. Los n
umeros complejos: a + b i, c + d i son iguales si y solo si a = c y
b = d.
Para conformar el sistema de los n umeros complejos, definimos en el

conjunto C las operaciones de adicion (+) y multiplicacion () de la siguiente
manera.
3.6. Los n
Definicion. Sean a, b, c y d n umeros reales, entonces,

1. (a + b i) + (c + d i) = (a + c) + (b + d) i.
2. (a + b i) (c + d i) = (ac bd) + (ad + bc) i.
Notemos que la definicion de producto entre n umeros complejos se establece

al adoptar la propiedad distributiva de los n umeros reales, como se visualiza
a continuacion.
(a + b i) (c + d i) = a(c + d i) + b(c + d i)i.
(a + b i) (c + d i) = a(c + d i) + b(c + d i)i.
(a + b i) (c + d i) = a(c + d i) + b(c + d i)
= ac + ad i + bc i + bd i2
= ac + (ad + bc) i + bd(1)
= (ac bd) + (ad + bc) i
Ejemplos.
a) (2 3 i) + (1 + 4 i) = (2 + 1) + (3 + 4) i = 3 + 1 i.
b) (5 + i) + (2 i) = (5 + 0) + (1 + 2) i = 5 + 3 i.
c) (4 + 6 i)(2 + 1 i) = (4 2 6 1) + (4 1 + 6 2) i = 2 + 16 i.
d ) (3 i)(4 1 i) = (0 4 3 (1)) + (0 (1) + 3 4) i = 3 + 12 i.
Si adoptamos el hecho que 0 i = 0, entonces cualquier n umero real

corresponde a un complejo pues, para a R, se tiene que a + 0 i = a.
La estructura algebraica de los n umeros complejos es la misma que la de
los n
umeros reales. Es decir, que la adicion y multiplicacion de los numeros
complejos son conmutativas y asociativas, que la multiplicacion distribuye a
la adicion, que hay elementos neutros para ambas operaciones y que todos
los complejos tienen inverso y opuesto.
Sin embargo, el sistema de n umeros complejos no tiene un orden que sea
compatible con las dos operaciones, como lo tiene el sistema de n umeros
reales, Si as lo fuera, se tendra que 0 < i2 (el cuadrado de todo n
umero es
positivo, hecho que se deduce de las propiedades de orden), es decir 0 < 1,
lo que es una contradiccion.
Veamos ahora algunas de las propiedades de la multiplicacion y la adicion

de complejos. Dejamos el resto de ellas como ejercicio.
El elemento neutro para la adicion es 0 y para la multiplicacion es 1. En
efecto:
(a + b i) + 0 = (a + b i) + (0 + 0 i). Por la identificacion.

= a + b i. Por la definicion de la adicion.
y,
(a + b i) 1 = (a + b i)(1 + 0 i). Por la identificacion.

= (a 1 b 0) + (b 1 + a 0) i. Por definicion de la mult.
= a + b i.
El estudiante tambien puede comprobar que el opuesto (a + b i), del

complejo a + b i, es a b i. Por lo tanto la resta de n
umeros complejos se
puede definir as:
(a + b i) (c + d i) = (a + b i) + [(c + d i)].
Por ejemplo
(4 + 3 i) (5 + 2 i) = (4 + 3 i) + [(5 + 2 i)],
= (4 + 3 i) + (5 2 i),
= (4 5) + (3 2) i,
= 1 + i.
Conjugados y recprocos
Definici on. Dado un n

umero complejo a + b i, definimos su conjugado
umero complejo a b i. Simb
a + b i como el n olicamente,
a + b i = a b i.
El conjugado de un numero complejo nos servira para calcular inversos,

ya que el producto de un n
umero complejo por su conjugado es un n umero
3.6. Los n
real.
(a + b i) (a + b i) = (a b i)(a + b i),
= (a2 + b 2 ) + 0 i,
= a2 + b 2 .
De aqu que, si a + b i = 0 (es decir a = 0 o b = 0) entonces
1
(a + b i) (a + b i) = 1.
a + b2
2
Por consiguiente el inverso de a + b i, si a + b i = 0, que anotamos por

(a + b i)1 o 1/(a + b i), vendra dado por

1 1
= (a b i) .
a+bi a2 + b 2
Conociendo el inverso de un n umero complejo distinto de cero, podemos
definir el cociente de n
umeros complejos:
a+bi
= (a + b i)(c + d i)1 , c + d i = 0.
c+di
Explcitamente
a+bi
= (a + b i)(c + d i)1 ,
c+di
1
= (a + b i) 2 (c d i),
c + d2

c d
= (a + b i) i ,
c2 + d2 c2 + d2
ac + bd bc ad
= + i.
c2 + d2 c2 + d2
Ejemplos.
1
1. Si queremos calcular , basta aplicar la formula general para
4+7i
inversos as:
1 1
= 2 (4 7 i),
4+7i 4 + 72
1
= (4 7 i),
65
4 7
= i.
65 65
Por otro lado, tambien, podemos efectuar el calculo as:

1 1 47i
= ,
4+7i 4+7i 47i
47i
= ,
(4 + 7 i)(4 7 i)
47i
= 2 ,
4 + 72
4 7
= i.
65 65
7i
2. Calculemos ahora . Por definicion de cociente entre complejos
3+5i
se tiene que:
7i
= (7 2 i)(3 + 5 i)1 ,
3+5i
1
= (7 2 i) 2 (3 5 i),
3 + 52

3 5
= (7 2 i) i ,
34 34
11 41
= i.
34 34
El estudiante puede hacer el mismo calculo multiplicando numerador
y denominador por el conjugado de 3 + 5 i.
Por u ltimo se
nalamos algunas propiedades del conjugado que consignamos
en el siguiente teorema. Para simplificar la notacion de los n
umeros comple-
jos escribiremos z en lugar de a + b i.
Teorema. Si z y w son n
umeros complejos entonces:
1. z + w = z + w.
2. zw = z w.
z z
3. = .
w w
4. z = z si y solo si z es real.
3.6. Los n
Vamos a demostrar la parte 4. El resto lo dejamos como ejercicio.

Sea z = a+bi y supongamos que z = z, es decir, a+bi = abi. Sumando
a ambos lados de la igualdad el opuesto de a b i obtenemos 2b i = 0. Por
lo tanto b = 0 y z = a que es un n umero real.
La otra implicacion es evidente ya que si z es real,
z = a + 0 i = a 0 i = z.
Hemos construido un sistema (C, +, ) con las mismas propiedades for-
males que el sistema (R, +, ) pero que no tiene la limitacion del u
ltimo. Es
decir que en (C, +, ) podemos encontrar soluciones a todas las ecuaciones
de la forma xn = a.
Definicion. Sea el numero complejo z= a + b i. Se define la norma

de z, representada por |z|, como |z| = a2 + b 2 , que corresponde a la
distancia del origen al punto (a, b).
Representaci
on geom
etrica de los n
umeros complejos.
Ya hemos visto que los n umeros reales se pueden representar por medio de
puntos en la recta. Tambien es posible tener una representacion analoga para
los n
umeros complejos solo que en lugar de una recta utilizaremos un plano
con un sistema de coordenadas cartesianas rectangulares.
El n
umero complejo z = a + b i lo podemos representar como un punto
en el plano xy de coordenadas (a, b).
Cuando utilizamos el plano xy para representar n umeros complejos, el
plano toma el nombre de plano Argand, en honor a Jean Argand (1768-1822),
matematico suizo que en 1806 propuso esta representacion para los n umeros
complejos.
Eje imaginario
b z =a+bi
a Eje real
Observemos que el n umero complejo z, geometricamente lo podemos ver

como la reflexion de z respecto al eje x.
y
z
El proceso de sumar tiene una interpretacion muy simple en terminos
vectoriales como se muestra en la figura:
z1 + z2
z2
z1
Recordemos que en el apartado anterior definimos el concepto de valor

absoluto |a| de un n umero real a y observamos que geometricamente, |a| es
la longitud del segmento AP donde A es el punto de referencia y P el punto
con coordenada a en la recta numerica. Generalizamos este concepto a los
numeros complejos definiendo el modulo |z| de un n umero complejo z.
De acuerdo con la interpretacion que le dimos a los complejos para ver
geometricamente la adicion y la sustraccion, esto lo podemos hacer as:
Si z = a + b i, la longitud de la flecha de 0 a z la podemos calcular usando
el Teorema de Pitagoras.
As se tiene que |z| = a2 + b2 .
Modulo de z = longitud de la flecha de 0 a z.
3.6. Los n
(a, b)
b
|z|
a x
Veamos algunos ejemplos.

Ejemplos.
Calculemos los modulos de 6 + 2 i, 3 i y 5.

1. |6 + 2 i| = 62 + 22 = 40 = 2 10.

2. |3 i| = |0 + 3 i| = 02 + 32 = 9 = 3.

3. |5| = |5 + 0 i| = 52 + 02 = 25 = 5.
Al igual que el valor absoluto, el modulo tiene propiedades importantes
que consignamos en el siguiente teorema.
Teorema. Si z y w son n
umeros complejos, entonces,
1. 0 |z|.
2. |z w| = |w z|.
3. |zw| = |z| |w|.

"z" |z|
" "
4. " " =
w |w|
5. z z = |z|2 .
Actividad 3.16.
En los ejercicios 1 a 6 responda verdadero o falso justificando su
respuesta.
a) El conjugado de un n
umero complejo es el recproco de este.
umero complejo z y todo entero positivo n, z n = (z)n .

2. Para todo n
3. Para todo n
umero complejo z, z = z.
umero complejo z, |z n | = |z|n .

4. Para todo n
1 1
5. El inverso de un n
umero complejo z = a + b i es + i.
a b
6. El modulo del inverso de un n
umero complejo es el inverso de su
modulo.
7. Efect
ue las siguientes operaciones entre n
umeros complejos.
a) (5 + 2 i) + (7 i). f ) (4 + 3 i)(3 + i).

b) (7 + 2 i) + (8 5 i).
g) (3 6 i)(2 + i).
c) (3 + 3 i) (5 7 i).
d) (a + b i) + (a b i). 3
3
e) (a + b i) (a b i). h) (3 + 2 i)2 +i .
2
8. Efect
ue los siguientes calculos entre n
umeros complejos.
1 1
a) . d) .
3+2i (3 + 2 i)2
1 6+4i
b) . e) .
(1 + i)3 15i
7 23i 7+4i
c) . f) + .
66i 1+i 3+5i
3.6. Los n
9. Calcule el modulo de los siguientes n

umeros complejos.
a) 5 + 8i. c) 6 7i.
b) 15i. d) i2 .
10. Represente geometricamente los siguientes complejos.
a) 3 4i. c) (3 6i).
b) 3 5i. d) (3i)(2 i).
3.7.
Autoevaluaci
on

nale la respuesta correcta:
umero 0 3 es un:
1. El n
a) Natural. c) Entero.
b) Racional. d ) Irracional.
23
2. El inverso de , es:
4
3 1
2
a) . c) .
4 2
1
b) 2. d) .
2
1 1 1
3. El n
umero x = + + + , es un n
umero:
10 100 1000
a) Natural. c) Entero.
b) Racional. d ) Irracional.
4. El inverso de 1 + i es:
a) 1 i. 2
c) .
1+i
1+i 1i
b) . d) .
2 2
5. Se
nale la afirmacion falsa.
a) Si x < y, entonces x + z < y + z, para todos los reales x, y y z.

a c ad + bc
b) + = .
b d bd
c) Para todos los reales x, y y z, se cumple: x(yz) = xy + xz.
d ) (a) (b) = ab.
3.7. Autoevaluaci
on 153
6. Se
nale la afirmacion verdadera:
a) Si x y y son n
umeros racionales, entonces x + y tambien es un
n
umero racional.
b) Si x y y son n
umeros irracionales, entonces x + y tambien es un
n
umero irracional.
c) Para todo x N, existe un y N, tal que x + y = 0.
d ) la ecuacion x2 + 1 = 0, tiene solucion en los reales.
3.8.
Rompe coco S
1. Verifique los siguientes criterios de divisibilidad e intente una prueba
de cada uno de ellos.
a) Un numero es divisible por tres si la suma de sus cifras es divisible

por tres.
b) Un numero es divisible por cuatro si el n umero obtenido de las
dos u
ltimas cifras es divisible por cuatro.
c) Un n
umero es divisible por cinco si su u
ltima cifra es cinco o cero.
d ) Un n
umero es divisible por seis si es divisible por dos y por tres.
e) Un numero es divisible por ocho si y solo si el numero formado
por sus tres u
ltimas cifras es divisible por ocho.
f ) Un numero es divisible por nueve, cuando la suma de sus cifras
es divisible por nueve.
g) Un n
umero es divisible por diez cuando la u
ltima cifra es cero.
h) Para determinar si un n umero es divisible por once se sigue el
siguiente proceso: De izquierda a derecha, se agrupan por parejas
las cifras (la u
ltima cifra puede quedar sola), se restan las parejas
y los resultados se suman. El n umero es divisible por once si el
resultado final es divisible por once.
2. Existe alg
un criterio de divisibilidad por siete?
3. Un interesante truco de sobremesa consiste en tomar cinco cartas de

naipes, del as al cinco. Mientras permanece de espaldas, pide a alguien
que coloque el as, el dos, el tres, y el cuatro en el orden que quiera
para formar un n umero de cuatro dgitos. Sin darse la vuelta puede
decirle que el n
umero no es divisible por tres. Pdale ahora que a
nada el
cinco recomponga los naipes para formar un n umero de cinco dgitos.
Le asegura a un de espaldas, que el nuevo n umero es divisible por 3.
Explique porque sucede esto.
3.8. Rompecocos 155
4. Se pide a una persona mayor de nueve a nos y menor de cien que escriba
su edad tres veces para hacer un n
umero de seis dgitos. Probar que el
n
umero tiene que ser divisible por siete.
5. Un nino tiene a su disposicion n peque

nos cubos de madera, todos del
mismo tama no. Con ellos trata de construir el cubo mas grande que
pueda, pero descubre que se queda corto exactamente por una hilera
de cubos que habran formado un extremo del cubo mayor. Probar que
n es divisible por 6.
6. Juego de picas y famas aplicado a la divisibilidad

En el juego se enfrentan dos contrincantes A y B. Cada uno de los
cuales esconde secretamente un numero de cuatro cifras diferentes, di-
visible por un n
umero previamente escogido. El juego lo inicia cualquiera
de los dos y ganara quien primero ((adivine)) el n
umero del otro.
En su turno, cada uno dara un n umero de cuatro cifras, que el otro
analizara indicandole el n
umero de cifras que conservan la posicion del
n
umero buscado, como n umero de picas. El numero de cifras que cor-
responden al n umero, pero en diferente posicion al n
umero escondido
se denominan famas.
Pongamos un ejemplo:
Supongamos que B esconde el n umero 2530, divisible por cinco y que
A esconde el n
umero 1236, divisible por tres
A empieza el juego, sabe que busca un n umero divisible por cinco y
prueba con el n
umero 2360, en este caso, B le dira que tiene dos picas
y una fama.
B, que sabe que busca un n umero divisible por tres, prueba con el
n
umero 6153, en este caso, A le dira que tiene cero picas y tres famas.
As continuaran hasta el primero que cuadre el n
umero.
Juegue con sus compa
neros.
3.9.
DesafoS

1. Demuestre que para cualquier n umero n, entero positivo, n es irra-
cional.

ua la operacion ( 2) 3 ?
2. Como se efect

3. Tiene sentido la expresion 3 + 2 i? Cual es el resultado?
4. Despeje x de la ecuacion ix2 + (1 + 2 i)x + 1 = 0

Indice alfab
etico
nfimo, 135 cuantificador existencial, 35

cuantificadores, 33
algoritmo de la division, 91
Argand, J., 147 deduccion, 2, 27
argumentacion, 2 demostracion, 40
argumento, 6 denominador, 106
asignaciones de verdad, 20 densidad, 111, 112
Axioma Descartes, R., 120
de completitud de los reales, 136 diferencia de conjuntos, 63, 66
axioma, 40 disyuncion, 12, 21
axioma de la union, 64 divisibilidad, 89, 154
axioma de pares, 63 divisible, 89, 91
axioma de separacion, 59 doble implicacion, 22
axioma del conjunto vaco, 61
Estanislao Zuleta, 2
bicondicional, 14 estructura logica, 6
exponente fraccionario, 127
Cantor, G., 53
complemento de un conjunto, 67, 68 formulas, 17, 24
conectivos logicos, 11 bien formadas, 17
conjugado, 144 proposicionales, 17, 19
conjuncion, 12, 21
conjunto, 53 Halmos, P., 57
vaco, 60 hipotesis, 40
conjunto universal, 68
conjuntos coordinables, 72, 73 implicacion, 13, 22
consecuencia logica, 34 inclusion, 57
contradiccion, 27 interseccion de conjuntos, 63, 65
contrarrecproca, 22 intervalos, 132
cota inferior, 134 inverso, 122
cota superior, 134 inverso multiplicativo, 109
157
158 3. Indice alfabetico
logica, 2, 4 imaginarios, 142

Proposicional, 7 irracionales, 119
de predicados, 33, 35 naturales, 81, 102
formal, 5 racionales, 105, 106, 119
proposicional, 33, 34 reales, 117, 120
logica proposicional, 16 reales negativos, 123
logicamente equivalente, 43 reales positivos, 123
logicamente equivalentes, 24 romanos, 98
lenguaje simbolico, 16 complejos, 141
ley de adjuncion, 29 reales, 112
ley distributiva, 122 negacion, 12, 21
leyes, 25 de los cuantificadores, 38
de De Morgan, 25 neutro de la suma, 122
leyes asociativas, 122 norma, 147
leyes clausurativas, 122 numerador, 106
leyes conmutativas, 122
operaciones
maximo, 134 con los numeros enteros, 101
metodo axiomatico, 40 entre numeros racionales, 106
metodos de demostracion, 40 operaciones con conjuntos, 63
mnimo, 134 opuesto, 100, 122
minuendo, 99 opuesto aditivo, 109
Modus Ponendo Ponens, 28 orden
Modus Tollendo Ponens, 29 de los racionales, 111
Modus Tollendo Tollens, 29 en los numeros enteros, 103
multiplicacion en los numeros naturales, 87
de n
umeros naturales, 86 en los reales, 130
n
umero par ordenado, 69
compuesto, 89 paradoja, 54
irracional, 116, 117 paradoja de Russell, 54
primo, 89 parte compleja, 142
racional, 117 parte real, 142
n
umero natural plano Argand, 147
de un conjunto, 82 potencias enteras, 124
n
umeros potencias racionales, 126
complejos, 147, 150 predicado, 33
enteros, 99, 101 primos relativos, 90
. 159
principio sintaxis, 16
de extension, 56 sistema
de separacion, 53 babilonico, 95
principio de identidad, 40 binario, 96, 97
principio de no contradiccion, 40 de numeracion, 91
proceso demostrativo, 41 decimal, 92
producto romano, 95
de n umeros naturales, 83, 85, 86 egipcio, 93
producto cartesiano, 69 griego, 94
propiedad sistema axiomatico, 40
asociativa del producto, 86 sistemas
conmutativa del producto, 86 de numeracion antiguos, 93
de la monotona, 89 sistemas numericos, 79
del elemento neutro, 86 subconjunto, 57
del elemento nulo, 86 subconjunto propio, 58
distributiva, 87 sucesor, 83
propiedad asociativa, 85 suma de n umeros naturales, 83
propiedad clausurativa, 85 supremo, 135
propiedad conmutativa, 85 sustraendo, 99
proposicion, 2, 9
tablas de verdad, 21
raz tautologa, 23, 25
n-esima, 126 teora de conjuntos, 53
positiva, 126 Teorema
principal, 126 fundamental de la aritmetica, 90
razon entre magnitudes, 106 teorema, 40
razonamiento, 27 tercero excluido, 40
recproca, 22 tesis, 40
recproco, 144 union de conjuntos, 63
reduccion al absurdo, 25, 43 union de conjuntos, 64
reglas de inferencia, 28
representacion decimal, 118 valor absoluto, 136, 137
Russell, B., 15, 54 valores de verdad, 9, 20
semantica, 16
silogismo, 33, 34
silogismo hipotetico, 29
simplificacion disyuntiva, 29

Lógica y Conjuntos PDF

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Lógica y Conjuntos PDF

Caricato da

Copyright:

Formati disponibili

MATEMATICA

1 Introduccion a la logica simb olica 1

2 Nociones fundamentales de conjuntos 52

2.2.2 La relacion de inclusion . . . . . . . . . . . . . . . . 57

3 Sistemas num ericos 79

3.5.3 Operaciones entre n umeros reales . . . . . . . . . . . 119

Este modulo hace parte del proyecto SEMILLEROS promovido por el

En este libro abarcamos los siguientes captulos:

1. Introduccion a la logica simbolica.

2. Nociones fundamentales de conjuntos.

En el primer captulo buscamos que los estudiantes se apropien del lenguaje

se utiliza para llamar la atencion sobre algunos aspectos conceptuales que

Reconocer y utilizar los principios logicos generales usados en matema-

Adquirir familiaridad y destreza en el uso de las proposiciones, las

Identificar los metodos de demostracion que se utilizan en matematicas.

1.1. Lenguaje cotidiano, L

De acuerdo a la afirmacion del profesor Zuleta se puede afirmar que hay

Lisa va sonriente por una calle de Springfield y de pronto se encuentra

Nelson: Hola Lisa por que tan sonriente?

Lisa: Vengo de una clase muy chevere de Logica en los Semilleros de

Nelson: y . . . que es eso de la logica?

Lisa: Es un poco complicado explicartelo, pero voy a darte un ejemplo.

Lisa: Estudias todos los das y haces todas las tareas.

Nelson: Claro que si.

Lisa: Eso quiere decir que ganaras el a

Nelson: Ah, si, es correcto.

Lisa: Pues, eso es la logica.

Bart: Hola Nelson por que tan alegre?

Nelson: Me encontre con Lisa y me explico lo que es la logica.

Bart: Logica? Que es eso?

Nelson: Es difcil explicarlo, pero voy a darte un ejemplo. Estas cur-

2. Que conclusion podras sacar de la respuesta de Bart?

Que es entonces la Logica? No es facil establecer una definicion acabada

Cuando discutimos sobre alg un tema y defendemos una posicion determi-

Definici on. Un argumento es un conjunto de una o mas oraciones; una

De acuerdo a la definicion anterior las premisas son el vehculo que con-

Todas los animales mamferos son animales terrestres.

BObservaci on. Lo correcto o no de un argumento depende de la

Para reafirmar lo anterior, observemos que el siguiente argumento es

Todos los Cronopios son Famas;

Si Pele jugo en Santos, no jug

Los argumentos de los primeros ejemplos corresponden a la logica de pred-

1. Es mejor tomar chocolate que cafe.

4. Gaudi fue un escritor catalan.

5. Gracias a Dios soy ateo

Observemos que la cuarta oracion es la u nica que podemos valorar. La

Definicion. Una proposici

1. La frase ((Cervantes escribio el Quijote)) es una proposicion.

2. Las frases ((Cervantes escribio el Quijote?)), y ((quiero aprender matematicas))

Una proposicion puede ser expresada por diferentes enunciados. Por

1. Shakespeare escribio Hamlet

2. Hamlet fue escrito por Shakespeare.

Incluso un enunciado puede expresar diferentes proposiciones, de acuerdo

2. Formule cinco ejemplos de expresiones que no sean proposiciones.

3. Formule tres ejemplos de expresiones que den cuenta de una misma

4. Formule un enunciado que en tres contextos diferentes de lugar a tres

En ocasiones es no es sencillo definir los conceptos de verdad y falsedad;

2. El caballo es un animal bpedo.

3. La igualdad x + 7 = 9 se cumple para x = 2.

Los anteriores enunciados son ejemplos de proposiciones; la primera, la

2. Considera que el enunciado: ((todos los n

3. De los siguientes enunciados diga cu

4. Considera que el enunciado: ((el exito del proceso de paz en Colombia