Matematicas Basicas Semillero de Matematicas

MATEMATICA
BASICAS
SEMILLEROS DE MATEMATICAS
Luis Recalde
Doris Hinestroza
Luisa Fernanda Vargas
Olmedo Moreno
Indice
Introducci
on
IV
1 Introducci
on a la l
ogica simb
olica
1.1 Lenguaje cotidiano, Logica y lenguaje matematico
1.1.1 Introduccion . . . . . . . . . . . . . . . . .
1.1.2 Estructura logica de los argumentos . . . .
1.2 Logica Proposicional . . . . . . . . . . . . . . . .
1.2.1 Definicion de proposicion . . . . . . . . . .
1.2.2 Clasificacion de las proposiciones . . . . .
1.2.3 La importancia del lenguaje simbolico . .
1.2.4 Componentes de la logica proposicional . .
1.2.5 Tautologas . . . . . . . . . . . . . . . . .
1.2.6 Contradiccion . . . . . . . . . . . . . . . .
1.2.7 Razonamientos . . . . . . . . . . . . . . .
1.3 Logica de predicados: cuantificadores . . . . . . .
1.3.1 Algunas simbolizaciones . . . . . . . . . .
1.3.2 Negacion de los cuantificadores . . . . . .
1.4 Metodos de demostracion . . . . . . . . . . . . . .
1.5 Autoevaluacion . . . . . . . . . . . . . . . . . . .
1.6 Rompecocos . . . . . . . . . . . . . . . . . . . . .
1.7 Desafos . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
2
2
6
7
7
10
15
16
23
27
27
33
35
38
39
45
48
51
.
.
.
.
.
52
53
53
55
56
56
2 Nociones fundamentales de conjuntos

2.1 Sobre la definicion de conjuntos . . . . . . . . . .
2.1.1 Introduccion . . . . . . . . . . . . . . . . .
2.1.2 Como referirse a conjuntos . . . . . . . . .
2.2 Principios basicos para la formacion de conjuntos
2.2.1 Axioma de extension . . . . . . . . . . . .
i
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0. Indice
ii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
57
59
60
62
63
63
65
66
67
69
71
72
75
77
78
3 Sistemas num
ericos
3.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Los n
umeros naturales . . . . . . . . . . . . . . . . . . . . .
3.2.1 La definicion de los n
umeros naturales . . . . . . . .
3.2.2 Operaciones usuales entre los n
umeros naturales . . .
3.2.3 Orden en los n
umeros naturales . . . . . . . . . . . .
3.2.4 N
umeros primos . . . . . . . . . . . . . . . . . . . . .
3.2.5 Algoritmo de la division . . . . . . . . . . . . . . . .
3.2.6 Sistemas de numeracion . . . . . . . . . . . . . . . .
3.2.7 Sistemas de numeracion antiguos . . . . . . . . . . .
3.2.8 El sistema binario o sistema de numeracion en base 2
3.3 Los n
umeros enteros . . . . . . . . . . . . . . . . . . . . . .
3.3.1 Definicion de los n
umeros enteros . . . . . . . . . . .
3.3.2 Las operaciones usuales con los n
umeros enteros . . .
3.3.3 Orden y representacion de los n
umeros enteros Z . .
3.4 Los n
umeros racionales . . . . . . . . . . . . . . . . . . . . .
3.4.1 Definicion de los n
umeros racionales . . . . . . . . . .
3.4.2 Operaciones entre n
umeros racionales . . . . . . . . .
3.4.3 Orden y densidad de los racionales . . . . . . . . . .
3.5 Los n
umeros reales . . . . . . . . . . . . . . . . . . . . . . .
3.5.1 La representacion geometrica de los n
umeros reales .
3.5.2 Representacion decimal de los n
umeros reales . . . .
79
80
81
81
83
87
89
91
91
93
96
99
99
101
103
105
105
106
111
112
114
118
2.3
2.4
2.5
2.6
2.7
2.8
2.2.2 La relacion de inclusion . . . .

2.2.3 Principio de Separacion . . . .
2.2.4 El conjunto vaco . . . . . . . .
Principio de pares . . . . . . . . . . . .
Operaciones con Conjuntos . . . . . . .
2.4.1 La union . . . . . . . . . . . . .
2.4.2 La interseccion . . . . . . . . .
2.4.3 La diferencia . . . . . . . . . .
2.4.4 El complemento de un conjunto
2.4.5 El producto cartesiano . . . . .
2.4.6 El conjunto de partes . . . . . .
Conjuntos coordinables, relaciones . . .
Autoevaluacion . . . . . . . . . . . . .
Rompecocos . . . . . . . . . . . . . . .
Desafos . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
iii
3.6
3.7
3.8
3.9
3.5.3 Operaciones entre n

umeros reales . . . . . . . . . .
3.5.4 Los n
umeros reales como una estructura axiomatica
3.5.5 Potencias enteras . . . . . . . . . . . . . . . . . . .
3.5.6 Potencias racionales . . . . . . . . . . . . . . . . .
3.5.7 Orden en los Reales . . . . . . . . . . . . . . . . . .
3.5.8 El valor absoluto . . . . . . . . . . . . . . . . . . .
Los n
umeros complejos . . . . . . . . . . . . . . . . . . . .
Autoevaluacion . . . . . . . . . . . . . . . . . . . . . . . .
Rompecocos . . . . . . . . . . . . . . . . . . . . . . . . . .
Desafos . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
119
121
124
126
130
136
141
152
154
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 docencia e indagacion de un colectivo de profesores y monitores que participan
en el proyecto.
A traves del proyecto SEMILLEROS hemos aceptado el desafo de enfrentar el problema de formacion matematica de nuestros bachilleres. Como
se ha repetido en diferentes instancias, el bajo perfil matematico de los estudiantes 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 tradicional, 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 trata 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
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 argumentacion 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 utilizados.
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 conjunto. 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 numericos 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 punto 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 caracterizar 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 producto 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 conceptual con la operativa. Discutimos las definiciones y nociones b
asicas, presentamos ejemplos tpicos y demostramos algunos teoremas fundamentales.
Para ello utilizamos algunos indicadores visuales que permiten al lector ubicarse en el contexto.
El diagrama:
0. Introducci
on
vi
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
Captulo 1
Introducci
on a la l
ogica
simb
olica
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 esperamos 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 matematicas.
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. Introducci
on a la l
ogica simbolica
1.1.
Lenguaje cotidiano, L
ogica y lenguaje
matem
atico
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 intelectual del pensamiento griego. Aristoteles escribio el
primer tratado de L
ogica.
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 utilizamos 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 ejemplo que algo es necesario que una cosa depende de otra, que un evento 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 correctamente 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-
1.1. Lenguaje cotidiano, L

ogica y lenguaje matematico
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 problem
atica social y educativa en Colombia. La mayora de sus publicaciones corresponden 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.
1. Introducci
on a la l
ogica simbolica
Nelson: Es difcil explicarlo, pero voy a darte un ejemplo. Estas cursando 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.
Definici
on. La l
ogica tiene por objeto el estudio de los metodos y principios 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 determinada, 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 problema 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 acreedores de muchas tecnicas y metodos de verificacion aceptados socialmente.
Definici
on. Un argumento es un conjunto de una o m
as oraciones; una
de ellas se denomina conclusi
ony las otras se denominan premisas.
1.1. Lenguaje cotidiano, L

ogica y lenguaje matematico
De acuerdo a la definicion anterior las premisas son el vehculo que conduce 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 establece 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 significado 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 empleados. 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 est
an en Colombia y America 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.
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 anteriores, 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 verdadero 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
Si Pele jug
o en Santos, no jug
o en Corinthias;
Pele jug
o en Santos.
Luego, Pele no jugo en Corinthias.
Los argumentos de los primeros ejemplos corresponden a la logica de predicados, mientras el u

ltimo ejemplo pertenece a la logica proposicional. Empezaremos estudiando los principios basicos de la logica proposicional.
1.2.
1.2.1.
L
ogica Proposicional
Definici
on de proposici
on
En muchos de nuestros argumentos utilizamos oraciones las cuales podemos decidir si son falsas o verdaderas. Sin embargo en muchas ocasiones,
esa valoracion depende de algunas circunstancias. Por ejemplo el enunciado
La esperanza es azulcorresponde 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.
1. Introducci
on a la l
ogica simbolica
Definici
on. Una proposici
on es una oraci
on declarativa que en un contexto 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 asignaciones 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 verdadera 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 oraci
on 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 u
ltimas
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 analizamos con detenimiento el parrafo en consideracion, vemos consta de las
siguientes oraciones simples, las cuales hemos enunciado efectuando los respectivos ajustes.
a. Paracelso limito la habitacion de las Ninfas a las aguas.
11
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 corresponden a oraciones que tienen un solo verbo conjugado y tienen la estructura:
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
y
o
si, entonces
si y solo si
Tipo
Conjuncion.
Disyuncion.
Condicional.
Bicondicional.
12
1. Introducci
on a la l
ogica simbolica
La negaci
on 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 ciudadanos.
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 relacionamos 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.
13
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 simultaneamente 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 termino 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.
umero natural.
Antecedente: 2 es un n
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 condicional 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 mediante 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 Colombia.
4. Platon es un filosofo griego si y solo si nacio en Atenas.
15
Actividad 1.6.
1. Escriba tres ejemplos de conjunciones.
2. Formule tres ejemplos de disyunciones.
3. De tres ejemplos de implicaciones.
4. Determine si la oraci
on: Gauss describi
o y demostro el teorema fundamental 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 logicismo. Escribio, junto con su compatriota Whitehead, un
monumento te
orico denominado Principia Matem
atica,
mediante el cual buscaba constituir un lenguaje simbolico propio de la matem
atica. Tambien hizo aportes a la
teora de conjuntos.
El lenguaje que usamos para comunicarnos cotidianamente puede presentar ambig

uedades o imprecisiones que llevan a distintas interpretaciones de
un mismo enunciado. Una misma frase puede significar cosas diferentes, dependiendo 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 interpretarse 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 argumentar 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 proposicional.
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
Parentesis izquierdo.
Parentesis derecho.
Negacion.
Conjuncion.
Disyuncion.
Implicacion.
Doble implicacion.
17
Observaciones
Espa
nol:
Espa
nol:
Espa
nol:
Espa
nol:
Espa
nol:
no.
y.
o.
si... entonces.
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 puntuaci
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 formadas: fbf.
Las formulas bien formadas (fbfs) se construyen de acuerdo a las siguientes 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.
4.
(p) (q)
= r.
(r)
es una fbf. En este caso = (p) (q) y
(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 n
umero 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.
3. Cuando una fbf tiene varios conectivos, primero act
uan , y luego
, .
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).
19
En general, denominaremos a las fbfs, formulas proposicionales o simplemente 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 Vinci 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 protagoniz
o 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 pint
o la Monna lisa y Leonardo Di Caprio protagoniz
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, establecidas de manera convencional.
Definici
on. Una asignaci
on consiste en caracterizar cada una de las
letras proposicionales del lenguaje como verdaderas, simb
olicamente V ,
o falsas, simb
olicamente 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 n
umero 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
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
Despues de asignar los valores V y F a cada una de las letras proposicionales 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.
21
BObservaci
on. Estas asignaciones no excluyen cierta arbitrariedad,
puesto que la l
ogica proposicional solo es un modelo para cierto tipo
de argumentos y no tiene que dar cuenta de todas las inferencias posibles; sin embargo, constituye una herramienta fundamental en la formalizacion 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
F
V
p
V
F
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
V
V
F
F
q
V
F
V
F
pq
V
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
V
V
F
F
q
V
F
V
F
pq
V
V
V
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
V
V
F
F
q
V
F
V
F
p q
V
F
V
V
Definici
on.
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
proposici
on p q.
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:
23
p
V
V
F
F
q
V
F
V
F
p q
V
F
F
V
Actividad 1.8.
1. Dar un ejemplo de dos proposiciones con sentido preciso en un cierto contexto (escogido por usted). Seleccione una de ellas como antecedente 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 implicaci
on resulte absurda.
Si asignamos los valores de verdad a un conjunto de letras proposicionales, 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
Definici
on. Una tautologa es una f
ormula proposicional que es verdadera 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
V
F
p
F
V
( p)
V
F
p ( p)
V
V
2. La proposicion (p q) ( p q) es una tautologa.

p
V
V
F
F
q
V
F
V
F
p
F
F
V
V
pq
V
F
V
V
p q
V
F
V
V
(p q) ( p q)
V
V
V
V
3. La proposicion (p q) (p q) es una tautologa.

p
V
V
F
F
q
V
F
V
F
q
F
V
F
V
(p q)
F
V
F
F
p q
F
V
F
F
(p q) (p q)
V
V
V
V
Definici
on. Dos formulas y son l
ogicamente equivalentes si
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.
25
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
V
V
F
F
q
V
F
V
F
p
F
F
V
V
q
F
V
F
V
p q
V
F
V
V
q p
V
F
V
V
(p q) ( q p)
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 resultar bastante agotador, especialmente si se tienen muchas letras proposicionales. 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
F
q
F
s
V
(p q) s
V
(p q) s q
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.
1. Muestre que la proposici
on (p q r) (p s) s r es una
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.
27
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
V
F
p
F
V
p p
F
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
on C.
P1 , P2 , ..., Pn (premisas), y una conclusi
2. Decimos que el razonamiento anterior es v
alido (correcto) si la implicacion, 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 vertical 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

tologa.
(p r) p
r no es una tau-
Como se ha referido antes, demostrar que una proposicion es una tautologa 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.
29
Regla 1 (pp).
Modus Ponendo Ponens.
p q,
p,
q.
Regla 2 (tt).
Modus Tollendo Tollens.
p q,
q,
p.
Regla 3 (tp).
Modus Tollendo Ponens.
p q,
p q,
p,
q,
q.
p.
Regla 4 (s).
Simplificacion.
Regla 5 (a).
Ley de adjuncion.
p,
q,
p,
p q.
p q.
p q,
p.
p q,
q.
q,
p,
q p.
Regla 6 (sh).
Silogismo Hipotetico.
p q,
q r,
p r.
Regla 7 (dp).
Simplificacion disyuntiva.
p p,
p.
Ejemplo.
Demostrar la validez del siguiente razonamiento:
p q,
p,
t q,
t.
Ahora identifiquemos las premisas y la conclusion; usaremos las abreviaciones P para las premisas y C para la conclusion.
P1
P2
P3
C
: p q,
: p,
: t q,
: 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 razonamiento 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
P2
P3
P4
P5
P6
C
:
:
:
:
:
:
:
p q,
p,
t q,
( p),
doble negacion
q,
tp P1 ,
( t),
tt P3 ,
t,
doble negacion
P2 .
P2 .
P5 .
P6 .
31
Actividad 1.11.
En cada uno de los casos siguientes, establezca una deduccion si es correcto y si es incorrecto, halle una asignaci
on que lo muestre.
: q (p q),
: p q,
: s q,
: q.
1.
P1
P2
P3
C
2.
P1 : r t,
P2 : s r,
C : s t.
3.
P1
P2
P3
P4
C
: t q s,
: t q t,
: t q,
: u s q,
: u.
: s (t u),
: s ( r t),
: s,
: r u.
4.
P1
P2
P3
C
5.
P1 : s t,
P2 : u s t,
C : s u.
6.
P1
P2
P3
P4
P5
C
: p t,
: p (q u),
: ( r q) ( t),
: r d,
: d q,
: 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 capital 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 M
agica. Thomas Mann escribi
o la Monta
na 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
P2
P3
C
:
:
:
:
(p q)
(s q)
p
r
(r s)
p
Reiteramos que una manera de validar este resultado sera demostrar que
(p q) (r s) (s q) p p
es una tautologa.
Usando las reglas de inferencia se seguira el siguiente proceso:
P1
P2
P3
P4
P5
P6
P7
P8
P9
P10
C
:
:
:
:
:
:
:
:
:
:
:
(p q) (r s),
(s q) p,
p,
(s q),
s ( q),
( q),
q,
p q,
r s,
s,
r
tt P2 , P3 .
leyes de De Morgan P4 .
simplificacion P5 .
doble negacion P6 .
adjuncion P3 , P7 .
mp P1 , P8 .
simplificacion P5 .
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, entonces 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, llegar
a a la Florida. El hurac
an
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 hurac
an Gustavo se convertir
a en tormenta. Por lo tanto el hurac
an
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 terminos del predicado.
Los ejemplos mas comunes de razonamientos con predicados son los silogismos. Un silogismo clasico es el siguiente:
34
1. Introducci
on a la l
ogica simbolica
Todo hombre es mortal.
S
ocrates es hombre.
Luego, S
ocrates es mortal.
Intuitivamente sabemos que el argumento es valido. Sin embargo, si intentamos 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 siguiente 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), tendremos 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:
35
x H(x) M(x) ,
H(S),
M(S).
En general podemos representar enunciados en donde aparecen predicados 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 n
umeros
reales.
En logica de predicados tambien se utiliza el cuantificador existencial

para simbolizar expresiones como existe un n
umero 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 interpreta 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 ning
un n
umero par es un n
umero
impar.
f ) x P (x) I(x) simboliza la misma expresion del tem anterior.
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.
un n
umero par sumado con 1
b) x P (x) S(x, 1) simboliza alg
es par.
c) x S(x, x) simboliza ning
un n
umero 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.
un A es B.
b) x A(x) B(x) simboliza alg
c) x A(x) B(x) simboliza ning
un A es B.
d ) x A(x) B(x) simboliza alg
un 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.
37
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)
ii)
iii)
iv)
x
x
x
x
es
es
es
es
hombre.
mujer.
madre de y.
padre de y.
b) Con las simbolizaciones del tem anterior, definir los predicados:

i)
ii)
iii)
iv)
x
x
x
x
es hijo de y.
es abuela paterna de y.
no tiene hijas.
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
Definici
on. 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 incoherentes, 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 humano 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 negaciones:
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 interpretelas en el lenguaje ordinario, tome como referencia el universo
de los n
umeros 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 elementos 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 partida: 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 contradicci
on evita que dos enunciados contrarios se den al
mismo tiempo. El tercero excluido establece que un enunciado solo puede
ser falso o verdadero.
Definici
on. 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.
Definici
on. 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 concluye usando las definiciones, los postulados y los teoremas previamente
demostrados.
41
Todo teorema es de la forma:

Hipotesis entonces Tesis,
H T .
Ejemplo.
En el teorema: si n es un n
umero par, entonces n2 es par, la hipotesis es
n es un n
umero par y la tesis es n2 es par.
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 contaminaci
on 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.
on l
ogica.
Argumentaci
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 n
umeros impares, entonces a + b es un n
umero par.
Demostraci
on: Sean los n
umeros 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.
43
Actividad 1.16.
Demuestre, usando el metodo directo, que la suma de tres enteros consecutivos 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 contradiccion. 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 proposicion 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.
a = 2k + 1, k entero.
a2 = (2k + 1)2 .
a2 = 4k 2 + 4k + 1.
a2 = 2(2k 2 + 2k) + 1.
s = 2k 2 + 2k es entero.
a2 = 2s + 1.
a2 impar.
a2 par y a2 impar.
Afirmacion de hipotesis y negacion de la tesis.

Definicion n
umero impar.
Ley uniforme.
Producto.
Ley distributiva.
Ley clausurativa de la suma y el producto.
Sustituyendo.
Definicion de n
umero impar.
Conjuncion (contradiccion).
Actividad 1.17.
Demuestre, usando el metodo de reducci
on al absurdo que para a, b
n
umeros reales, si a b = 0, entonces a = 0 o b = 0.
1.5. Autoevaluaci
on
1.5.
45
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
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
este cofre.
El tesoro no esta en
este cofre
El tesoro no esta en
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 cuarto. 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 permitio 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 deducir 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 profesora. Cada una vesta un traje blanco, amarillo, rosa o azul. El salvavidas 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 lugares 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 a
nos. 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 pap
a 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
pap
a 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 competencias 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
2.1.
53
Sobre la definici
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 entorno. 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 claramente 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. Cl
asicamente, la consistencia es uno de los principios 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.

Definici
on. Una paradoja es un enunciado que se revela como falso y
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 conjuntos 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 diremos que los conjuntos estan formados de elementos, sin detenernos a discutir
2.1. Sobre la definici

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, cuando 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 comprension 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.
56
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 Zermelo 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 todo 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 determinado 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.
Definici
on. 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
notaci
on B A (se lee B esta contenido en A).
As B A, si y solo si para cada x B, entonces x A.
58
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 siguientes 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
A
B C lo representamos por:
2.2. Principios b
59
C
B
Combinando los dos diagramas anteriores obtenemos:

C
B
A
del cual deducimos:

C
A
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 elementos, llevaba a contradicciones, pues se podan formar conjuntos como el
llamado Conjunto de Russell.
Recordemos que el Conjunto de Russell se formaba al aplicar directamente 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.
60
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. Entonces,
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:
2.2.4.
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.
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 naturales 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 n
umeros
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
61
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 elementos.
BObservaci
on.
El conjunto vaco se representar
a por el smbolo o tambien por {}.
Ejemplo.
El conjunto {x N : x + 20 = 5} = , puesto que no existe ning
un n
umero
natural que al sumarlo con 20 sea igual a 5.
A continuacion presentamos una importante propiedad del conjunto vaco.
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.
62
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.
2.3.
a) x .
c) .
e) {}.
b) {a, b, c}.
d) .
f ) {}.
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 permitiran obtener nuevos conjuntos a partir de los ya dados. Las tres operaciones mas comunes son la union, la interseccion y la diferencia, que estudiaremos a continuacion.
2.4.1.
La uni
on
Definici
on. La uni
on de dos conjuntos A y B, denotada por A B, se
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.
64
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
aticamente 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.
65
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
Definici
on. Definimos la intersecci
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 demostrar las siguientes propiedades:
1. Idempotencia: A A = A.
2. Conmutatividad : A B = B A.
66
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
Definici
on. Definimos la diferencia entre dos conjuntos A y B como el
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.
67
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 conjuntos.

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},
68
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 conjunto 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}.
A = X A = {x X : x
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 demostrar 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.
69
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.
Definici
on. 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.
Definici
on. Sean A y B conjuntos, definimos el producto cartesiano de
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.
70
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:
umero natural par},
A = {x : x es un n
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.
b) A C.
e) A B.
c) A (B C).
f ) B A.
g) A (B C).
h) (A B) (A C).
2.4.6.
71
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 afirma que esto se cumple para todos los conjuntos.
Axioma del conjunto potencia. Si A es un conjunto, existe un conjunto llamado partes de A, cuyos elementos son unicamente los subconjuntos 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} }
72
2.5.
Conjuntos coordinables, relaciones
Felix
Tux
Ninino Aldebaran
Silvestre Lino
Micifuz Chagui
Bola de nieve Panz

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

los ping
uinos 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
Lino
Micifuz Chagui
Panz
on
En esta figura observamos igualmente la presencia de un conjunto de

ping
uinos y de un conjunto de gatos; sin embargo hay ping
uinos solitarios. A
cada gato le corresponde un ping
uino, 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 ping
uinos 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
Felix
Ninino
Micifuz
Lino
Panz
on
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, tendremos 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 diagrama:
Tux
Aldebaran
Chagui
Felix
Ninino
Micifuz
Lino
Panz
on
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 ning
un gato. Tomando las iniciales de cada uno de los componentes, como lo hicimos antes, tendremos que el conjunto: 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.
74
Actividad 2.7.
Escriba una argumentaci
on convincente para demostrar que los siguientes 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
2.6.
75
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.
76
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
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, ...}.
Por que podemos decir que hay tantos n
umeros en M como en 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 m
ultiplo 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, ...}.
Observe que este conjunto contiene los n
umeros naturales 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 cuarto 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, despues 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?
78
8. Al tener tanto exito en su negocio, el due

no del Hotel Hilbert, decidio 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 n
umero 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 apropiarse del concepto de sistema numerico; clasifiquen los n
umeros reales como
racionales e irracionales y que reconozcan el sistema de los n
umeros complejos. 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 n
umeros
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.1.
3. Sistemas numericos
Introducci
on
Los n
umeros constituyen, quizas, el mayor orgullo del hombre. En las diversas etapas de su evolucion, desde sus estados primarios, los n
umeros han
jugado un papel preponderante en el desarrollo del lenguaje y del pensamiento. 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 reconocemos:
1:
2:
3:
4:
5:
..
.
Uno.
Dos.
Tres.
Cuatro.
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
n
umero. Esto no significa la ausencia de una nocion de contar. Por ejemplo,
en los tiempos remotos, un pastor contaba sus ovejas colocandolas en correspondencia 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 permitio 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 descubrir 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, simbolizado 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 perentorio, 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 captulo es presentar formalmente los sistemas numericos clasicos: naturales, enteros, racionales e irracionales, que en conjunto conforman el sistema de los
n
umeros reales y finalmente los n
umeros complejos.
3.2.
3.2.1.
Los n
umeros naturales
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.
82
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.
Definici
on. 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 elementos; 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 conjuntos coordinables con {, {}}. Siguiendo este proceso constructivo tenemos
que 3 representa la cantidad de elementos de cada uno de los conjuntos coordinables 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 mediante 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 ambici
on de estas dos personas,
o podran seguir pidiendo m
as y mas indefinidamente?
3.2.2.
Operaciones usuales entre los n

umeros naturales
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
El anterior proceso se puede formalizar (partiendo del cero) de manera

recurrente de acuerdo a la definicion conjuntista de los n
umeros naturales,
84
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
n
umeros; as:
3 = (1 + 1) + 1 = 2 + 1,
= 1 + 1 + 1,
= 1 + (1 + 1) = 1 + 2.
Para sumar dos n
umeros 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
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
Definici
on. Sean n y m n
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 definici
on 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:
86
Podemos determinar la cantidad de lapices, efectuando la suma:

5 + 5 + 5 + 5 = 20.
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 multiplicaci
on o el producto.
Definici
on. Dados dos n
umeros naturales m y n, el producto o la multiplicaci
on entre m y n, simbolizada como m n o m n, se define como:
m n = m n = m + m + + m
n veces.
Sin embargo, tambien se puede determinar la cantidad de lapices mediante 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 multiplicaci
on, pero en general, cuando intervienen
n
umeros, 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 inmediata de la secuencia de n
umeros naturales que hemos desarrollado antes:
0, 1, 2, . . . , n, . . .
88
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 comparaciones como desigualdades. As, usando estas desigualdades de secuencia de
N, quedara:
0 < 1 < 2 < ... < m < ... < n < ...
Para dos n
umeros naturales m y n, la expresion m n, significa que
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 n
umeros naturales.
Teorema. Sean los n
umeros 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:
Dados los n
umeros naturales m, n y s, si m n, entonces
m + s n + s y m s n s.
Es decir, si a los miembros de una desigualdad le sumamos o le multiplicamos un mismo n
umero la desigualdad se conserva.
3.2.4.
N
umeros primos
Los n
umeros 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.
Definici
on. Sean p y q n
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.
Definici
on. Un n
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.
90
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 simplificacion.
Definici
on. 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
com
un 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
3.2.5.
91
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,
existen dos n
umeros naturales t y r, tales que n = mt + r, donde 0 r < m.
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 representacion de las cantidades. En aquellos tiempos remotos, la cuantificacion
de las mercancas se haca a traves de objetos concretos. No era extra
no,
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
92
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 practico. 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 empezo 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.
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, mientras 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 generalizado, 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:
94
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
2
3
4
5
6
7
8
9
10
20
30
40
50
60
70
80
90
100
200
300
400
500
600
700
800
900
Sampi.
3.2. Los n
umeros naturales
95
Sistema babil
onico
Los babilonios utilizaban un sistema aditivo con los primeros 60 caracteres y luego posicional, de acuerdo a los siguientes caracteres:
Sistema romano
Un sistema usado en casos especiales es el romano. La numeracion romana no utiliza el cero ni el principio de valor relativo; los caracteres usados
son los siguientes:
1
2
3
4
5
6
7
8
9
10
i
ii
iii
iv
v
vi
vii
viii
ix
x
11
12
20
30
40
50
60
70
80
90
xi
xii
xx
xxx
xl
l
lx
lxx
lxxx
xc
100
200
300
400
500
600
700
800
900
1000
c
cc
ccc
cd
d
dc
dcc
dccc
cm
m
96
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; constituye 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 n
umero 10011012 en base 2, se puede escribir en expansion polinomial, 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.
Orden cero,
Primer orden,
Segundo orden,
Tercer orden,
Cuarto orden,
20
0
2
10
0
2
5
1
2
2
0
2
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
pasar el n
umero 111012 a base 10 se realiza el siguiente proceso:
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:
98
1101
101
2
1101
101
210
1
1101
101
0
1
1101
101
2010
1101
+ 101
10
1101
101
10010
Actividad 3.5.
1. Cu
ales son los convenios que permiten la escritura de cualquier
n
umero, por grande que sea, con un n
umero 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. Cu
antos n
umeros son necesarios para escribir un n
umero en base
dos?
umeros dados en base 10, en base 2: 2, 5, 8,
17, 20, 45.
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 romana: 345, 3 000, 2 003, 1 230 476.
3.3. Los n
umeros enteros
3.3.
3.3.1.
99
Los n
umeros enteros
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 n
umero 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 n
umeros enteros.
Vale la pena resaltar que, historicamente, esta extension no fue inmediata; la razon es que da origen a los n
umeros 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 embargo, algunos aspectos como los que aparecen a continuacion vencieron la
resistencia a considerar los n
umeros 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.
100
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.
Definici
on. Sean los n
umeros 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).
Seg
un 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:
Definici
on. Para cada n
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.
As tenemos que para el n
umero natural 5 el opuesto es 5 y se cumple que
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 n

umero 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
Definici
on. Diremos que el conjunto de los n
umeros enteros, representado 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.
Definici
on. 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.
2. El resultado de la operaci
on (n) + (m) = n m = m n se
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.
102
El producto entre n
umeros enteros sigue los mismos delineamientos del
producto entre n
umeros naturales, solo debemos tener cuidado con el producto 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:
Teorema. Sea a n
umero entero, entonces: 0 a = 0.
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)
3.3.3.
(5) + 9 (4).
h) 3(8) + (5) 3 + (8) .
Orden y representaci
on de los n
umeros enteros
Z
Como lo anotamos antes, los n

umeros enteros Z, constituyen una extension
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
es una denominacion nominal que

la izquierda, los elementos de Z . Esta
permite una visualizacion integral de Z y Z+ :
104
|
... 3
3...
De esta forma Z+ = {1, 2, 3, . . .}, Z = {. . . , 3, 2, 1}, y dado un

n
umero entero x Z, se presenta uno y solo uno de los tres casos siguientes:
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.
Definici
on. Dados dos n
umeros enteros a y b pertenecientes a Z, decimos 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
n
umeros 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
3.4.
3.4.1.
105
Los n
umeros racionales
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: longitud, 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
D
1
Para ello determinamos las veces que la unidad CD cabe en AB:

A
B
1
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
E
D
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:
EB =
1
1
CD = .
3
3
106
As,
1
7
= .
3
3
Un antepasado de la representacion de este proceso lo constituye la
razon entre magnitudes. Justamente la idea de lo racional, cuantitativamente 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 n
umeros 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:
AB = 2 +
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
n
umeros racionales, el cual denotaremos por Q. En un sentido analogo al
paso de N a Z, para la construccion formal de Q, incorporamos otros elementos a partir de los elementos de Z. En este sentido, el sistema de los
n
umeros racionales esta conformado por el conjunto:
Q=
3.4.2.
p
: p, q Z y q = 0 .
q
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:
Q+ =
p
: p Z+
q
y q Z+ .
3.4. Los n
umeros racionales
107
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 positivos de igual denominador:
1
1
p r
+ =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:

Definici
on. Para sumar dos n
umeros racionales positivos, con igual denominador, se suman los numeradores y se coloca el mismo denominador:
p+r
p r
+ =
.
q q
q
Ejemplos.
1.
4+5
9
4 5
+ =
= .
7 7
7
7
108
2.
3 + 8
5
3 8
+ =
= .
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
=
q r
1
r
q
1
,
rq
r Z+ ,
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 n
umero 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
=
q
qs
r
rq
= ,
s
sq
que permiten incorporar la suma y el producto de n

umeros racionales.
Teorema.
1.
ps + qr
p r
+ =
.
q s
qs
2.
p r
pr
= .
q s
qs
Demostracion:
ps qr
ps + qr
p r
+ =
+
=
.
1.
q s
qs qs
qs
2.
p r
1
1
1 1
= p r = (pr)
q s
q
s
q s
Ejemplos.
a)
63+45
38
6 4
+ =
= .
5 3
53
15
= (pr)
1
pr
= .
qs
qs
3.4. Los n
umeros racionales
109
b)
8 2 + 5 7
29
8 5
+ =
= .
7
2
72
14
c)
3 7
37
21
=
= .
4 5
45
20
Las dos operaciones definidas antes, cumplen con todas las propiedades
analogas se
naladas 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:
x
1
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
p
q
q
1
= p = .
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 n
umero 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.
110
4. Hasta ahora se han establecido los procedimientos para el caso de los

racionales positivos, es decir, cuando tanto el numerador como el denominador son enteros positivos. Para otros casos tendremos en cuenta
las siguientes convenciones: si se toman p y q enteros positivos, la expresion p/q designa el opuesto de p/q, es decir, se cumple que
p
p
+
q
q
p p
=
q q
p
q
p
= 0.
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:
4 2
3
+ 8 + 3.
5
3 4
5 3 4
b) + .
4 2 7
a)
4 7 5
+ + 5.
9 5 6
6 1 3
d) + .
3 7 9
c)
2. Un muchacho se dirige de un pueblo A a otro pueblo B. primero adelanta 4 kil

ometros, pero en seguida se encuentra con unos amigos que
van en direcci
on 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 etaometros habra avanzado
pas mas, 4/3 y 5/4 de kilometro. Cuantos kil
en total en la direcci
on de A hasta B.
3. Un reloj adelanta 2/7 de minuto cada da. cuantos minutos se adelantar
a en 14 das?
3.4. Los n
umeros racionales
111
4. Un ni
no 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 aport
o 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.
Definici
on. 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.
112
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 n
umero 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.
1. Encuentre un n
umero racional que este entre
1
3
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 ejemplo, 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 sentido de que son aquellas que no se pueden expresar como una razon entre
n
umeros enteros. Si llamamos x a la diagonal de un cuadrado, por el teorema 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 circunferencia y su diametro, que da lugar al conocido n
umero irracional :
C
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...
114
Durante mas de veinte siglos, no se dio una caracterizacion completa de

los n
umeros 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 griegas. Sin embargo, fue solo hasta el siglo xix, con George Cantor y Richard
Dedekind, que se logro una caracterizacion de los n
umeros 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. Tomemos 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
|
... 3
3...
Para representar el n
umero racional p/q, p y q en Z+ , dividimos el segmento 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
|
1
3
3
2
El anterior proceso no es posible cuando se pretende representar los

n
umeros irracionales. En general, no existen procesos geometricos
para hacerlo; aunque s se puede realizar para casos particulares como 2.
A
2
O
|
U|
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
siguientesn
umeros reales:
los
4 , 0,1999..., 5, 3/4, 2, 1, 8, 17, 3, 3 2.
2. Cu
al 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
umeros naturales, podemos
definiciones basicas de los n
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.
116
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:
1. 2 =
p2
(elevando al cuadrado cada miembro de la igualdad).
q2
2. 2q 2 = p2 (divisibilidad).
umero par (definicion).
3. p2 es un n
4. Si p2 es par, entonces p es tambien par (probarlo).
5. p = 2t, para alg
un t Z (definicion de n
umero par).
6. 2q 2 = (2t)2 = 4t2 (reemplazando en 2).
7. q 2 = 2t2 (simplificacion).
8. q = 2h, para alg
un h Z (igual razonamiento anterior).
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:
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 irracional, su opuesto tambien es irracional. Es difcil demostrar formalmente
3.5. Los n
umeros reales
117
que n
umeros como y e son irracionales, ello exige algunos elementos teoricos que a
un no hemos definidos.
En lo que hemos referido antes, se nota que, aunque parezcan escasos,
el conjunto de n
umeros irracionales, que representaremos por el smbolo I,
tambien es infinito, incluso, aunque tampoco lo mostraremos aqu, tiene
mayor n
umero de elementos que Q.
Conjuntistamente hablando, se tiene que I Q = .
Definici
on. La uni
on 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
umero irracional.
que 3 es un n
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 producto?
6. Clasifique los siguientes n
umeros en naturales, enteros, racionales o
irracionales:
a)
2 + 3.
b) 0, 6666....
c)
1.
118
d)
2.
g)
3
e) .
2
h) 3.
f ) 3,1416.
i)
3.5.2.
16.
2.
j) 8.
k)
2
.
0, 333
l) 0, 1010010001...
Representaci
on decimal de los n
umeros reales
Como mostramos al inicio de este captulo, una herramienta potente, proveniente 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)
b)
583 = 500 + 80 + 3 = 5 102 + 8 10 + 3.

5
1
= 0, 5 = 0 + .
2
10
3, 1416 = (3, 1416)
c)
= 3+
1
4
1
6
+
+
+
10 100 1000 10000
= (3 + 1 101 + 4 102 + 1 103 + 6 104 )

=
d)
31416
.
10000
6
6
6
6
2
= 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,
36
324
= .
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 diferencias 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.
x=
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 producto para los n
umeros racionales . Falta por definir estas operaciones para
los n
umeros irracionales y para combinacion entre racionales e irracionales.
120
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 corresponde, 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 n
umero real c, tal que:
Longitud del segmento OC = m(OC) = c.
En realidad, la suma de reales determinada por la representacion geometrica no presenta problemas, pues cumple uno de los requerimientos basicos
de las operaciones entre n
umeros, 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:
C
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 com
un 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 axiom
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 n
umeros
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
procesos aritmeticos para efectuar
queno proporciona
3
operaciones como 2 , 3 + 2, etc. Sabemos que los n
umeros irracionales
son decimales infinitos no periodicos; eso significa que no podemos exhibir
122
la totalidad de sus cifras, solo podemos reconocer su existencia por medios

estrictamente abstractos. Pero entonces, como operar con estos entes abstractos sin necesidad de exhibirlos completamente? La salida conceptual a
este impase tiene su asidero en la aproximacion; especficamente, el hecho de
que cualquier n
umero 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 convergencia. 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 n
umeros 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).
umero se designa
7. Para todo x = 0 existe h R tal que xh = 1, este n
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
o x R+
o x = 0. Adem
as, si x, y R+ , entonces
que x R+
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

por los n
umeros reales que no pertenecen a R+ .
Apoyandonos en estas propiedades se puede demostrar el siguiente teorema:
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).
= x 0 + x 0.
(x 0) + (x 0) = (x 0 + x 0) + (x 0).
0 = x 0 + (x 0 + (x 0)) = x 0 + 0.
0 = x 0.
x 0 = 0.
Propiedad
Propiedad
Propiedad
Propiedad
Propiedad
Propiedad
2,
5,
8,
6,
2,
3.
c) (1) x = x.
(1) x + x = ((1) + 1) x.
= 0 x.
Propiedad distributiva,
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.
124
3.5.5.
Potencias enteras
As como a partir de la suma de cantidades iguales definimos la multiplicacion, tambien se define una nueva operacion a partir del producto de factores iguales. De esta forma, si a representa un n
umero real y n un n
umero
natural, se define el significado de los smbolos an y an de la siguiente
manera:
Definici
on. a0 = 1 cuando a = 0 (00 no se define), para 0 < n se define:
1. an = a a a a.
nveces.
2. an = (an )1 =
1
. Es decir, an es el inverso de an .
an
BObservaci
on. En la expresi
on an al n
umero a se le denomina base
y al n
umero n exponente. En este caso el exponente es entero.
Ejemplos.
1.
1
2
1
1
1
1 1 1 1
=
=
= 4.
2 2 2 2
2222
16
2
2. Conociendo el resultado anterior se puede calcular de manera inmediata (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
= an , puesto que
= 1 = an .
1.
n
n
a
a
an
n veces.
2.
a
b
a
a a
a
an
=
= n.
b
b
b b
b
n veces.
3.
a
b
bn
=
an
n veces.
b
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
n+m
.
1. a a = a
2. (am )n = amn .
3. (ab)n = an bn .
Ejemplos.
2
3
1.
(2)5
2.
2
3
2
3
2
3
2
3
2
3
2
3
2
3
4+3
2
3
= (2)5 (2)5 ,
= (2) (2) (2) (2) (2) (2) (2) (2) (2) (2) ,
= (2)52 ,
= (2)10 .
126
3.
1
5
1
5
1
5
7 7 7
4. ( 7)3 ( 7)5 =
1 1
= (3 3)
5 5
=3
1
5
1
1
1
1
1

7
7
7
7
7
( 7)3
1
1
=
= ( 7)3+(5) = ( 7)2 =
= .
5
2
7
( 7)
( 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 n
umero
umero que elevado al cuadrado es igual a a;
a positivo, como el n
esto es, ( a)2 = a. De la misma manera se puede extender esta definicion
para cualquier n
umero natural n.
Definici
on. Decimos que la raz n-esima de un n
umero real a positivo,
1
n
n
es el n
umero real a = a , el cual satisface la igualdad ( n a)n = a.
Para el caso n = 2, se coloca simplemente a.
Observe que el enunciado de la definicion establece que en R, la ecuacion

real positivo siempre tiene solucion.
x a = 0, donde a es
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.
n
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.
an
= a.
4.
1
n
a
b
2. (an ) = a.
1
3. (ab) n = a n b n .
1
n
an
1
bn
1
5. a mn = a m
1
n
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 exponente entero a potencias con exponente fraccionario de la siguiente manera:
Definici
on. 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
m
n
(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
1 2
que (1) 2 = ( 1)2 no existe en R, mientras que (1)2 2 = 1 = 1.
128
Teorema. Para a y b reales positivos y m/n y p/q en Q, se cumplen las
siguientes propiedades:
m
2. a n a q = a n
+ pq
m p
3. (a n ) q = a n q .
1. (ab) n = a n b n .
.
Ejemplos.
a)
54 =
1
1
1
1
1
3
27 2 = (27 2) 3 = (33 2) 3 = (33 ) 3 2 3 = 3 2 3 = 3 2.
b) 81 14 81 28 = 81 14 + 28 = 81 4 =
81 = 3.
4
4
4 33
4
4
2
4 33
c) 1 2 = 1 2 = 4 2 3 3 32 = 8 3 3 2 = 23 3 3 .
2 3
2 3
c)
52
d)
81 = 5
2 3 10 6
3
2 4 10 2
12
1
2
1
2
= 52
1
2
32
1
2
= 5 3 = 15.
28 1010
= 28 29 1010 1042 = 217 1032 .
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 .
b) 3
(2)n
=3
c) 2n + 2n = 2n+1 .
2n .
d)
2
3
2
.
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.
a) 2 +
1
3
=2
1
+ 5 .
3
2
2
= 16 7
.
3
3
1
1
(a + b) = a + b.
2
2
1,5 3
1,5 3
+ + 2 = 2 + .
2 5
2 5
1
1
= (12 8) .
12 8
4
4
1
4
2 = 2
3
3
4
3
3
b) (16 7)
c)
d)
e)
f)
1 .
130
3. Realice las siguientes operaciones.

a) (2) 3(4 2) + 6 + 5 2(3 + 8) + 9 .
b)
7 9
3
16(2 + 4) 30
2
3 3
5
(4 8)6 (9 4)3 .
c) (16 8) 2.
d) 6
3 8
3
(28 + 24) 12
4
3 3
1
1
2.
e)
1
1+
3
1+
4 (7 3)9 16 .
1
1 + 1 + 2
3 4
4
f)
.
1
3+
5
1+
3
5. Encuentre la soluci
on de las siguientes ecuaciones justificando los pasos:
3.5.7.
a) 5x + 4 = 23.
c) (x + 3)(x + 2) = 0.
b) 4x 13 = 5x + 8.
d) (3x 8)(6x + 7) = 0.
Orden en los Reales
La resta permite definir el orden en los n

umeros reales en el mismo sentido
que en los racionales.
De acuerdo a la definicion, para cualquier n
umero a R+ , se cumple que
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
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:

umeros reales, entonces
1. Si x < y y s < t, entonces x + s < y + t.
2. Si x < y, entonces x > y.
3. Si 0 xy, entonces:
0x
x0
y
y
0 y o
y 0.
4. Si xy 0, entonces:
0x
x0
y
y
y 0 o
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.
132
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.
Definici
on. 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 uni
on, interseccion y diferencia
de conjuntos que se definieron en la secci
on 2.3 se aplican tambien a
los intervalos. Debemos tener en cuenta que no siempre, al efectuar estas operaciones con los intervalos, vamos a obtener otros intervalos. Lo
mas indicado para obtener resultados es recurrir a la representaci
on geometrica.
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.
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.
3. La union de los intervalos [1, ) y (, 2] no es vaco, pero no

corresponde a ning
un intervalo, en cambio [1, ) (, 2] = .
134
El axioma de completitud de los reales

Los n
umeros reales, a diferencia de los racionales, llenan completamente el continuo lineal. En este sentido,decimos que el conjunto de los
n
umeros reales constituyen un continuo numerico. Dado que la caracterizacion del continuo numerico es una de las cuestiones mas complicadas de
las matematicas, se incorpora como un axioma de la teora. Para ello necesitamos algunos conceptos que describimos a continuacion.
Definici
on.
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 conjunto [15, ) esta formado por todas las cotas superiores de A .
Definici
on.
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, mientras que el mnimo es x = 2.
2. Para el conjunto B de el ejemplo anterior el maximo es x = 15, mientras que el mnimo es x = 3.
Definici
on.
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.
3. Sea el conjunto A =
1
: 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.
136
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 n
umero 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 .
Negativo
P2
P1
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 n
umero 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
La distancia al origen esta dada por |x| = x.

P
La distancia al origen esta dada por |x| = x.

Utilizando la definicion de distancia dada anteriormente, se puede observar 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:
Definici
on. El valor absoluto de x se define como:
|x| =
x
x
si x 0,
si x < 0.
Si P1 y P2 son puntos arbitrarios sobre una recta numerica con coordenadas 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 distancia 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 |.
138
Ejemplos.
1
1
1
=
= , lo cual
2
2
2
se desprende claramente del significado intuitivo que le hemos dado al
valor absoluto de un n
umero y que en este caso dice que la distancia
al origen de los puntos marcados con 1/2 y 1/2 es la misma.
1. De acuerdo con las definiciones anteriores
2. Si P1 y P2 son puntos con coordenadas x1 = 3/4 y x2 = 1 respectivamente, se tiene que la distancia entre P1 y P2 viene dada por la
expresion:
|x2 x1 | = 1
7
3
7
= = .
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 ejemplo si a = 2, tendramos la ecuacion |x 2| = 3 que geometricamente
se puede visualizar en la grafica siguiente:
3 unidades.
|
3 unidades.
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
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).
umeros reales.
2. Resolver 3 x 2 3, en el dominio de los n
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
2 en los dos miembros de la desigualdad
3. Al sumar
3x
1 o 3 x 5. Al multiplicar ambos
miembros
obtenemos
por ( 3)1 = 1/ 3 llegamos a x 1/ 3 o x 5/ 3. Finalmente,
140
al racionalizar se obtiene x
a:
3/3 o x 5 3/3. Que corresponde
3
,
3
5 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?
2. Sean x y y n
umeros reales. Si x < y, se cumple que
1
1
< ?
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 de la inecuaci
on 0 (x 2)(x + 3).? Ubique la
soluci
on en la recta numerica.
5. Resuelva las inecuaciones:
a) 0 < (x2 4)(x + 5).
b) 0
x7
.
x+3
x7
.
x+3
(x + 1)(x 1)
0.
d)
(x 2)
c) 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.
b) {x R : x2 < 2}.
2}.
e) {x R : 0 x 2}.
c) {(1)n : n N}.
f ) {0, 1, 2, 3, 10}.
a) [8, 7).
d) {x Q : 0 x
6. Resuelva las siguientes ecuaciones e inecuaciones en el dominio de los

reales:
a) |x| < 4.
d) |2x| < 1.
x2
e) 3 < x + |x|.
b)
< 4.
c) |x 1| = |x + 4|.
3.6.
f ) 3 |x 1| + |x| = 4.
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 negativa mediante esta expresion. Empecemos estableciendo la designacion i =
142
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.
Definici
on. 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.
2. El n
umero complejo a + (b) i se designa como a b i.
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
umeros complejos
143
Definici
on. 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 n
umeros
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.
144
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).
= a + b i.
Por la identificacion.
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
a + b i como el n
umero complejo a b i. Simb
olicamente,
a + b i = a b i.
El conjugado de un n
umero 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
umeros complejos
145
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.
2
a + b2
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
=
a+bi
a2
1
+ b2
(a b i) .
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
2
i ,
= (a + b i)
2
2
c +d
c + d2
=
ac + bd bc ad
+
i.
c2 + d2 c2 + d2
Ejemplos.
1. Si queremos calcular
inversos as:
1
, basta aplicar la formula general para
4+7i
1
1
= 2
(4 7 i),
4+7i
4 + 72
1
(4 7 i),
=
65
4
7
=
i.
65 65
146
Por otro lado, tambien, podemos efectuar el calculo as:

1
47i
1
=
,
4+7i
4+7i 47i
47i
=
,
(4 + 7 i)(4 7 i)
47i
,
= 2
4 + 72
7
4
i.
=
65 65
2. Calculemos ahora
se tiene que:
7i
. Por definicion de cociente entre complejos
3+5i
7i
= (7 2 i)(3 + 5 i)1 ,
3+5i
1
(3 5 i),
= (7 2 i) 2
3 + 52
3
5
i ,
= (7 2 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 complejos 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.
3.
z
w
z
.
w
4. z = z si y solo si z es real.
3.6. Los n
umeros complejos
147
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 formales 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.
Definici
on. Sea el n
umero 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
z =a+bi
Eje real
148
Observemos que el n
umero complejo z, geometricamente lo podemos ver
como la reflexion de z respecto al eje x.
y
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
n
umeros 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
umeros complejos
149
y
(a, b)
b
|z|
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|.
4.
|z|
z
=
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.
150
2. Para todo n
umero complejo z y todo entero positivo n, z n = (z)n .
3. Para todo n
umero complejo z, z = z.
4. Para todo n
umero complejo z, |z n | = |z|n .
5. El inverso de un n
umero complejo z = a + b i es
1 1
+ i.
a b
6. El m
odulo 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).
b) (7 + 2 i) + (8 5 i).
c) (3 + 3 i) (5 7 i).
d) (a + b i) + (a b i).
e) (a + b i) (a b i).
f ) (4 + 3 i)(3 + i).
g) (3 6 i)(2 + i).
3
h) (3 + 2 i)2 + i
2
8. Efect
ue los siguientes calculos entre n
umeros complejos.
1
.
3+2i
1
.
b)
(1 + i)3
7
.
c)
66i
a)
1
.
(3 + 2 i)2
6+4i
.
e)
15i
23i 7+4i
+
.
f)
1+i
3+5i
d)
3.6. Los n
umeros complejos
151
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).
152
3.7.
Autoevaluaci
on
nale la respuesta correcta:
1. El n
umero 0 3 es un:
a) Natural.
c) Entero.
b) Racional.
d ) Irracional.
23
2. El inverso de , es:
4
3
2
a)
.
4
b) 2.
3. El n
umero x =
1
c) .
2
1
d) .
2
1
1
1
+
+
+ , 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.
b)
1+i
.
2
2
.
1+i
1i
.
d)
2
c)
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.
154
3.8.
Rompe
coco
1. Verifique los siguientes criterios de divisibilidad e intente una prueba

de cada uno de ellos.
a) Un n
umero es divisible por tres si la suma de sus cifras es divisible
por tres.
b) Un n
umero 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 n
umero es divisible por ocho si y solo si el n
umero formado
por sus tres u
ltimas cifras es divisible por ocho.
f ) Un n
umero 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 ni
no 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 n
umero de cuatro cifras diferentes, divisible 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 n
umero de cifras que corresponden 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.
156
3.9.
DesafoS
1. Demuestre que para cualquier n

umero n, entero positivo, n es irracional.

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

Matematicas Basicas Semillero de Matematicas

Enviado por

Dados do documento

Descrição original:

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Matematicas Basicas Semillero de Matematicas

Enviado por

Direitos autorais:

Formatos disponíveis

MATEMATICA

2 Nociones fundamentales de conjuntos

2.2.2 La relacion de inclusion . . . .

3.5.3 Operaciones entre n

En este libro abarcamos los siguientes captulos:

Empezaremos considerando algunos aspectos generales de la logica que nos

Estanislao Zuleta (Medelln, 1935. Cali, 1990). Eminente fil

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

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

Cuando discutimos sobre alg

1.1. Lenguaje cotidiano, L

Podremos asegurar que cualquier argumento que presente la misma forma

Observemos que la forma del argumento garantiza la validez del mismo,

Lo anterior refuerza la afirmacion de que la logica formal es la ciencia

Analicemos el siguiente argumento:

Para reafirmar lo anterior, observemos que el siguiente argumento es

En los ejemplos anteriores hemos utilizado la expresion todos para

1.2. Logica Proposicional

Los argumentos de los primeros ejemplos corresponden a la logica de predicados, mientras el u

1.2. Logica Proposicional

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

Lea detenidamente el siguiente parrafo escrito por el argentino Jorge Luis

1.2. Logica Proposicional

b. Los antiguos dividieron las Ninfas en Ninfas de las aguas y de la tierra

Las proposiciones simples carecen de terminos de enlace o conectivos.

1.2. Logica Proposicional

2. Los animales son carnvoros o son herbvoros.

En este esquema se muestra que si el antecedente se tiene, tambien se tiene el

4. Si Picasso escribio la Ilada, entonces Homero pinto el Guernica.

4. Picasso escribio la Ilada, luego Homero pinto el Guernica.

1.2. Logica Proposicional

La importancia del lenguaje simb

El lenguaje que usamos para comunicarnos cotidianamente puede presentar ambig

Si colocamos la coma como aparece a continuacion se entendera que el

Como en cualquier lenguaje, en la logica proposicional se distinguen dos

1.2. Logica Proposicional

Al igual que en el idioma espa

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

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

5. La expresion p q no es una fbf, pues no se puede obtener aplicando

1.2. Logica Proposicional

En general, denominaremos a las fbfs, formulas proposicionales o simplemente proposiciones.

Simboliza las proposiciones siguientes:

De acuerdo a la definicion anterior, si u

1.2. Logica Proposicional

Para la visualizacion de las reglas basicas se utilizan las tablas de verdad .

p q es verdadera si y solo si p y q son ambas verdaderas. La tabla de

1.2. Logica Proposicional

2. La proposicion (p q) ( p q) es una tautologa.

3. La proposicion (p q) (p q) es una tautologa.

Note que si y tienen la misma tabla de verdad entonces y son

1.2. Logica Proposicional

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

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

1.2. Logica Proposicional

una proposicion que siempre es falsa es llamada una contradicci

Observemos que si una proposicion es una tautologa, entonces su

consta de dos premisas: las proposiciones p q y la proposicion p; la