Lógica y Conjuntos

MATEMÁTICA BÁSICAS
SEMILLEROS DE MATEMÁTICAS
Luis Recalde
Doris Hinestroza
Luisa Fernanda Vargas
Olmedo Moreno
Índice
Introducción IV
1 Introducción a la lógica simbólica 1

1.1 Lenguaje cotidiano, Lógica y lenguaje matemático . . . . . . 2
1.1.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.2 Estructura lógica de los argumentos . . . . . . . . . . 6
1.2 Lógica Proposicional . . . . . . . . . . . . . . . . . . . . . . 7
1.2.1 Definición de proposición . . . . . . . . . . . . . . . . 7
1.2.2 Clasificación de las proposiciones . . . . . . . . . . . 10
1.2.3 La importancia del lenguaje simbólico . . . . . . . . 15
1.2.4 Componentes de la lógica proposicional . . . . . . . . 16
1.2.5 Tautologı́as . . . . . . . . . . . . . . . . . . . . . . . 23
1.2.6 Contradicción . . . . . . . . . . . . . . . . . . . . . . 27
1.2.7 Razonamientos . . . . . . . . . . . . . . . . . . . . . 27
1.3 Lógica de predicados: cuantificadores . . . . . . . . . . . . . 33
1.3.1 Algunas simbolizaciones . . . . . . . . . . . . . . . . 35
1.3.2 Negación de los cuantificadores . . . . . . . . . . . . 38
1.4 Métodos de demostración . . . . . . . . . . . . . . . . . . . . 39
1.5 Autoevaluación . . . . . . . . . . . . . . . . . . . . . . . . . 45
1.6 Rompecocos . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
1.7 Desafı́os . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2 Nociones fundamentales de conjuntos 52

2.1 Sobre la definición de conjuntos . . . . . . . . . . . . . . . . 53
2.1.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . 53
2.1.2 Cómo referirse a conjuntos . . . . . . . . . . . . . . . 55
2.2 Principios básicos para la formación de conjuntos . . . . . . 56
2.2.1 Axioma de extensión . . . . . . . . . . . . . . . . . . 56
i
ii 0. Índice
2.2.2 La relación de inclusión . . . . . . . . . . . . . . . . 57

2.2.3 Principio de Separación . . . . . . . . . . . . . . . . 59
2.2.4 El conjunto vacı́o . . . . . . . . . . . . . . . . . . . . 60
2.3 Principio de pares . . . . . . . . . . . . . . . . . . . . . . . . 62
2.4 Operaciones con Conjuntos . . . . . . . . . . . . . . . . . . . 63
2.4.1 La unión . . . . . . . . . . . . . . . . . . . . . . . . . 63
2.4.2 La intersección . . . . . . . . . . . . . . . . . . . . . 65
2.4.3 La diferencia . . . . . . . . . . . . . . . . . . . . . . 66
2.4.4 El complemento de un conjunto . . . . . . . . . . . . 67
2.4.5 El producto cartesiano . . . . . . . . . . . . . . . . . 69
2.4.6 El conjunto de partes . . . . . . . . . . . . . . . . . . 71
2.5 Conjuntos coordinables, relaciones . . . . . . . . . . . . . . . 72
2.6 Autoevaluación . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.7 Rompecocos . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
2.8 Desafı́os . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
3 Sistemas numéricos 79
3.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
3.2 Los números naturales . . . . . . . . . . . . . . . . . . . . . 81
3.2.1 La definición de los números naturales . . . . . . . . 81
3.2.2 Operaciones usuales entre los números naturales . . . 83
3.2.3 Orden en los números naturales . . . . . . . . . . . . 87
3.2.4 Números primos . . . . . . . . . . . . . . . . . . . . . 89
3.2.5 Algoritmo de la división . . . . . . . . . . . . . . . . 91
3.2.6 Sistemas de numeración . . . . . . . . . . . . . . . . 91
3.2.7 Sistemas de numeración antiguos . . . . . . . . . . . 93
3.2.8 El sistema binario o sistema de numeración en base 2 96
3.3 Los números enteros . . . . . . . . . . . . . . . . . . . . . . 99
3.3.1 Definición de los números enteros . . . . . . . . . . . 99
3.3.2 Las operaciones usuales con los números enteros . . . 101
3.3.3 Orden y representación de los números enteros Z . . 103
3.4 Los números racionales . . . . . . . . . . . . . . . . . . . . . 105
3.4.1 Definición de los números racionales . . . . . . . . . . 105
3.4.2 Operaciones entre números racionales . . . . . . . . . 106
3.4.3 Orden y densidad de los racionales . . . . . . . . . . 111
3.5 Los números reales . . . . . . . . . . . . . . . . . . . . . . . 112
3.5.1 La representación geométrica de los números reales . 114
3.5.2 Representación decimal de los números reales . . . . 118
. iii
3.5.3 Operaciones entre números reales . . . . . . . . . . . 119

3.5.4 Los números reales como una estructura axiomática . 121
3.5.5 Potencias enteras . . . . . . . . . . . . . . . . . . . . 124
3.5.6 Potencias racionales . . . . . . . . . . . . . . . . . . 126
3.5.7 Orden en los Reales . . . . . . . . . . . . . . . . . . . 130
3.5.8 El valor absoluto . . . . . . . . . . . . . . . . . . . . 136
3.6 Los números complejos . . . . . . . . . . . . . . . . . . . . . 141
3.7 Autoevaluación . . . . . . . . . . . . . . . . . . . . . . . . . 152
3.8 Rompecocos . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
3.9 Desafı́os . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
Introducción
Este módulo hace parte del proyecto SEMILLEROS promovido por el

Departamento de Matemáticas de la Universidad del Valle. Los contenidos
recogen las experiencias, como siempre heterogéneas, de varios años de do-
cencia e indagación de un colectivo de profesores y monitores que participan
en el proyecto.
A través del proyecto SEMILLEROS hemos aceptado el desafı́o de en-
frentar el problema de formación matemática de nuestros bachilleres. Como
se ha repetido en diferentes instancias, el bajo perfil matemático de los estu-
diantes que ingresan a la universidad exige respuestas concretas. Uno de los
aspectos que se ha detectado tiene que ver con la distancia conceptual entre
las matemáticas del bachillerato y las matemáticas universitarias. Mientras
que en el bachillerato se difunde unas matemáticas operativas, intuitivas y
de sentido común, en la universidad se apunta más a la parte conceptual,
abstracta y general. En este sentido, este módulo constituye una propuesta
de enlace entre estos dos universos.
Intentaremos hacer una presentación dinámica, no necesariamente tradi-
cional, de algunos temas que constituyen la base del edificio matemático. En
este libro abordaremos estudiamos la lógica, los conjuntos y los números
reales. Más que una carga de teoremas, definiciones y conceptos se tra-
ta de avivar el gusto por las demostraciones, los conceptos y las nociones
matemáticas a través de problemas, ejercicios y pasatiempos que permitan
incentivar la capacidad de análisis, simplificación y argumentación.
Manejamos la idea de que las matemáticas 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 geografı́a, y disfrutar del recorrido.
Los materiales están diseñados para que el estudiante pueda interactuar
con ellos, retomar los conceptos y abordar los interrogantes.
iv
. v
En este libro abarcamos los siguientes capı́tulos:
1. Introducción a la lógica simbólica.
2. Nociones fundamentales de conjuntos.
3. Sistemas numéricos.
En el primer capı́tulo buscamos que los estudiantes se apropien del lenguaje

simbólico de las matemáticas y que manejen algunos de los procesos de argu-
mentación y validación usados en las demostraciones matemáticas. Haremos
una presentación genérica de la lógica proposicional, de los cuantificadores
tı́picos usados en matemáticas y de los métodos de demostración más uti-
lizados.
En el segundo capı́tulo nos proponemos hacer una exposición general de
algunos nociones básicas de la teorı́a de conjuntos; disciplina que constituye
la base teórica de diversas ramas de la matemática. Al inicio presentamos el
problema de las paradojas, el cual emerge por la definición intuitiva de con-
junto. Estudiamos las operaciones de unión, intersección y diferencia entre
conjuntos. Al final, aprovechamos la noción de cardinalidad para introducir
los conjuntos infinitos.
En el tercer capı́tulo hacemos una presentación de los sistemas numéri-
cos tı́picos: naturales, enteros, racionales e irracionales, los cuales conforman
el conjunto de los números reales. No hacemos una presentación formal,
sino que intentamos un proceso constructivo abstracto que tiene como pun-
to de partida a los números naturales; luego de definir las operaciones de
suma y producto estableceremos generalizaciones para la introducción de los
números enteros y los racionales. El problema se presenta al intentar car-
acterizar y generalizar las operaciones de los números irracionales; para ello
utilizaremos la representación geométrica instaurada por el matemático y
filósofo francés René Descartes, la cual permite establecer la suma y el pro-
ducto de segmentos. Al final hacemos una presentación general del sistema
de los números complejos, sus operaciones y algunas propiedades
Hemos intentado combinar en cada uno de los capı́tulos la parte concep-
tual con la operativa. Discutimos las definiciones y nociones básicas, pre-
sentamos ejemplos tı́picos y demostramos algunos teoremas fundamentales.
Para ello utilizamos algunos indicadores visuales que permiten al lector ubi-
carse en el contexto.
El diagrama:
vi 0. Introducción
BObservación:
se utiliza para llamar la atención 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 invitación para que el lector ponga en juego sus conocimientos
e identifique sus falencias a través del ejercicios y problemas tı́picos de cada
una de las temáticas en consideración.
En cada uno de los capı́tulos proponemos algunos problemas de alto nivel
conceptual, mediante los cuales se intenta ir más allá de la formación básica.
Son ejercicios que seguramente exigirán un poco de dedicación, pero que,
estamos seguros, puede resolver quien haya seguido con atención la parte
teórica. Para llamar la atención en estos problemas usamos el sı́mbolo:
Desafı́oS
En cada uno de los capı́tulos intentamos reforzar los conceptos a través
de algunos retos y pasatiempos. En este sentido utilizamos el sı́mbolo:
Rompe coco S
Capı́tulo 1
Introducción a la lógica
simbólica
Objetivos
A través de este capı́tulo esperamos favorecer en el lector su capacidad de
razonar matemáticamente. Si bien la argumentación y la demostración no
son cuestiones propias de la actividad matemática, constituyen uno de los
pilares fundamentales del quehacer de los matemáticos. En este sentido es-
peramos que al finalizar el estudio de esta unidad, el lector haya desarrollado
las competencias necesarias para que pueda:
Reconocer y utilizar los principios lógicos generales usados en matemá-

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

tablas de verdad y los razonamientos tanto en la lógica proposicional
como en el cálculo de predicados.
Identificar los métodos de demostración que se utilizan en matemáticas.
1
2 1. Introducción a la lógica simbólica
1.1. Lenguaje cotidiano, Lógica y lenguaje

matemático
En la figura aparece un fragmento del cuadro de
Rafael, La escuela de Atenas. Aristóteles y Platón
ocupan la parte central de la jerarquı́a intelectu-
al del pensamiento griego. Aristóteles escribió el
primer tratado de Lógica.
1.1.1. Introducción
Empezaremos considerando algunos aspectos generales de la lógica que nos
ayuden a entender la forma de razonar en matemáticas. Para ello es necesario
que precisemos las nociones de deducción, proposición y argumentación. 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 ámbito matemático.
Es un hecho que la lógica no pertenece exclusivamente a las matemáticas,
sino que hace parte de nuestra cultura. Constituye uno de los monumentos
teóricos de mayor valı́a. Obviamente existe una lógica cotidiana que uti-
lizamos sin haber abordado estudios especializados. Por ejemplo, cuando
argumentamos sobre las ventajas de tal o cual ideologı́a o interpretamos las
inhumanas consecuencias del capitalismo salvaje, estamos aplicando lógica.
Como lo expresa Estanislao Zuleta:
Y en efecto, la lógica 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 lógicas. Cuando decimos por ejem-
plo que algo es necesario —que una cosa depende de otra, que un even-
to es la causa de otro— cuando indicamos una contradicción o una
imposibilidad, una implicación o una dependencia, estamos haciendo
lógica, aunque no seamos conscientes de ello. La lógica siempre se
supone de antemano. Podemos discutir si estamos construyendo cor-
rectamente un razonamiento; pero no podemos discutir si estamos o
no estamos empleando la lógica.1
1
Estanislao Zuleta (Medellı́n, 1935. Cali, 1990). Eminente filósofo, profesor de la Uni-
1.1. Lenguaje cotidiano, Lógica y lenguaje matemático 3
De acuerdo a la afirmación del profesor Zuleta se puede afirmar que hay

una lógica inmersa en nuestra relación cotidiana con los otros. Para entender
este aspecto leamos con detenimiento la siguiente situación:
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 chévere de Lógica en los Semilleros de

Matemáticas de la Universidad del Valle.
Nelson: y . . . ¿qué es eso de la lógica?
Lisa: Es un poco complicado explicártelo, pero voy a darte un ejemplo.

¿Estas cursando el grado tercero, verdad?
Nelson: Si.
Lisa: Estudias todos los dı́as y haces todas las tareas.
Nelson: Claro que si.
Lisa: Eso quiere decir que ganarás el año y como premio tu papá te
llevará de paseo.
Nelson: Ah, si, es correcto.
Lisa: Pues, eso es la lógica.

Nelson sigue caminando y se encuentra a Bart.
Bart: Hola Nelsón ¿por qué tan alegre?
Nelson: Me encontré con Lisa y me explico lo que es la lógica.
Bart: ¿Lógica? ¿Qué es eso?

versidad del Valle. Fue un autodidacta infatigable que mantuvo una honda preocupación
por la problemática social y educativa en Colombia. La mayorı́a de sus publicaciones cor-
responden a conferencias y clases que con gran maestrı́a impartı́a en la Universidad del
Valle. Este párrafo corresponde a un fragmento de su libro Lógica y crı́tica.
Nelson: Es difı́cil explicarlo, pero voy a darte un ejemplo. ¿Estas cur-

sando el grado tercero, verdad?
Bart: No, estoy cursando el grado segundo.
Nelson: Ja, ja. . . , entonces tu papá no te llevará de paseo.
Actividad 1.1.
1. ¿Estas de acuerdo con la conclusión de Nelson?
2. ¿Qué conclusión podrı́as sacar de la respuesta de Bart?
¿Qué es entonces la Lógica? No es fácil establecer una definición acabada

de la lógica. En muchas instancias se define la lógica como la ciencia que da
cuenta de las leyes del pensamiento. Esta definición no es satisfactoria pues
el estudio del pensamiento corresponde más a la psicologı́a que a la lógica.
Definición. La lógica tiene por objeto el estudio de los métodos y prin-

cipios que permiten distinguir entre los buenos argumentos (argumentos
correctos o argumentos válidos) y los malos argumentos (argumentos no
correctos o argumentos inválidos).
Cuando discutimos sobre algún tema y defendemos una posición determi-

nada, recurrimos a justificaciones que muestren la validez de nuestro punto
de vista. Las justificaciones que usamos con el propósito de convencer sobre
la veracidad de nuestras ideas es lo que constituye un argumento. El proble-
ma fundamental de la lógica es determinar cuando un argumento es correcto
o no.
Pero no podemos engañarnos, los estudios de lógica no nos proporcionan
un método universal para determinar si un argumento cualquiera es correcto
o no. Tampoco existen fórmulas mágicas que nos revelen todos los secretos
del buen argumento. Pero un estudio apropiado de la lógica nos hace acree-
dores de muchas técnicas y métodos de verificación aceptados socialmente.
Definición. Un argumento es un conjunto de una o más oraciones; una

de ellas se denomina conclusióny las otras se denominan premisas.
1.1. Lenguaje cotidiano, Lógica y lenguaje matemático 5
De acuerdo a la definición anterior las premisas son el vehı́culo que con-

duce a la conclusión. Un argumento relaciona las premisas con la conclusión.
En este sentido un argumento es válido cuando podemos demostrar que la
conclusión se deduce de las premisas.
La lógica formal trata del estudio sistemático de los argumentos y es-
tablece métodos socialmente aceptados para la argumentación. Por ejemplo,
en el argumento siguiente, en el cual la conclusión se ha separado de las dos
premisas por medio de la lı́nea horizontal, no se requiere más que el signifi-
cado de términos como ((todos)), y ((es)), para aceptar que la conclusión se
sigue de las premisas; en este caso decimos que el argumento es correcto.
Todos los lógicos son felices.
Aristóteles es lógico.
Luego, Aristóteles 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 términos em-
pleados. De esta manera, los argumentos anteriores pueden esquematizarse
en el siguiente modelo:
Todo aquello que cumple la propiedad A, cumple la propiedad B.
x cumple la propiedad A.
Luego, x cumple la propiedad B.
Lo anterior refuerza la afirmación de que ((la lógica formal es la ciencia
que estudia la forma de los argumentos)).
Actividad 1.2.
Lea detenidamente el siguiente párrafo:
((Si los mejores equipos de fútbol del mundo están en Colombia y Améri-
ca es el campeón de Colombia, entonces América es el mejor equipo de
fútbol del mundo)).
Trate de convencer a su compañero más cercano de que la conclusión es
correcta.
1.1.2. Estructura lógica de los argumentos

Analicemos el siguiente argumento:
Todas los animales mamı́feros son animales terrestres.

Las ballenas son animales mamı́feros.
Luego las ballenas son animales terrestres.
Este argumento tiene una disposición similar a la de los ejemplos ante-
riores, lo cual significa que tiene la misma forma o estructura lógica. 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 conclusión. 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.
BObservación. 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 definirı́a lo ver-
dadero y lo falso en el mismo.
Para reafirmar lo anterior, observemos que el siguiente argumento es

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

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

Pelé jugó en Santos.
Luego, Pelé no jugo en Corinthias.
Los argumentos de los primeros ejemplos corresponden a la lógica de pred-

icados, mientras el último ejemplo pertenece a la lógica proposicional. Em-
pezaremos estudiando los principios básicos de la lógica proposicional.
1.2. Lógica Proposicional

1.2.1. Definición de proposición
En muchos de nuestros argumentos utilizamos oraciones las cuales pode-
mos decidir si son falsas o verdaderas. Sin embargo en muchas ocasiones,
esa valoración depende de algunas circunstancias. Por ejemplo el enunciado
((La esperanza es azul))corresponde a una oración con sentido completo en el
idioma español, 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 año murió Pitágoras?
4. Gaudi fue un escritor catalán.
5. Gracias a Dios soy ateo
6. Prohibido prohibir
Observemos que la cuarta oración es la única que podemos valorar. La

segunda oración corresponde a un deseo. La tercera oración corresponde a
una interrogación. No tiene sentido decidir si un deseo o un interrogante es
falso o verdadero. La quinta oración no es proposición pues su significado
depende del lector. La sexta oración 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.
Definición. Una proposición es una oración declarativa que en un con-

texto particular podemos decir si es falsa o verdadera.
Ejemplos.
1. La frase ((Cervantes escribió el Quijote)) es una proposición.
2. Las frases ((¿Cervantes escribió el Quijote?)), y ((quiero aprender matemáticas))

no son proposiciones.
Una proposición puede ser expresada por diferentes enunciados. Por

ejemplo, las dos oraciones siguientes, aunque no están 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 año es bisiesto))
puede ser falsa o verdadera, dependiendo del año en que se enuncie. En
matemáticas no nos interesan este tipo de proposiciones, ni aquellas que
varı́en 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

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

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

incluso hay casos en los cuales es imposible escoger entre estas dos asigna-
ciones de manera precisa, pero sabemos que se da una de ellas. Con esto
queremos decir que hay proposiciones verdaderas cuya verdad ignoramos.
Esto significa que una cosa es el valor de verdad de una proposición (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 bı́pedo.
3. La igualdad x + 7 = 9 se cumple para x = 2.
4. 12 < 5.
5. Existió la Atlántida.
Los anteriores enunciados son ejemplos de proposiciones; la primera, la

segunda y la cuarta son falsas, la tercera es verdadera; la quinta es ver-
dadera o falsa, pero no estamos en condiciones de decidir cual asignación le
corresponde.
Actividad 1.5.
1. Analice el enunciado: ((Real Madrid es el mejor equipo del mundo)).
¿Considera que es una proposición?
2. Considera que el enunciado: ((todos los números primos son impares)),

¿es una proposición?
3. De los siguientes enunciados diga cuáles son proposiciones.
a) El cuadrado es más grande que el cı́rculo.

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 éxito del proceso de paz en Colombia

no sólo depende de los negociadores de la guerrilla y el gobierno sino
de la existencia y puesta en práctica de unas polı́ticas de justicia
social)) ¿es una proposición?
5. ¿Cree usted que toda oración del lenguaje ordinario corresponde a

una proposición? Justifique su respuesta.
1.2.2. Clasificación de las proposiciones

Lea detenidamente el siguiente párrafo escrito por el argentino Jorge Luis
Borges que aparece en El libro de lo seres imaginarios:
Paracelso limitó su habitación a las aguas, pero los antiguos las

dividieron en Ninfas de las aguas y de la tierra. De estas últimas
algunas presidı́an sobre los bosques. Las Hamadrı́adas moraban
invisiblemente en los árboles y perecı́an con ellos.
Observe que es un enunciado que consta de varias oraciones. Si anal-

izamos con detenimiento el párrafo en consideración, vemos consta de las
siguientes oraciones simples, las cuales hemos enunciado efectuando los re-
spectivos ajustes.
a. Paracelso limitó la habitación de las Ninfas a las aguas.

b. Los antiguos dividieron las Ninfas en Ninfas de las aguas y de la tierra
c. Algunas Ninfas de la tierra presidı́an sobre los bosques
d. Las Hamadrı́adas moraban invisiblemente en los árboles y perecı́an

con ellos
Cada una de las oraciones anteriores corresponde a una proposición. De

esta forma, en lógica distinguimos dos tipos de proposiciones:
1. simples o atómicas.
2. compuestas o moleculares.
Las proposiciones atómicas son aquellas proposiciones afirmativas que no

pueden descomponerse en otras más simples. En el lenguaje natural corre-
sponden a oraciones que tienen un sólo verbo conjugado y tienen la estruc-
tura:
Sujeto - Verbo - Complemento.
Las proposiciones simples carecen de términos de enlace o conectivos.
Ejemplos.
1. El sol es una estrella.
2. Shakespeare escribió Cien años de soledad.
Las proposiciones moleculares corresponden a las negaciones o a aquellas

que se componen de dos o más proposiciones simples articuladas a través de
conectivos lógicos. Generalmente se utilizan los siguientes conectivos.
Conectivo Tipo
((y)) Conjunción.
((o)) Disyunción.
((si, entonces)) Condicional.
((si y sólo si)) Bicondicional.
La negación no articula proposiciones, sino que ((interviene)) sobre una

proposición cambiándole el sentido. En el lenguaje natural este conectivo
se expresa mediante los términos: ((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 paı́s europeo.
3. No todos los colombianos cuentan con un empleo digno.
La conjunción relaciona dos o más enunciados a través de términos como

((y)), ((sin embargo)), ((pero)), ((aunque)), ((además)), etc. También el punto
seguido y el punto y coma se interpretan, en ocasiones, como conjunciones.
Ejemplos.
1. Cuba es un paı́s sudamericano y Camerún es un paı́s africano.
2. Verde es el color de la esperanza; rojo el de la pasión.
3. Aunque Moscú es una ciudad frı́a, es hermosa.
4. Las matemáticas alegran la vida, pero también nos hace mejores ciu-
dadanos.
Notemos que la presencia de la ((y)) no implica que el enunciado sea

compuesto, tal es el caso de la frase: ((Batman y Robin constituyen el dúo
dinámico)).
Una disyunción es una proposición compuesta que se forma cuando rela-

cionamos dos proposiciones a través del vocablo ((o)). Las disyunciones se
clasifican en inclusivas y exclusivas. En las disyunciones exclusivas sólo uno
de los enunciados se cumple, mientras que en las disyunciones inclusivas se
pueden dar los dos casos.
Ejemplos.
1. Colombia es una república o es una monarquı́a.

2. Los animales son carnı́voros o son herbı́voros.
3. Pele jugó en el Santos o Pele jugó en América.
4. Todo número 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 monárquico a la vez; ni existen números
que cumplan la propiedad de ser pares e impares de manera simultánea. La
proposición 2 es inclusiva, puesto que existen animales que son simultánea-
mente carnı́voros y herbı́voros. La proposición 3 es inclusiva, pues es posible
encontrar jugadores que hayan militado en dos equipos diferentes.
La disyunción exclusiva se usa en casos particulares; en general, en matemáticas
nos interesan las disyunciones inclusivas. Por este motivo usaremos el térmi-
no disyunción para referirnos a las disyunciones inclusivas.
Una implicación es una proposición compuesta que se forma al unir dos

proposiciones a través del conectivo condicional. Las proposiciones enlazadas
se denominan antecedente y consecuente según el esquema:
si [antecedente], entonces [consecuente].
En este esquema se muestra que si el antecedente se tiene, también 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 serı́a 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 número par, entonces es un número impar.

Antecedente: cuatro es un número par.
Consecuente: cuatro es un número impar.
√ √
3. Si 2 es un número
√ natural, entonces 2 es un número racional.
Antecedente: √2 es un número natural.
Consecuente: 2 es un número racional.
4. Si Picasso escribió la Ilı́ada, entonces Homero pintó el Guernica.

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

[antecedente], entonces [consecuente], se pueden llevar a un enunciado condi-
cional que tiene la misma significación. 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 número impar, si es un número par.

√ √
3. 2 es un número racional, siempre que 2 sea un número natural.
4. Picasso escribió la Ilı́ada, luego Homero pintó el Guernica.
La implicación corresponde al tipo de proposición más importante en

lógica, pues constituye el medio a través del cual se demuestra la validez de
un argumento.
El bicondicional corresponde a la conjunción de dos condicionales medi-

ante el uso de la expresión ((si y sólo si)).
Ejemplos.
1. Los pingüinos son aves si y sólo si vuelan.
2. El 7 es un número primo si y sólo si sólo es divisible por 1 y 7.
3. Bogotá es una ciudad sudamericana si y sólo si es la capital de Colom-

bia.
4. Platón es un filósofo griego si y sólo si nació en Atenas.

Actividad 1.6.
1. Escriba tres ejemplos de conjunciones.
2. Formule tres ejemplos de disyunciones.
3. De tres ejemplos de implicaciones.
4. Determine si la oración: ((Gauss describió y demostró el teorema fun-

damental de álgebra)) es una proposición simple o compuesta.
5. ¿Cómo diferencia las oraciones simples de las compuestas?
1.2.3. La importancia del lenguaje simbólico

Bertrand Russell (1872-1970) matemático, filósofo y
lógico británico. Planteaba que la matemática es un
capı́tulo de la lógica, en lo que se conoce como el logicis-
mo. Escribió, junto con su compatriota Whitehead, un
monumento teórico denominado Principia Matemática,
mediante el cual buscaba constituir un lenguaje simbóli-
co propio de la matemática. También hizo aportes a la
teorı́a de conjuntos.
El lenguaje que usamos para comunicarnos cotidianamente puede presen-

tar ambigüedades o imprecisiones que llevan a distintas interpretaciones de
un mismo enunciado. Una misma frase puede significar cosas diferentes, de-
pendiendo si se dice con ironı́a, placer, alegrı́a o debido a las propiedades
polisémicas de algunas palabras. Por ejemplo la frase: ((Lo verdaderamente
importante es aquello que cada persona lleva en su interior)) podrı́a inter-
pretarse de modos totalmente diferentes dependiendo si es enunciada por el
Dalai Lama o por Jack el Destripador.
En otras ocasiones, la interpretación depende de los signos de puntuación.
Por ejemplo, el sentido de la siguiente oración es ambivalente.
Café puro y copa a un peso cada uno son...
Si colocamos la coma como aparece a continuación se entenderá que el

precio total es tres pesos:
Café, puro y copa a un peso cada uno son... .
Es un hecho que enfrentarı́amos grandes inconvenientes si intentamos ar-

gumentar retóricamente a través de largas y difı́ciles cadenas argumentativas
usando el lenguaje natural. La lógica simbólica ha desarrollado un sistema
de representación que nos brinda una descripción 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 simbólico se hace evidente en los procesos
operativos de la matemática en general.
A partir de estas aclaraciones, demos inicio al estudio de la lógica proposi-
cional.
1.2.4. Componentes de la lógica proposicional

Como en cualquier lenguaje, en la lógica proposicional se distinguen dos
aspectos complementarios: la sintaxis y la semántica. La sintaxis consiste
en una serie de reglas para la conformación de enunciados significativos.
La semántica consiste en establecer el significado que corresponde a cada
enunciado.
Sintaxis
Los sı́mbolos del alfabeto de la lógica proposicional son de tres tipos: letras
proposicionales, lógicos y de puntuación.
1. Letras proposicionales: corresponden a las letras del alfabeto con o sin

subı́ndices.
2. Sı́mbolos lógicos: ∼, ∨, ∧, −→, ←→.
3. Sı́mbolos de puntuación: (, ).
El nombre de los sı́mbolos lógicos y su interpretación al español aparecen

a continuación.
Sı́mbolo Nombre Observaciones

( Paréntesis izquierdo.
) Paréntesis derecho.
∼ Negación. Español: no.
∧ Conjunción. Español: y.
∨ Disyunción. Español: o.
−→ Implicación. Español: si... entonces.
←→ Doble implicación. Español: si y sólo si.
Definición. Una palabra del lenguaje de la lógica proposicional es una

sucesión cualquiera de letras proposicionales, sı́mbolos lógicos y de pun-
tuación.
Al igual que en el idioma español, no todas las palabras (constituidas

como antes) tienen sentido. Por ello es necesario precisar algunas reglas
sintácticas para obtener las fórmulas proposicionales ó fórmulas bien for-
madas: fbf.
Las fórmulas bien formadas (fbfs) se construyen de acuerdo a las sigu-
ientes reglas:
1. Los sı́mbolos proposicionales son fbf.
2. Si α es una fbf, también lo es ∼ (α).
3. Si α y β son fbfs, también lo son
a) (α) ∨ (β),
b) (α) ∧ (β),
c) (α) −→ (β) y
d ) (α) ←→ (β).
4. Sólo son fbfs las que se obtienen por los pasos anteriores.
Ejemplos.
1. ∼ (p) es una fbf.


2. (p) ∧ ∼ (q) es una fbf. En este caso α = (p) y β = ∼ (q).

3. (p) ∧ (q) −→ ∼ (r) es una fbf. En este caso α = (p) ∧ (q) y
β = ∼ r.

4. (p) ∧ (q) ∨ (r) −→ (∼ (q)) −→ (r) es una fbf. Para este caso

tenemos que α = (p) ∧ (q) ∨ (r) y β = ∼ (q) −→ (r).
α se obtiene de α1 = (p) ∧ (q) y α2 = r, cada una de las cuales son
fbfs. A su vez β se obtiene de β1 = ∼ (q) y β2 = r.
5. La expresión 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́?
BObservación. En la medida que no se produzcan confusiones es

conveniente presentar las fbf con el menor número de paréntesis posible.
para ello se establecen las siguientes convenciones:
1. Las fórmulas atómicas no necesitan paréntesis.
2. El sı́mbolo de la negación actúa sobre la fbf más corta a su derecha.
3. Cuando una fbf tiene varios conectivos, primero actúan ∨, ∧ 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 paréntesis no necesarios en la fbf

(p) ∧ (q) ∨ (r) −→ (∼ (q)) −→ (r)
quedará (p ∧ q) ∨ r −→ (∼ q −→ r).
En general, denominaremos a las fbfs, fórmulas proposicionales o simple-

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

proposicionales p, q y r que no sean fórmulas proposicionales.
3. Si simbolizamos por:
p : ((Leonardo Di Caprio protagonizó el Titanic)).

q : ((Leonardo Da Vinci pintó la Monna Lisa)).
r : ((Beethoven compuso el Himno a la alegrı́a)).
Simboliza las proposiciones siguientes:

a) Si Leonardo Di Caprio protagonizó el Titanic o Leonardo Da Vin-
ci pintó la Monalisa, entonces Beethoven no compuso el Himno
a la alegrı́a.
b) Si Leonardo Da Vinci pintó la Monna lisa y Leonardo Di Caprio
protagonizó el Titanic, entonces Beethoven compuso el Himno a
la alegrı́a.
c) Si Leonardo Di Caprio protagonizó el Titanic, entonces Leonardo
Da Vinci no pintó la Monna lisa.
d) O Beethoven no compuso el Himno a la alegrı́a o Leonardo Di
Caprio protagonizó el Titanic.
e) Si Beethoven compuso el Himno a la alegrı́a, entonces Leonardo
Da Vinci no pintó la Monna lisa y Leonardo Di Caprio protago-
nizó el Titanic.
f ) Si Leonardo Di Caprio protagonizó el Titanic y Leonardo Da
Vinci pintó la Monna lisa, entonces Beethoven compuso el Himno
a la alegrı́a.
Semántica: asignaciones de verdad
La semántica de la lógica proposicional consiste en asignarle un valor de

verdad a cada fbf. Esto se hace a partir de algunas reglas elementales, es-
tablecidas de manera convencional.
Definición. Una asignación consiste en caracterizar cada una de las

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

con una letra proposicional sólo habrı́a dos (21 ) asignaciones: la que le asigna
el valor V y la que le asigna el valor F . Para fbf que contienen sólo dos letras
proposicionales el número 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 sólo tres letras proposicionales, el número 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 asignación se suele
presentar de la siguiente manera:
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Después de asignar los valores V y F a cada una de las letras proposi-

cionales de una fbf, se establece el valor de verdad de la fórmula. Esto se
hace tomando como referencia las reglas para la negación, la disyunción, la
conjunción, el condicional y el bicondicional.
BObservación. Estas asignaciones no excluyen cierta arbitrariedad,

puesto que la lógica proposicional sólo es un modelo para cierto tipo
de argumentos y no tiene que dar cuenta de todas las inferencias posi-
bles; sin embargo, constituye una herramienta fundamental en la for-
malización de las matemáticas.
Para la visualización de las reglas básicas se utilizan las tablas de verdad .

A continuación presentamos algunas de estas tablas.
1. La negación.
Si p es verdadera entonces ∼ p es falsa. Si p es falsa, ∼ p es verdadera.
La tabla de verdad quedarı́a:
p ∼p
V F
F V
2. La conjunción.
p ∧ q es verdadera si y sólo si p y q son ambas verdaderas. La tabla de
verdad de p ∧ q (conjunción) está dada por:
p q p∧q
V V V
V F F
F V F
F F F
3. La disyunción.
p ∨ q es verdadera si y sólo si al menos una de las dos proposiciones es
verdadera. La tabla de verdad de p ∨ q (disyunción) está dada por:
p q p∨q
V V V
V F V
F V V
F F F
4. La implicación.
La proposición p −→ q, (p implica q), se conoce como proposición
condicional; a p se le llama antecedente y a q consecuente. Además se
dice que
p es condición suficiente para q y,

q es condición necesaria para p.
p −→ q es falsa únicamente en el caso en que p es verdadera y q falsa.

Su tabla de verdad está dada por:
p q p −→ q
V V V
V F F
F V V
F F V
Definición.
a) A la proposición q −→ p se le llama la recı́proca de la proposición
p −→ q.
b) A la proposición ∼ q −→ ∼ p se le llama la contrarrecı́proca de la

proposición p −→ q.
Ejemplo.
La recı́proca de (p ∧ q) −→ r es r −→ (p ∧ q) y la contrarrecı́proca es
∼ r −→ (∼ (p ∧ q)).
5. La doble implicación.
La proposición p ←→ q será verdadera si p y q son verdaderas o p y q
son falsas. Su tabla de verdad está dada por:
p q p ←→ q
V V V
V F F
F V F
F F V
Actividad 1.8.
1. Dar un ejemplo de dos proposiciones con sentido preciso en un cier-
to contexto (escogido por usted). Seleccione una de ellas como an-
tecedente y la otra como consecuente, de tal forma que el antecedente
se interprete como falso y el consecuente como verdadero, con lo cual
la implicación es verdadera, pero que en el contexto tal interpretación
para la implicación resulte absurda.
Si asignamos los valores de verdad a un conjunto de letras proposi-

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

q = F , r = F y s = V . Para la las fórmulas:
α = (p −→ r) ∧ (∼ q ∨ s)
y
β = (s −→ q) ←→ ∼ p,
tenemos que α = F y β = V.
1.2.5. Tautologı́as
Definición. Una tautologı́a es una fórmula proposicional que es ver-

dadera para todas las asignaciones hechas a las letras que simbolizan las
proposiciones que la componen.
Ejemplos.
1. La proposición p ←→ ∼ (∼ p) es una tautologı́a. Para comprobar esto

es suficiente observar su tabla de verdad:
p ∼p ∼ (∼ p) p ←→ ∼ (∼ p)
V F V V
F V F V
2. La proposición (p −→ q) ←→ (∼ p ∨ q) es una tautologı́a.
p q ∼p ∼p∨q p −→ q (p −→ q) ←→ (∼ p ∨ q)
V V F V V V
V F F F F V
F V V V V V
F F V V V V
3. La proposición ∼ (p −→ q) ←→ (p ∧ ∼ q) es una tautologı́a.
p q ∼q ∼ (p −→ q) p∧ ∼ q ∼ (p −→ q) ←→ (p ∧ ∼ q)
V V F F F V
V F V V V V
F V F F F V
F F V F F V
Definición. Dos fórmulas α y β son lógicamente equivalentes si α ←→ β

es una tautologı́a. Si α y β son lógicamente equivalentes se escribe
α ≡ β.
Note que si α y β tienen la misma tabla de verdad entonces α y β son

lógicamente equivalentes.
Ejemplos.
1. ∼ (∼ p) ≡ p, puesto que ∼ (∼ p) ←→ p es una tautologı́a, como se

mostró en el ejemplo anterior.
2. (p −→ q) ≡ (∼ p ∨ q), puesto que (p −→ q) ←→ (∼ p ∨ q) es una

tautologı́a, como se mostró en el ejemplo anterior.
3. ∼ (p −→ q) ≡ (p ∧ ∼ q), puesto que ∼ (p −→ q) ←→ (p ∧ ∼ q) es una

tautologı́a, como se mostró en el ejemplo anterior.
4. p −→ q ≡ ∼ q −→ ∼ p puesto que (p −→ q) ←→ (∼ q −→ ∼ p) es una

tautologı́a, como lo muestra su tabla de verdad.
p q ∼p ∼q p −→ q ∼ q −→∼ p (p −→ q) ←→ (∼ q −→ ∼ p)
V V F F V V V
V F F V F F V
F V V F V V V
F F V V V V V
Actividad 1.9.
Demuestre que las siguientes fórmulas son también tautologı́as:
1. Reducción 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 tautologı́a con tablas de verdad puede re-
sultar bastante agotador, especialmente si se tienen muchas letras proposi-
cionales. En el caso de 2 sı́mbolos proposicionales se tienen 4 casos; para 3
sı́mbolos se tienen 8 casos y para 4 sı́mbolos, 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 tautologı́a es suficiente
mostrar una asignación que la haga falsa.
Ejemplos.

1. La proposición, (p −→ q) ∧ s −→ q no es una tautologı́a, porque
para la asignación p = F , q = F y s = V , ella es falsa.

p q s (p −→ q) ∧ s (p −→ q) ∧ s −→ q
F F V V F
2. Para mostrar que la proposición (p −→ q) −→ (∼ q −→ ∼ p) es

una tautologı́a, supongamos que para una asignación ella es falsa. De
acuerdo a las reglas de asignación expuestas anteriormente, tendrı́amos
que (p −→ q) serı́a 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 serı́a falsa; lo cual no puede
darse porque habı́amos partido de que era verdadera. Por lo tanto, no
podrá ser nunca falsa, sino todo lo contrario. Eso significa que es una
tautologı́a.
Actividad 1.10.
1. Muestre que la proposición (p ∨ q −→ r) ∧ (p ∨ ∼ s) ∧ s −→ r es una
tautologı́a.
2. Demuestre las siguientes equivalencias lógicas.
a) ∼ (∼ p) ≡ p (doble negación).
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 fórmulas α y β para que las siguientes equivalencias se

cumplan:
a) ∼ α ∨ β ≡ α −→ β.
b) α ∨ β ≡ α ∧ β.
1.2.6. Contradicción
una proposición que siempre es falsa es llamada una contradicción.
Ejemplo.
1. Considerando la tabla de verdad de la proposición p ∧ ∼ p tenemos

una contradicción.
p ∼p p∧ ∼ p
V F F
F V F
Observemos que si una proposición α es una tautologı́a, entonces su

negación ∼ α es una contradicción.
1.2.7. Razonamientos
Definición.
1. Un razonamiento simple está dado por una cadena de proposiciones
P1 , P2 , ..., Pn (premisas), y una conclusión C.
2. Decimos que el razonamiento anterior es válido (correcto) si la impli-

cación, P1 ∧ P2 ∧ . . . ∧ Pn −→ C es una tautologı́a. En caso contrario
se dice que el razonamiento no es válido (incorrecto).
3. El proceso mediante el cual se demuestra que un razonamiento es

válido se denomina deducción.
Generalmente, un razonamiento se presenta escribiendo de manera ver-

tical las premisas e identificando la conclusión abajo de una raya horizontal
como en el esquema siguiente:
P1 ,
P2 ,
..
.
Pn ,
C.
Ejemplos.
1. El razonamiento
p −→ q,
p,
q.
consta de dos premisas: las proposiciones p −→ q y la proposición p; la

conclusión es q. Es un razonamiento válido puesto que la proposición
(p −→ q) ∧ p −→ q es una tautologı́a.
2. El razonamiento
p −→ r,
∼ p,
∼ r,

no es válido, puesto que (p −→ r) ∧ ∼ p −→ ∼ r no es una tau-
tologı́a.
Como se ha referido antes, demostrar que una proposición es una tau-

tologı́a puede ser un proceso muy dispendioso. Por tal motivo se establecen
algunos razonamientos válidos, denominados reglas de inferencia, los cuales,
en conjunto con las equivalencias, se toman como punto de partida para
hacer deducciones. Para la lógica proposicional es suficiente la de Modus
Ponendo Ponens, sin embargo listaremos algunas de las más usadas.
Regla 1 (pp). Regla 2 (tt).

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

Modus Tollendo Ponens. Simplificación.
p ∨ q, p ∨ q,
∼ p, ∼ q, p ∧ q, p ∧ q,
q. p. p. q.
Regla 5 (a).
Ley de adjunción.
p, q,
q, p, p,
p ∧ q. p ∨ q. q ∧ p.
Regla 6 (sh). Regla 7 (dp).

Silogismo Hipotético. Simplificación disyuntiva.
p −→ q,
q −→ r, p ∨ p,
p −→ r. p.
Ejemplo.
Demostrar la validez del siguiente razonamiento:

∼ p ∨ ∼ q,
p,
∼ t −→ q,
t.
Ahora identifiquemos las premisas y la conclusión; usaremos las abrevia-
ciones P para las premisas y C para la conclusión.
P1 : ∼ p ∨ ∼ q,
P2 : p,
P3 : ∼ t −→ q,
C : t.
Una manera de validar este resultado es demostrar que

(∼ p ∨ ∼ q) ∧ p ∧ (∼ t −→ q) −→ t,
es una tautologı́a. Sin embargo, este proceso resulta dispendioso debido a
que debemos manejar tres variables. En este caso vamos a validar el razon-
amiento descomponiendo en pasos simples la inferencia.
Paso 1.
P2 : p,
C1 : ∼ (∼ p).
Resultado que se obtiene aplicando la equivalencia de la doble negación.
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 negación.
En general, cada paso no se hace independiente sino que se presenta
integrado, escribiendo al lado la explicación pertinente:
P1 : ∼ p ∨ ∼ q,
P2 : p,
P3 : ∼ t −→ q,
P4 : ∼ (∼ p), doble negación P2 .
P5 : ∼ q, tp P1 , P2 .
P6 : ∼ (∼ t), tt P3 , P5 .
C : t, doble negación P6 .
Actividad 1.11.
En cada uno de los casos siguientes, establezca una deducción si es cor-
recto y si es incorrecto, halle una asignación que lo muestre.
P1 : q −→∼ (p ∨ q), P1 : ∼ s −→ (t −→ u),

P2 : p −→∼ q, P2 : s ∨ (∼ r ∨ t),
1. 4.
P3 : s −→∼ q, P3 : ∼ s,
C : ∼ q. C : ∼ r ∨ u.
P1 : s ←→ t,
P1 : ∼ r ∨ t,
5. P2 : u ←→ s ∧ t,
2. P2 : s −→ r,
C : s ←→ u.
C : ∼ s ∨ ∼ t.
P1 : p −→ ∼ t,
P1 : ∼ t ∧ ∼ q −→∼ s, P2 : ∼ p −→ (q −→ ∼ u),
P2 : t ∧ q −→ t, P3 : (∼ r ∨ ∼ q) −→ ∼ (∼ t),
6.
3. P3 : t ∨ ∼ q, P4 : ∼ r ∨ ∼ d,
P4 : u −→ s ∧ ∼ q, P5 : d ∧ q,
C : ∼ u. C : ∼ u.
Ejemplo.
Demostrar la validez del siguiente razonamiento:

Si Thomas Mann escribió la Montaña Mágica y Aristóteles es un
filósofo griego, entonces Atenas es la capital de Grecia o es la capi-
tal de Italia. Si Atenas es la capital de Italia o Aristóteles no es un
filósofo griego, entonces Thomas Mann no escribió la Montaña Mági-
ca. Thomas Mann escribió la Montaña Mágica. Por lo tanto, Atenas
es la capital de Grecia.
El primer paso es simbolizar las proposiciones atómicas:

p : Thomas Mann escribió la Montaña Mágica.
q : Aristóteles es un filósofo griego.
r : Atenas es la capital de Grecia.
s : Atenas es la capital de Italia.

A continuación, identificamos las premisas y la conclusión:
P1 : (p ∧ q) −→ (r ∨ s)
P2 : (s ∨ ∼ q) −→ ∼p
P3 : p
C : r
Reiteramos que una manera de validar este resultado serı́a demostrar que

(p ∧ q) −→ (r ∨ s) ∧ (s ∨ ∼ q) −→ ∼ p ∧ p −→ r
es una tautologı́a.
Usando las reglas de inferencia se seguirı́a el siguiente proceso:
P1 : (p ∧ q) −→ (r ∨ s),
P2 : (s ∨ ∼ q) −→ ∼ p,
P3 : p,
P4 : ∼ (s ∨ ∼ q), tt P2 , P3 .
P5 : ∼ s ∧ ∼ (∼ q), leyes de De Morgan P4 .
P6 : ∼ (∼ q), simplificación P5 .
P7 : q, doble negación P6 .
P8 : p ∧ q, adjunción P3 , P7 .
P9 : r ∨ s, mp P1 , P8 .
P10 : ∼ s, simplificación P5 .
C : r tp P9 , P10 .
1.3. Lógica 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 ningún otro hombre, en-

tonces X es Dios. Si X fue creado por otro hombre, entonces o él
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 huracán Gustavo pasa por Cuba, llegará a la Florida. El huracán

Gustavo no llegará a la Florida. O el huracán Gustavo será de grado
dos o no se convertirá en tormenta. Nueva Orleans desaparecerá si el
huracán Gustavo no pasa por Cuba. Nueva Orleans no desaparecerá o
el huracán Gustavo se convertirá en tormenta. Por lo tanto el huracán
Gustavo será de grado dos.
1.3. Lógica de predicados: cuantificadores

La lógica proposicional no es suficiente para simbolizar todos los enunciados
matemáticos o los retóricos.
El objeto de la lógica de predicados es formalizar las frases declarativas
que tienen variables considerando su estructura interna. A través de la lógica
de predicados se simbolizan los enunciados que expresan relaciones entre
objetos genéricos, ası́ como también sus cualidades y atributos.
Definición. Un predicado es un enunciado que contiene variables que

se relacionan. Las variables de la lógica de predicados pueden ser seres
vivos, objetos fı́sicos o conceptos matemáticos y se conocen como térmi-
nos del predicado.
Los ejemplos más comunes de razonamientos con predicados son los sil-
ogismos. Un silogismo clásico es el siguiente:
Todo hombre es mortal.

Sócrates es hombre.
Luego, Sócrates es mortal.
Intuitivamente sabemos que el argumento es válido. Sin embargo, si in-

tentamos demostrarlo a través de la lógica proposicional, tomando:
p : Todo hombre es mortal.

q : Sócrates es hombre.
r : Sócrates es mortal,
tendrı́amos un razonamiento de la forma:

p,
q,
r,
el cual no permite obtener la conclusión como consecuencia lógica de las
premisas. Se hace, entonces necesario estudiar la estructura interna de las
proposiciones. Para ello escribamos las dos premisas del silogismo de la sigu-
iente forma:
Todo individuo que es hombre, es un individuo mortal
Sócrates es hombre
En la expresión ((Todo individuo que es hombre)), la palabra ((individuo))

corresponde a un variable. Simbolizando esta palabra con la letra x, podemos
representar la expresión en consideración por ((Todo x, tal que x es hombre)).
Si ahora simbolizamos ((Todo x)), por ∀x y ((x es hombre)), por H(x), ten-
dremos que la expresión ((Todo individuo que es hombre)), se simbolizarı́a
como: ∀x H(x), y se lee ((para todo x, tal que es x es hombre)).
Hemos introducido la notación H(x) para referirnos a la proposición ((x es
un hombre)), donde el sı́mbolo H denota el predicado ((ser hombre)), mientras
que x denota el sujeto. De esta manera la expresión ((Sócrates es hombre)), se
representa por H(Sócrates). En general se conviene, para nombres propios,
colocar únicamente la primera letra del nombre. Ası́, ((Sócrates es hombre))
se representa por H(S).
Análogamente podemos utilizar el sı́mbolo M para el predicado ((ser
mortal)), de tal forma que M(x) designa la expresión ((x es mortal)). La
simbolización del silogismo anterior quedará:

∀x H(x) −→ M(x) ,
H(S),
M(S).
En general podemos representar enunciados en donde aparecen predica-
dos referidos a más de una variable. Por ejemplo la expresión matemática
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.
BObservación. Al utilizar simbolizaciones de la lógica 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 números
reales.
En lógica de predicados también se utiliza el cuantificador existencial

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

A continuación presentamos algunas simbolizaciones tı́picas. El estudiante
debe verificar que efectivamente con el predicado designado, la fórmula in-
terpreta la expresión.

1. Dado el predicado P (x), x es un número par. ∀x P (x) simboliza la
expresión ((todos los números son pares)).
2. Sean los predicados P (x), x es un número par, e I(x), x es un número

impar.
a) P (1237) simboliza ((1237 es un número par)).

b) I(1237) simboliza ((1237 es un número impar)).

c) ∀x P (x) −→ I(x) simboliza ((todo número par es impar)).

d ) ∃x I(x) simboliza ((hay por lo menos un número impar)).

e) ∀x P (x) −→ ∼ I(x) simboliza ((ningún número par es un número
impar)).

f ) ∼ ∃x P (x) ∧ I(x) simboliza la misma expresión del ı́tem ante-
rior.
3. Sea el predicado S(x, y), x + y es par, y los predicados del caso anterior.

a) ∀x P (x) −→ S(x, 10) simboliza ((todo número par sumado con
10 es par)).

b) ∃x P (x) ∧ S(x, 1) simboliza ((algún número par sumado con 1
es par)).

c) ∼ ∃x S(x, x) simboliza ((ningún número sumado con él mismo
es par)).

d ) ∀x I(x) −→ ∼ ∃z S(z, x) simboliza ((ningún número impar
sumado con otro número es par)).
4. Dados los predicados A(x), x es A y B(x), x es B.

a) ∀x A(x) −→ B(x) simboliza ((todo A es B)).

b) ∃x A(x) ∧ B(x) simboliza ((algún A es B)).

c) ∼ ∃x A(x) ∧ B(x) simboliza ((ningún A es B)).

d ) ∃x A(x) ∧ ∼ B(x) simboliza ((algún 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 Marı́a.
a) H(C, P ) ∧ H(C, M) simboliza ((Carlos es hermano de Pedro y

Marı́a)).

b) ∀x H(C, x)∧H(x, M) simboliza ((todos son hermanos de Carlos
y Marı́a)). En este caso utilizamos el hecho que el predicado H es
conmutativo; esto es, si ((x es hermano de y)), también se da que
((y es hermano de x)).

c) ∃x H(x, C)∧H(x, M) simboliza ((Carlos y Marı́a tienen al menos
un hermano)).
6. Sean los predicados P H(x), x es un polı́tico 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 polı́tico honesta vota solamente por alguien diferente

a sı́ mismo)).
Actividad 1.13.
1. Simbolice completamente las siguientes proposiciones.
a) Ningún hombre es a la vez loco y cuerdo.

b) Todo hombre es mortal.
c) Ningún número es a la vez par e impar.
d) Todo número real es positivo si y sólo si es mayor que cero.
e) No todos los números reales son positivos.
2. Fijando como universo el conjunto de los seres vivos actualmente:
a) Simbolice los predicados:

i) x es hombre.
ii) x es mujer.
iii) x es madre de y.
iv) x es padre de y.
b) Con las simbolizaciones del ı́tem anterior, definir los predicados:
i) x es hijo de y.
ii) x es abuela paterna de y.
iii) x no tiene hijas.
iv) x es hermano de y por parte de padre y madre.
1.3.2. Negación de los cuantificadores
Definición. Las negaciones de los cuantificadores están 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 filósofos y los predicados G(x), x es genial e

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

negación será ∃x ∼ G(x), que simboliza el enunciado ((algunos filósofos
no son geniales)).
2. El enunciado ((existen algunos filósofos que son geniales, pero incoher-

entes)), quedará
∃x G(x) ∧ I(x)
y su negación será:
∀x ∼ G(x) ∨ ∼ I(x)
que simboliza el enunciado ((todos los filósofos no son geniales ó no son
incoherentes)).
BObservación. En general un cuantificador universal no se puede

conmutar con un cuantificador existencial. Es decir, la fórmula:

∀x ∃y R(x, y) ,
no siempre tiene la misma significación que la fórmula:

∃y ∀x R(x, y)
1.4. Métodos de demostración 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 significación:

1. La fórmula ∀x ∃y M(x, y) simboliza el enunciado ((Para todo ser hu-
mano existe una madre)).

2. La fórmula ∃y ∀x M(x, y) simboliza el enunciado ((existe una madre
para todos los seres humanos)).
Actividad 1.14.
1. Traduzca a lenguaje simbólico las siguientes proposiciones y sus ne-
gaciones:
a) La ecuación x + 1 = 0 tiene solución en los números naturales.

b) Algún número entero es par.
c) Los argentinos son modestos o no son futbolistas.
2. Escriba la negación de las siguientes proposiciones cuantificadas e in-

terprételas en el lenguaje ordinario, tome como referencia el universo
de los números 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. Métodos de demostración

La lógica como disciplina cientı́fica se inició en la antigüedad griega. Aristóteles
consideraba la lógica como un requisito para poder abordar estudios en
filosofı́a, astronomı́a y matemáticas. Los principios lógicos constituyen la
base de la demostración matemática. A través de la lógica se busca librar
las demostraciones de argumentos subjetivos. Los procesos demostrativos en

matemáticas no dependen del gusto o de sentimientos personales, sino de los
acuerdo sociales que se han construido en el acontecer histórico.
El proceso mediante el cual se manipulan las nociones matemáticas se
denomina el método axiomático. Un sistema axiomático consta de tres ele-
mentos básicos:
1. Los conceptos matemáticos: dados a través de las definiciones o de
manera nominal (simplemente se nombran).
2. Algunas propiedades de los objetos que se toman como puntos de par-
tida: los postulados o axiomas.
3. Las proposiciones: los teoremas, corolarios y lemas.
Los conceptos matemáticos se definen y se relacionan guardando tres
principios:
1. El principio de identidad.
2. Principio de no contradicción.
3. El tercero excluido.
El principio de identidad permite hacer sustituciones y equivalencias. El
principio de no contradicción evita que dos enunciados contrarios se den al
mismo tiempo. El tercero excluido establece que un enunciado sólo puede
ser falso o verdadero.
Definición. Un axioma es una proposición fundamental de un sistema

axiomático que se toma como verdadera sin demostración alguna.
Para poder establecer propiedades de los conceptos matemáticos no son

suficientes los axiomas y las definiciones; es necesario establecer los teoremas.
Definición. Un teorema matemático es un enunciado sobre los objetos

matemáticos que debe ser demostrado.
Una demostración es un proceso deductivo, el cual tiene como punto de
partida las hipótesis y como punto de llegada la tesis. La cual se con-
cluye usando las definiciones, los postulados y los teoremas previamente
demostrados.
Todo teorema es de la forma:
Hipótesis entonces Tesis,

H −→ T .
Ejemplo.
En el teorema: ((si n es un número par, entonces n2 es par)), la hipótesis es

((n es un número par)) y la tesis es ((n2 es par)).
Es importante observar que el teorema habı́a podido ser enunciado sin
el formato H −→ T , de la siguiente forma: ((todo número par elevado al
cuadrado es par)).
Actividad 1.15.
Identificar la hipótesis y la tesis de los siguientes enunciados:
1. Si la cantidad de vehı́culos aumenta en una ciudad entonces la con-

taminación también aumenta.
2. Si dos circunferencias son tangentes exteriormente, la distancia entre

sus centros es igual a la suma de sus radios.
3. Un número es divisible por dos si la ultima cifra es par.
4. Los ángulos opuestos por el vértice son iguales.
5. Si α, β y γ son los ángulos interiores de un triángulo entonces su

suma es igual a 180 grados.
6. Si un número divide a otros dos, divide a sus diferencias.
El proceso demostrativo se hace a través de la aplicación de los principios

lógicos que hemos establecido. Esquemáticamente, un proceso demostrativo
se puede sintetizar de la siguiente manera:

⎫
H Hipótesis. ⎪
⎪
⎪
⎪
⎪
⎪
⎪
⎪
⎪
⎪
⎬ Argumentación lógica.
Se usan definiciones, teoremas y
⎪
⎪
⎪
⎪ axiomas.
⎪
⎪
⎪
⎪
⎪
⎪
⎭
T Conclusión.
Para demostrar el teorema, H −→ T se procede ası́:
1. Suponemos que las hipótesis H, se cumplen; es decir son enunciados

matemáticos verdaderos.
2. A partir de la hipótesis construimos un proceso argumentativo, en

el cual podemos utilizar las definiciones, los axiomas y teoremas ya
demostrados, para obtener, mediante la aplicación de las reglas de
deducción lógica, 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 proposición: ((la suma de dos números

impares es un número par)).
Al identificar el antecedente y el consecuente, el teorema quedará: si a y
b son números impares, entonces a + b es un número par.
Demostración: Sean los números impares a y b. Dado que a impar y
b impar, entonces a = 2n + 1 y b = 2k + 1, n, k enteros; ello significa que
a + b = (2n + 1) + (2k + 1), entonces a + b = 2(n + k + 1). Por lo tanto, a + b
es par.
Actividad 1.16.
Demuestre, usando el método directo, que ((la suma de tres enteros con-
secutivos es múltiplo de tres)).
No siempre es posible demostrar un teorema de forma directa. En muchas

ocasiones hay que recurrir el método de reducción al absurdo, para ello se
afirma la hipótesis y se niega la conclusión y se intenta generar una con-
tradicción. Esquemáticamente este método se puede describir de la siguiente
manera:
1. Queremos demostrar el teorema H −→ T .
2. Suponemos que su negación ∼ (H −→ T ) es verdadera.
3. A partir de procesos deductivos intermedios obtenemos una proposi-

ción del tipo Q ∧ ∼ Q.
4. Como la teorı́a es consistente, entonces no puede darse ∼ (H −→ T ),

sino su negación ∼ ∼ (H −→ T ), la cual es lógicamente equivalente a
H −→ T , que es la proposición que querı́amos demostrar.
El método de reducción al absurdo se fundamenta en las dos siguientes

equivalencias lógicas:
∼ (H −→ T ) es equivalente a H , ∧ ∼ T , simbólicamente:
∼ (H −→ T ) ≡ H ∧ ∼ T.
H −→ T es equivalente a H ∧ ∼ T −→ Q ∧ ∼ Q, simbólicamente:
H −→ T ≡ (H ∧ ∼ T ) −→ (Q ∧ ∼ Q).
Ejemplo.
Demostrar utilizando el método de reducción al absurdo el teorema: si a2 es

par entonces a es par.
a2 par y a impar. Afirmación de hipótesis y negación de la tesis.

a = 2k + 1, k entero. Definición número impar.
a2 = (2k + 1)2 . Ley uniforme.
a2 = 4k 2 + 4k + 1. Producto.
a2 = 2(2k 2 + 2k) + 1. Ley distributiva.
s = 2k 2 + 2k es entero. Ley clausurativa de la suma y el producto.
a2 = 2s + 1. Sustituyendo.
a2 impar. Definición de número impar.
a2 par y a2 impar. Conjunción (contradicción).
Actividad 1.17.
Demuestre, usando el método de reducción al absurdo que para a, b
números reales, si a · b = 0, entonces a = 0 ó b = 0.
1.5. Autoevaluación 45
1.5. Autoevaluación
Para cada pregunta señale la respuesta.
1. El objetivo de la lógica es:
a) Diferenciar lo verdadero de lo falso.

b) Una cualidad del pensamiento humano.
c) Un capı́tulo de la psicologı́a.
d ) Caracterizar los argumentos correctos e incorrectos.
e) Ninguno de los anteriores.
2. Epiménides el cretense afirma: ((todos los cretenses son mentirosos)).
a) Epiménides es un mentiroso.
b) Epiménides dice la verdad.
c) Todos los cretenses son mentirosos.
d ) Epiménides dice la verdad si y sólo si miente.
e) Ninguno de los anteriores.
3. Señale cual de los siguientes enunciados es una proposición.
a) ¡Ojalá que gane el América!.

b) Deseo que me ame Sharon Stone.
c) Shakespeare pintó la Monna Lisa.
d ) Garcı́a Márquez es mejor escritor que Octavio Paz.
e) Ninguna de las anteriores.
4. Una de las siguientes expresiones no es una fórmula proposicional.
a) ∼ p ←→ q ∨ r.
b) p ←→ q −→ r.
c) (∼ p ←→ q) ∨ (r ∧ t).
d ) ∼ p ∧ t ←→ q ∨ r.
5. Una de las siguientes fórmulas no es una tautologı́a.
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 proposición 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 expresión 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 tı́o de z.
e) No tiene sentido.
8. La negación de la proposición ((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 negación de la fórmula ∀x ∃y (x + y = 0) es:

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 demostración.

b) Un axioma es un enunciado que no necesita demostración.
c) Existen enunciados que no son teoremas.
d ) El método de reducción al absurdo es un método de demostración
directa.
e) Todas las anteriores.
1.6.
Rompe coco S
Para poder realizar este taller vamos a aceptar algunas reglas de juego:
Toda frase es o bien verdadera o bien falsa.

Si una frase es verdadera su negación es falsa y viceversa.
Las reglas que normalmente utilizamos en nuestro lenguaje y el sentido
común.
1. Epiménides, un filósofo y poeta que vivió en Cnossus, la capital de

Creta, a finales del siglo vii a. C. enunció la siguiente frase:
El cretense Epiménides dice que los cretenses son embusteros.
¿Decı́a la verdad Epiménides?
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
más disposición tenı́a a olvidar era el dı́a de la semana. Ahora bien,
el León y el Unicornio visitaban frecuentemente el bosque. Los dos
eran criaturas extrañas. El León mentı́a los lunes, martes y miércoles
y decı́a la verdad los otros dı́as de la semana. El Unicornio, por otra
parte, mentı́a los jueves, viernes y sábados, pero decı́a la verdad los
restantes dı́as de la semana.
Un dı́a Alicia se encontró con el León y el Unicornio que descansaban
bajo un árbol. Ellos dijeron lo siguiente:
León: Ayer fue uno de los dı́as en los que me tocaba mentir.
Unicornio: Ayer también fue uno de los dı́as en los que me tocaba
mentir.
A partir de estos dos enunciados Alicia (que era una chica muy lista)
fue capaz de deducir el dı́a de la semana. ¿Qué dı́a era éste?
1.6. Rompecocos 49
3. En una cueva se encuentran tres cofres, de tal manera que sólo uno de
ellos contiene un tesoro. Sobre cada cofre hay una inscripción, como en
la siguiente figura, y únicamente una de esas afirmaciones es verdadera.
Cofre A Cofre B Cofre C
El tesoro está en El tesoro no está en El tesoro no está en

este cofre. este cofre el cofre A
Deduzca, (no adivine) cuál 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 cuáles son las de los ojos
negros y cuáles 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 están 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 tenı́a los ojos? Ella me responde: la primera dijo que
tenı́a los ojos azules. Bueno, como sólo 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. ¿Cómo puede ser posible
esto?
5. Durante una antigua guerra tres prisioneros fueron llevados a un cuar-

to. En el lugar habı́a una gran caja que contenı́a 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 más alejado le fue quitado el vendaje y se le per-
mitió mirar los sombreros de los dos prisioneros que se encontraban
delante de él. Si deducı́a el color del sombrero colocado en su cabeza,
serı́a puesto en libertad. Sin embargo, fue incapaz de decirlo. Luego le
fue quitado el vendaje al siguiente prisionero, quien podı́a ver sólo el

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

fesora. Cada una vestı́a un traje blanco, amarillo, rosa o azul. El sal-
vavidas le ganó a Betty en tenis, y Carol y la piloto frecuentemente
juegan cartas con la mujer vestida de rosa y con la de azul. Alicia y la
profesora envidian a la mujer de azul, quien no es la abogada, porque
ésta siempre viste de blanco. ¿Cuál es la ocupación y el color de vestido
de cada una?
7. Se dice que el filósofo Kant era de costumbres tan regulares que los
habitantes de Königsberg aprovechaban su paso por determinados lu-
gares para poner en hora sus relojes.
Una tarde, Kant tuvo la desagradable sorpresa de encontrarse con que
el reloj de su casa se habı́a parado; era evidente que su criado, que
tenı́a el dı́a libre, se habı́a olvidado darle cuerda. El gran filósofo no
se atrevió a ponerlo en la hora porque su reloj de bolsillo estaba en
reparación, y no tenı́a modo de saber la hora exacta. Poco después
se fue caminando hasta la casa de su amigo Schmidt, un comerciante
que vivı́a a un par de kilómetros 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 pórtico.
Tras pasar algunas horas en casa de Schmidt, Kant se fue de regreso a
su casa por el mismo camino por el que habı́a venido. Paseaba, como
siempre, con el mismo paso constante y regular que no habı́a cambiado
en veinte años. No tenı́a la menor idea de cuanto habı́a tardado en hacer
el camino de regreso, pues Schmidt se habı́a mudado recientemente y
Kant no habı́a cronometrado aún el trayecto. Sin embargo, apenas
llegó a su casa, puso el reloj en hora.
¿Cómo pudo saber Kant qué hora era exactamente?
1.7. Desafı́os 51
1.7.
Desafı́oS
1. Usando predicados binarios, y asumiendo que la relación ((ser amigo
de)) es simétrica. Es decir, si la simbolizamos por A(x, y) (léase 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 simbólicamente el siguiente razonamiento:
El papá de cada ser humano es uno de sus familiares. Patricia

no es amiga de nadie que no sea más joven que ella ó que no
tenga los ojos claros. Patricia es un ser humano, y el papá de
todo ser humano no es más joven que éste. Nadie que tenga los
ojos claros es familiar de Patricia. Por tanto, si Roberto es el
papá de Patricia, entonces Patricia no es amiga de Roberto.
Capı́tulo 2
Nociones fundamentales de
conjuntos
Objetivos
A través de este capı́tulo buscamos que los lectores adquieran algunas compe-
tencias necesarias para entender la construcción axiomática de los conjuntos
usados en matemáticas y que constituyen la base del edificio matemático.
En esta dirección esperamos que el estudio de esta unidad proporcione al
lector una formación básica para que pueda:
Reflexionar en torno a la definición de conjunto.
Identificar algunos principios para la formación de conjuntos.
Dominar las operaciones básicas entre conjuntos.
52
2.1. Sobre la definición de conjuntos 53
2.1. Sobre la definición de conjuntos
George Cantor (1845-1918), matemático alemán,

nacido en San Petersburgo, es considerado creador
de la teorı́a de conjuntos, en la cual define conjuntos
infinitos como un todo. El mayor logro de Cantor fue
haber demostrado que existen infinitos más grandes
que otros. Por ejemplo, se puede demostrar que hay
más puntos en la recta que números naturales. La
teorı́a de conjuntos de Cantor ha servido de base
para el desarrollo de gran parte de la matemática
moderna.
2.1.1. Introducción
En este capı́tulo nos proponemos hacer una exposición genérica de algunas

nociones básicas de la teorı́a de conjuntos; disciplina que constituye la base
teórica de diversas ramas de la matemática. La idea de conjunto es una de
las más intuitivas. Eso se debe al hecho de que los seres humanos tenemos
la capacidad de percibir ((montones)) o ((agrupaciones)) de objetos del en-
torno. Podemos pensar, por ejemplo, en colecciones de lapiceros, colecciones
de carros, de manzanas, etc. Pero también tenemos capacidad de construir
mundos imaginarios poblados de objetos abstractos, que nos permiten hablar
de conjuntos de números, puntos, lı́neas, etc.
Intuitivamente un conjunto es una agrupación de objetos, los cuales se
denominan elementos del conjunto. Sin embargo, esta definición es circular
porque la palabra ((agrupación)) es equivalente a la misma palabra conjunto.
Fue Cantor quien sentó las bases conceptuales de la teorı́a de conjuntos.
Para Cantor, un conjunto era una colección de objetos diferenciados clara-
mente por nuestra intuición. Sin embargo, como veremos más adelante, de
esta definición se derivan algunas contradicciones.
La noción intuitiva de conjunto, como colección de elementos, llevó a
resultados que no eran consistentes.
54 2. Nociones fundamentales de conjuntos
BObservación. Clásicamente, la consistencia es uno de los princip-

ios fundamentales de cualquier teorı́a; según este principio una cosa no
puede ser y no ser al mismo tiempo. Una proposición 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 adopción de una definición intuitiva de conjuntos lleva a paradojas.
Definición. 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 matemático y filósofo inglés Bertrand Russell llama la
atención en el hecho que hay colecciones que no se pertenecen a sı́ mismas
y otras que se pertenecen. Por ejemplo, la colección de todos los conjuntos,
se contiene ası́ misma. Sin embargo, la mayorı́a de conjuntos conocidos no
se pertenecen. Russell define el conjunto A formado por aquellos conjun-
tos que no se pertenecen a sı́ mismos, denominado Conjunto de Russell ;
simbólicamente:
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
sólo están 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, tendrı́amos que A es un elemento del mismo A.
De esta forma llegamos a la contradicción:
A ∈ A si y sólo si A ∈
/ A.
Para evitar este tipo de percances, como precisaremos más adelante, en

matemáticas incorporamos los conjuntos a través de una teorı́a axiomática.
Consideramos el de conjunto como un término indefinido. Simplemente dire-
mos que los conjuntos están formados de elementos, sin detenernos a discutir
2.1. Sobre la definición 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. Análogamente, 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. Cómo referirse a conjuntos

En las matemáticas los conjuntos son objetos abstractos y atemporales. No
podemos referirnos a ellos como a los objetos fı́sicos ya sea señalándolos,
tocándolos o degustándolos. Sin embargo, dado que constituyen la materia
prima de muchas ramas de las matemáticas, es necesario establecer alguna
forma de representación. Hay dos maneras usuales: por comprensión, cuando
se da una regla que permite describir sus elementos; y por extensión, cuan-
do se listan los elementos del conjunto. Los elementos de los conjuntos se
presentan encerrados entre llaves { } y separados por comas.
Ejemplos.
1. El conjunto de las vocales lo representamos por comprensión como
A = {x : x es vocal}, y por extensión 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 números naturales se representa como:
N = {0, 1, 2, 3, . . . , n, n + 1, . . .}
3. El conjunto de los números naturales menores que 10 lo representamos

como: A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} por extensión, ó
A = {x ∈ N : x es menor que 10}
por comprensión; se lee el conjunto de los x tales que x es natural y x
es menor que 10.
4. El conjunto de los números naturales pares: B = {0, 2, 4, 6, 8, . . .} por
extensión; B = {x ∈ N : x es par} por comprensión.
5. El conjunto de los habitantes de Cali lo representamos por compren-
sión como: C = {x : x es un habitante de Cali}. Observemos que para
describirlo por extensión serı́a necesario nombrar a todos los caleños,
lo cual serı́a muy engorroso.
Actividad 2.1.
Escriba por extensión los siguientes conjuntos:
1. El conjunto de los satélites 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 Latinoamérica.
4. El conjunto de los números enteros.
5. El conjunto de los números racionales menores que 2 y mayores
que 1.
2.2. Principios básicos para la formación de

conjuntos
La primera teorı́a axiomática de conjuntos fue presentada por Ernest Zer-
melo en 1908.
En una presentación axiomática no se definen los conjuntos. Se considera
que son objetos, los cuales cumplen la relación 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 continuación.
2.2.1. Axioma de extensión

El axioma de extensión establece que un conjunto está determinado por sus
elementos o que a través de sus elementos reconocemos un conjunto. Esto
significa que no hay conjuntos distintos que tengan los mismos elementos.
Axioma de extensión. Si todo elemento de A pertenece a B y to-

do elemento de B pertenece a A, entonces los conjuntos son iguales y
escribimos A = B.
2.2. Principios básicos para la formación de conjuntos 57
En otras palabras, como dice P. Halmos en su libro Teorı́a intuitiva de

conjuntos: ((con mayor ostentación y menos claridad: Un conjunto está de-
terminado por su extensión)); de manera formal:
A = B si y sólo si A y B tienen los mismos elementos.
BObservación. 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 “más
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
Pérez” repetido.
Actividad 2.2.
Describa los siguientes conjuntos y determine cuáles son iguales.
a) A = {x : x es un número primo}.
b) B = {x : x es un número primo e impar}.
c) C = {x : x es un número primo mayor que 2}.
d) D = {x : x es un número primo par}.
2.2.2. La relación de inclusión

Si partimos de un conjunto A, podemos formar otros conjuntos a partir de
este conjunto de acuerdo a la siguiente definición.
Definición. 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
notación B ⊆ A (se lee B está contenido en A).
Ası́ B ⊆ A, si y sólo si para cada x ∈ B, entonces x ∈ A.
Para el caso en el cual B ⊆ A, pero B = A, decimos que B es un

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

demostrativo de la siguiente manera:
Sea x ∈ A, entonces, por definición de ⊆, utilizando las hipótesis A ⊆ B
se tiene que x ∈ B. Debido a que B ⊆ C, se tiene que x ∈ B, como se
querı́a demostrar.
Podemos también ilustrar la prueba acudiendo a los diagramas de Venn.

A ⊆ B lo representamos por:
B
B ⊆ C lo representamos por:
Combinando los dos diagramas anteriores obtenemos:

C
B
A
del cual deducimos:

C
Actividad 2.3.
Escriba una argumentación que pruebe los enunciados 1 y 3. Ilustre
con diagramas de Venn su prueba.
2.2.3. Principio de Separación

Como se dijo antes, la noción intuitiva de conjunto, como colección de ele-
mentos, llevaba a contradicciones, pues se podı́an formar conjuntos como el
llamado Conjunto de Russell.
Recordemos que el Conjunto de Russell se formaba al aplicar directa-
mente una propiedad determinada. El siguiente axioma, llamado axioma de
separación o axioma de comprensión, evita este problema.
Axioma de separación. Si A es un conjunto, existe otro conjunto,

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

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

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

Z = 1, {1}, 3, {3, 6} ,
determine cuáles de las siguientes afirmaciones son verdaderas y

cuáles son falsas:
a) 1 ∈ X. e) {1} ⊆ Y . i) {{1}} ⊆ Z.
b) 1 ∈ Y . f ) {1} ∈ Y . j ) {3} ⊆ Z.
c) 1 ∈ Z. g) {1, 3, 5} ⊆ X. k ) {1, 2, 4} ⊆ Y .
d) {1} ⊆ X. h) {3, 6} ⊆ Z. l) {1, 3} ⊆ Z.
2.2.4. El conjunto vacı́o

Muchas veces, en matemáticas, se deben describir conjuntos que carecen de
elementos. Es el caso que se presenta cuando buscamos los números natu-
rales mayores que 5 y menores que 3. O cuando le pedimos a alguien que
sustenta las bondades del fútbol colombiano, con su toque toque y todo, con
los años en los cuales el onceno colombiano ha quedado campeón mundial
de fútbol, y en matemáticas, podemos solicitar un listado de los números
naturales que son pares e impares a la vez. En estos casos nos encontramos
con conjuntos que no tienen elementos. Además de los anteriores existen
muchas más situaciones, por ejemplo:
· El conjunto de los triángulos cuadrados.
· El conjunto de los números naturales cuyo cuadrado es menor que cero.
· El conjunto de los mamı́feros 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 vacı́o. Existe un conjunto que no tiene elemen-

tos.
BObservación.
El conjunto vacı́o se representará por el sı́mbolo ∅ o también por {}.
Ejemplo.
El conjunto {x ∈ N : x + 20 = 5} = ∅, puesto que no existe ningún número

natural que al sumarlo con 20 sea igual a 5.
A continuación presentamos una importante propiedad del conjunto va-
cı́o.
Teorema. Sea A un conjunto, entonces ∅ ⊆ A.
Demostración. 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 proposición falsa y por lo tanto la
implicación anterior es siempre verdadera. Luego la condición se cumple de
manera inmediata.
BObservación.
1. Es necesario notar que la demostración anterior es correcta por las
caracterı́sticas de la lógica proposicional que estudiamos en el primer
capı́tulo. En este sentido la exigencia para que ∅ ⊆ A es que todo
elemento de vacı́o sea un elemento de A, es decir que la proposición:
(x ∈ ∅ −→ x ∈ A) sea verdadera. Pero dado que el antecedente es
falso, entonces la proposición anotada es verdadera y, por lo tanto,
se cumple que ∅ ⊆ A, para cualquier conjunto A.
2. Obsérvese que los conjuntos ∅ y {∅} son diferentes, es decir, que

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

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

Aunque hemos presentado algunos ejemplos de conjuntos, en realidad sólo
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 extensión es el conjunto {∅}.
BObservación.
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 sección definiremos operaciones entre conjuntos, las cuales nos per-
mitirán obtener nuevos conjuntos a partir de los ya dados. Las tres opera-
ciones más comunes son la unión, la intersección y la diferencia, que estudi-
aremos a continuación.
2.4.1. La unión
Definición. La unión de dos conjuntos A y B, denotada por A ∪ B, se

define como el conjunto cuyos elementos pertenecen a A o a B.
Simbólicamente,
A ∪ B = {x : x ∈ A ∨ x ∈ B},
lo cual equivale a expresar que:
x ∈ A ∪ B si y sólo si x ∈ A ∨ x ∈ B.
BObservación.
Una cuestión que generalmente se ignora es que ninguno de los axioma
anteriores garantiza que la unión de dos conjunto produzca automática-
mente otro conjunto. Para ello debemos incorporar un nuevo axioma.
Axioma de la Unión. 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 unión entre conjuntos cumple las siguientes propiedades, las cuales

podemos demostrar fácilmente a partir de la definición.
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 lógica de p ∨ q y q ∨ p. Debemos
demostrar que x ∈ A ∪ B si y sólo si x ∈ B ∪ A.
BObservación.
El enunciado anterior se cumple puesto que
x ∈ A ∨ x ∈ B ←→ x ∈ B ∨ x ∈ A.
es una tautologı́a
2.4.2. La intersección
Definición. Definimos la intersección de dos conjuntos A y B, denotada

por A ∩ B, como el conjunto formado por los elementos comunes de A
y B.
Simbólicamente:
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, A∩B = {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 número primo};

entonces P ∩ R = {2}.
A partir de la definición de intersección entre conjuntos podemos de-

mostrar las siguientes propiedades:
1. Idempotencia: A ∩ A = A.
2. Conmutatividad : A ∩ B = B ∩ A.
3. Asociatividad : (A ∩ B) ∩ C = A ∩ (B ∩ C).
4. Identidad : A ∩ ∅ = ∅.
5. Otras propiedades:
a) (A ∩ B) ⊆ A.
b) Si A ⊆ B entonces A ∩ B = A.
2.4.3. La diferencia
Definición. 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 sólo 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}.

Análogamente, 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 definición de diferencia entre conjuntos se pueden demostrar las

siguientes propiedades:
1. A − A = ∅.
2. A − ∅ = A.
3. ∅ − A = ∅.
4. A − (A − B) = A ∩ B.
5. (A − B) − C = A − (B ∪ C).
6. (A − B) − C = A − (B ∪ C).
Propiedades distributivas:
1. A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C).
2. A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C).
3. A − (B ∪ C) = (A − B) ∩ (A − C).
4. A − (B ∩ C) = (A − B) ∪ (A − C).
2.4.4. El complemento de un conjunto
BObservación. A partir de la paradoja de Russell demostramos que

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

tos.
Para verificar esto supongamos que el conjunto de todos los conjuntos es
un conjunto U. Sea el predicado:
P (A) : A no pertenece a A;
simbólicamente:
P (A) : A ∈
/A
Por el principio de separación podemos formar el conjunto:
B = {A : A ∈ U ∧ P (A)} = {A : A ∈ U ∧ A ∈
/ A},
Pero vimos anteriormente que esto conduce a una contradicción. Por lo

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

complemento de A en X como el conjunto X − A y lo denotamos por
A , es decir,
A = X − A = {x ∈ X : x ∈
/ A}.
Ejemplos.
1. Sean X = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, A = {0, 2, 3, 5, 7} y
B = {1, 2, 3, 5, 8},
entonces A = {1, 4, 6, 8, 9, 10} y B = {0, 4, 6, 7, 9, 10}.
2. Sea X = N, el conjunto de los números naturales. Si
C = {x ∈ N : x es par}
entonces C = {x ∈ N : x es impar}.
A partir de la definición de complemento de un conjunto podemos de-

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

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

par ordenado (x, y), entendiéndose que (x, y) = (t, s) si y sólo 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ı́.
Definición. 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.
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 sólo si A = B.
g) A − B = A si y sólo si A ∩ B = ∅.
h) A − B = B si y sólo si A = B = ∅.
2. Sean A = {1, 5, 7}, B = {1, 3, 4, 8} y C = {5, 6, 8, 9}. Encuentre cada

uno de los siguientes conjuntos:
a) A ∪ C. e) A × B.
b) A ∩ C. f ) B × A.
c) A ∪ (B ∩ C). g) A × (B ∪ C).
d) B − A. h) (A × B) ∪ (A × C).
3. Sean:
A = {x : x es un número natural par},

B = {x : x es un número natural impar},
C = {x : x es un número natural primo}.
Encuentre cada uno de los siguientes conjuntos:
a) A ∪ C. d) B − A. g) A × (B ∪ C).
b) A ∩ C. e) A × B.
c) A ∪ (B ∩ C). f ) B × A. h) (A × B) ∪ (A × C).
2.4.6. El conjunto de partes

Consideremos el conjunto A={a,b,c}. Los subconjuntos de A son:
∅, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}.
¿Si consideramos la colección 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. Más aún afir-

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

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

B ∈ P(A).
Ejemplo.
Consideremos el conjunto A = {1, 2, 3, 4}. Los subconjuntos de A son:
∅, {1}, {2}, {3}, {4}{1, 2}, {1, 3}, {1, 4}, {2, 3},
{2, 4}, {3, 4}, {1, 2, 3}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4}.
Por lo tanto,
P(A) = { ∅, {1}, {2}, {3}, {4}{1, 2}, {1, 3}, {1, 4}, {2, 3}, {2, 4},
{3, 4}, {1, 2, 3}, {1, 2, 4}, {2, 3, 4}, {1, 2, 3, 4} }
2.5. Conjuntos coordinables, relaciones
Felix Tux Ninino Aldebaran Micifuz Chagui
Silvestre Lino Bola de nieve Panzón
En la figura anterior aparecen representados dos conjuntos: uno es el de

los pingüinos y el otro es el de los gatos. Observemos que cada pingüino
está acompañado de un gato; es decir, a cada pingüino le corresponde un
gato o viceversa, a cada gato le corresponde un pingüino. Se dice en este caso
que existe una correspondencia biunı́voca entre el conjunto de los pingüinos
y el conjunto de los gatos, o que los dos conjuntos son coordinables.
Felix Tux Ninino Aldebaran Micifuz Chagui
Lino Panzón
En esta figura observamos igualmente la presencia de un conjunto de

pingüinos y de un conjunto de gatos; sin embargo hay pingüinos solitarios. A
cada gato le corresponde un pingüino, pero a cada pingüino no le corresponde
un gato. En otras palabras, hay pingüinos que no tienen gato. En este caso
diremos que no existe una correspondencia biunı́voca entre el conjunto de
los pingüinos y el conjunto de los gatos, o que los dos conjuntos no son
coordinables.
En el primer caso, tenemos un conjunto de pingüinos:
P = {Tux, Aldebaran, Chagui, Lino, Panzón}

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

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

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

a cada elemento del conjunto A le corresponde uno y sólo un elemento
del conjunto B, y a cada elemento del conjunto B le corresponde uno y
sólo un elemento del conjunto B.
Actividad 2.7.
Escriba una argumentación convincente para demostrar que los sigu-
ientes conjuntos son coordinables:
a) Los números naturales pares y los números naturales.

b) Los números naturales pares y los números naturales impares.
2.6. Autoevaluación
Para cada pregunta señale la respuesta correcta:
1. Un conjunto es:
a) Una colección de elementos.

b) Una colección de objetos.
c) Un concepto indefinido.
d ) Una pluralidad de unidades.
2. Del conjunto vacı́o 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 fútbol, 60 juegan Baloncesto

y 30 juegan fútbol y Baloncesto. Se puede afirmar que:
a) 30 juegan sólo fútbol.

b) 20 juegan sólo baloncesto.
c) 20 no juegan ni fútbol ni baloncesto.
d ) 80 juegan fútbol o baloncesto.

e) No puede darse esto porque deberı́a 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 números naturales
a) El conjunto de los números pares.
b) El conjunto de los números impares.
c) El conjunto de todas las estrellas.
d ) El conjunto de todos los enteros.
e) Todos los anteriores.
2.7. Rompecocos 77
2.7.
Rompe coco S
1. Considere el conjunto M de los números impares, M = {1, 3, 5, 7, ...}
y de los naturales N = {0, 1, 2, 3, 4, 5, ...}.
¿Por qué podemos decir que hay tantos números en M como en N?
2. Sea el conjunto A = {x : xes múltiplos de5}. Explique por qué este

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

menos elementos que el conjunto de los números naturales?
4. Sea el conjunto de los números enteros,
Z = {..., −3, −2, −1, 0, 1, 2, 3, ...}.
Observe que este conjunto contiene los números naturales N.

Muestre que Z y N tienen igual número de elementos.
5. Un número infinito de matemáticos que celebraban un congreso muy

especial, ocuparon todos los cuartos del Hotel Hilbert, que obviamente
tenı́a tantos cuartos como números naturales. En cada uno de los cuar-
to sólo podı́a hospedarse una persona. El problema de hospedaje se
presentó cuando llegó un periodista, el cual querı́a hospedarse en el
hotel de Hilbert. Aparentemente esto era imposible. Sin embargo, de-
spués de unos instantes, uno de los matemáticos dio con una clave
salvadora.
¿Cuál fue la solución dada por el prestigioso hombre de ciencia?
6. ¿Cómo se podrı́a resolver el problema anterior si aparecieran veinte

periodistas?
7. ¿Tendrı́a el problema solución si aparecen tantos periodistas como

números naturales?
8. Al tener tanto éxito en su negocio, el dueño del Hotel Hilbert, deci-

dió dar una copa de vino a todos los huéspedes. Al ir a sentarse en la
mesa (de infinitos puestos), algunos de los matemáticos encontraron
la forma de acomodarse de tal suerte que no beberı́an una sino cuatro
copas del espumosos vino cada uno. ¿Cuál deberı́a ser esa manera de
ubicarse para hacer esto posible?
2.8.
Desafı́oS
1. ¿Puede haber una manera de ubicarse en la mesa de tal suerte que cada
uno de los matemáticos pueda tomar un número infinito de copas?
2. ¿Será posible construir el Hotel Hilbert a una altura finita?

Capı́tulo 3
Sistemas numéricos
Objetivos
Con el desarrollo de este capı́tulo se pretende que los lectores puedan apropi-
arse del concepto de sistema numérico; clasifiquen los números reales como
racionales e irracionales y que reconozcan el sistema de los números comple-
jos. Se busca que los lectores desarrollen las competencias necesarias que le
permitan:
Establecer las bases conceptuales de la actividad de contar a través del

estudio de algunos sistemas numéricos.
Estudiar algunas propiedades y principios de los sistemas de números

naturales, números enteros, números racionales, números irracionales
y números complejos.
Utilizar la representación geométrica para establecer la noción intuitiva

de orden en los diversos sistemas numéricos.
Estudiar algunas propiedades estructurales y operatorias de los números

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

su aparición. 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 prehistóricos el hombre no manejaba la noción abstracta de
número. Esto no significa la ausencia de una noción de contar. Por ejemplo,
en los tiempos remotos, un pastor contaba sus ovejas colocándolas en corre-
spondencia con piedrecillas que conservaba en su mochila. No es casual que
la palabra cálculo, en latı́n, signifique piedra. Además, del latı́n calculi se
deriva calcular, que etimológicamente traduce contar por medio de piedras.
Diversos investigadores comparten la opinión que un hecho determinante
en el establecimiento del proceso de contar fue el haber logrado establecer
relaciones de correspondencia biunı́voca entre grupos de objetos. Esto per-
mitió que el hombre pudiera percibir no sólo diferencias cualitativas sino
también diferencias cuantitativas en una propiedad filogenética que algunos
denominan sentido de la cantidad. A través de este atributo, el hombre pudo
establecer diferencias entre uno y muchos objetos.
Sin embargo, solo fue luego de muchos siglos que se logró establecer
((equivalencias)) entre diferentes conjuntos de objetos, que permitieron des-
cubrir propiedades cuantitativas comunes en agrupaciones como:
3.2. Los números naturales 81

y que nosotros identificamos rápida y fácilmente con el número dos, sim-
bolizado por 2.
Dadas dos agrupaciones, no basta con la sola percepción visual para
determinar en cual de las dos hay mayor número de elementos; tenemos
que realizar una operación. Por ejemplo, si queremos saber si hay más sillas
que alumnos, basta hacer sentar a los alumnos de tal forma que si quedan
alumnos parados habrá más alumnos que sillas. Pero hay casos en los cuales,
es imposible efectuar operaciones concretas para cuantificar agrupaciones; se
hace necesario un aparato teórico que permita efectuar de manera abstracta
la operación de comparación. Para ello hemos construido sistemas abstractos
que nos permiten hacerlo; se trata de los sistemas de numeración.
El primero de tales sistemas corresponde a nuestros números naturales.
Desde la antigüedad griega sabemos que éstos se muestran limitados para
resolver algunos problemas que nos impone la experiencia. Se hace perento-
rio, entonces, extender progresivamente el concepto de número que incluya
no sólo el cero sino también cantidades negativas, fraccionarias y también las
llamadas magnitudes inconmensurables. El objetivo principal de este capı́tu-
lo es presentar formalmente los sistemas numéricos clásicos: naturales, en-
teros, racionales e irracionales, que en conjunto conforman el sistema de los
números reales y finalmente los números complejos.
3.2. Los números naturales
3.2.1. La definición de los números naturales

Los números naturales constituyen el concepto matemático primario. Ellos
conforman la base sobre la que se levanta el edificio matemático. En este
caso haremos una presentación tı́pica del sistema de los números naturales
con base en la teorı́a de conjuntos presentada en el capı́tulo anterior.
Tomemos los siguientes conjuntos:
A = {a, b, c, d, e}.
B = {α, β, γ, δ}.
C = {v, w, x, y, z}.
G = {Felix, Ninino, Micifuz, Silvestre, Bola de nieve}.
P = {Tux, Aldebaran, Chagui, Lino, Panzón}.
N = {Heliana, Fernanda, Claudia}.
Una rápida inspección 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 sı́mbolo 5 o numeral 5.
Definición. El número natural de un conjunto es lo que tienen de común

todos los conjuntos coordinables con él; representa a los conjuntos de una
misma clase.
Cada sı́mbolo que representa un número natural corresponde al número
de elementos del conjunto en consideración.
Ası́, el sı́mbolo 0 representa la cantidad de elementos del conjunto ∅.

Como vimos en el capı́tulo anterior, el conjunto ∅ es un conjunto sin ele-
mentos; diferente al conjunto {∅}, que es un conjunto cuyo único elemento
es ∅. Además 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 capı́tulo anterior mostramos que ∅ = {∅}; ello significa que el
conjunto {∅, {∅}} no es coordinable con el conjunto {∅}. O dicho de otra
manera, los conjuntos {∅, {∅}} y {∅} no pertenecen a la misma clase. El
numeral 2 representa la cantidad de elementos de cada uno de los conjun-
tos coordinables con {∅, {∅}}. Siguiendo este proceso constructivo tenemos
que 3 representa la cantidad de elementos de cada uno de los conjuntos co-
ordinables con {∅, {∅}, {∅, {∅}} }, y ası́ sucesivamente, constituyendo la
sucesión inagotable 0, 1, 2, 3, ....
Observemos que los números naturales se generan a partir del cero me-
diante la adición de unidades; de esta forma dado un número natural n, al
agregarle una unidad obtenemos un nuevo número natural n+1, denominado
el sucesor de n.
Actividad 3.1.
1. ¿Puede imaginar un número natural que sea el último de los números
naturales? ¿Por qué?
2. A dos turcos les dieron oportunidad de que pidieran todo el dinero

que quisieran con la condición de que recibirı́a el dinero quien pidiera
la cantidad más alta. El primero pidió una cantidad muy alta que
inmediatamente fue superada por el segundo; entonces el primero
volvió a pedir otra cantidad, todavı́a más grande que la que habı́a
pedido el segundo; pero éste, que se querı́a quedar con todo el botı́n,
volvió a subir la cantidad, con lo que el segundo volvió a pedir más, y
ası́ continuaron. ¿Podrı́a detenerse la ambición de estas dos personas,
o podrı́an seguir pidiendo más y más indefinidamente?
3.2.2. Operaciones usuales entre los números natu-

rales
La suma de números 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
método 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 números naturales a partir del uno: 1, 2, 3, 4, etc. Para visualizar este
proceso, recurrimos a la representación geométrica. Tomando como base un
segmento, al que llamaremos segmento unidad, podemos generar la secuencia
de los números naturales a partir del uno:
...
1 2 3 4
El anterior proceso se puede formalizar (partiendo del cero) de manera

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

de extensión (1 + 1) + 1 = 1 + 1 + 1, pues en un conjunto no importa el
orden de aparición de los elementos: {a, b, c} = {c, b, a}. De esta manera, no
interesa el lado en el cual sumemos la unidad en la generación de nuevos
números; ası́:
3 = (1 + 1) + 1 = 2 + 1,
= 1 + 1 + 1,
= 1 + (1 + 1) = 1 + 2.
Para sumar dos números naturales, por ejemplo 3 + 2, el proceso consiste

en adicionar el segmento que representa al número 3 con el segmento que
representa al número 2, luego se identifica el segmento suma en la secuencia
antes establecida:
+ =
2 3 5
Para sumar dos números 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.
Definición. Sean n y m números naturales, definimos:

1. El modulo de la suma como el número 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 definición del cero y de lo establecido antes se tendrá que

los números naturales cumplen las siguientes propiedades básicas:
Teorema.
1. Propiedad clausurativa. Si n y m son números naturales entonces
n + m también 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 definición de suma de números naturales, intente dar
una justificación de las propiedades antes descritas.
El producto de números naturales

Supongamos que tenemos el siguiente arreglo de lápices:
Podemos determinar la cantidad de lápices, efectuando la suma:

+ 5 + 5 = 20.
5 + 5
4 veces
La suma 5 + 5 + 5 + 5 tiene todos los sumandos iguales. El caso en el
cual todos los sumandos son iguales permite incorporar una nueva operación
entre números naturales denominada la multiplicación o el producto.
Definición. Dados dos números naturales m y n, el producto o la mul-

tiplicación 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, también se puede determinar la cantidad de lápices medi-

ante la suma 4 + 4 + 4 + 4 + 4; suma que, de acuerdo a la definición anterior
es 4 × 5.
BObservación. Utilizaremos indistintamente los sı́mbolos ((×)) o

((·)) para indicar la multiplicación, pero en general, cuando intervienen
números, letras o paréntesis, y no hay lugar a confusiones, se acostumbra
omitir cualquier sı́mbolo. 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 definición del cero, el producto entre

números naturales cumple las siguientes propiedades básicas:
Teorema. Sean tres números 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).

Se pueden combinar las operaciones de suma y producto. Si tomamos los

números naturales m, n y s, se puede efectuar la suma n+m, y ese resultado,
a su vez, multiplicarlo por s, (m + n)s; operación 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

números naturales respecto a la suma establece que dados tres números
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 números 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 número,
la igualdad se conserva.
3.2.3. Orden en los números naturales

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

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

ciones como desigualdades. Ası́, usando estas desigualdades de secuencia de
N, quedarı́a:
0 < 1 < 2 < ... < m < ... < n < ...
Para dos números naturales m y n, la expresión m ≤ n, significa que
m < n ó m = n. Si m ≤ n, entonces también 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 situación:
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 números naturales.
Teorema. Sean los números naturales m y n. Si m < n, entonces existe

un número natural s tal que m + s = n.
Ejemplo.
Como 2 < 7, entonces existe un número n = 5 ,tal que 2 + 5 = 7.

Actividad 3.4.
Intente establecer un argumento convincente para probar la propiedad
de la monotonı́a:
Dados los números 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 mul-

tiplicamos un mismo número la desigualdad se conserva.
3.2.4. Números primos

Los números primos constituyen un subconjunto de los números naturales.
Para introducir el concepto de número primo, es necesario primero entender
la noción de divisibilidad.
Definición. Sean p y q números naturales, p es divisible por q si existe

un número 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. También son
3
divisores del 6, el 1, el 2 y el mismo 6.
b) 5 es divisible por 1 y 5.
Definición. Un número natural mayor que 1 se denomina primo si tiene

exactamente dos divisores. Un número natural, mayor que 1, que no es
primo se denomina compuesto.
Ejemplos.
1. Son ejemplos de números primos: 2, 3, 5, 7, 11 y 13.
2. Son números 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 aritmética.
Teorema fundamental de la aritmética. Todo número 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 descomposición

prima de 12.
b) 15 = 3 · 5.
Este teorema y la siguiente definición constituyen la base de la simplifi-

cación.
Definición. Dos números naturales a y b se dicen primos relativos si el

único divisor común de ellos es 1. Se suele escribir (a, b) = 1.
Ejemplos.
1. Los números 8 y 5 son primos relativos, (8, 5) = 1; el único divisor

común es 1.
2. Los números 6 y 9 no son primos relativos, pues 3 es divisor tanto de

6, como de 9.
3.2.5. Algoritmo de la división

Dado dos números naturales m y n, con m < n, Se pueden presentar dos
casos:
1. n es divisible por m. Eso significa que existe un número natural t, tal

que m = nt.
2. n no es divisible por m. Si comenzamos a multiplicar a m por los

números 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 números naturales m y n, con m < n,

existen dos números naturales t y r, tales que n = mt + r, donde 0 ≤ r < m.
Este resultado es lo que se conoce como algoritmo de la división.
Ejemplo.
Como 4 < 9, tenemos que para los números 2 y 1 se cumple,
9 = 4 · 2 + 1.
3.2.6. Sistemas de numeración

De acuerdo a lo expresado antes, es imposible determinar cuándo, cómo y
donde se generó el proceso de contar en los seres humanos. Su desarrollo
se fue dando en diversas culturas, de acuerdo a necesidades, intereses y
condiciones particulares.
Sabemos que los pueblos antiguos no manejaban ((signos)) para la repre-
sentación de las cantidades. En aquellos tiempos remotos, la cuantificación
de las mercancı́as se hacı́a a través de objetos concretos. No era extraño,
entonces, ver a un mercader, el cual querı́a vender un rebaño, portar una
bolsa con tantas piedras como vacas querı́a negociar. También se utilizaban
los dedos, guijarros, marcas en bastones, nudos en una cuerda y algunas
otras formas para ir pasando de un número al siguiente. A medida que la

cantidad crece se hace necesario un sistema de representación más prácti-
co. No es difı́cil argumentar respecto a las dificultades implı́citas en estos
métodos cuando se trata de cuantificar colecciones muy grandes. A medida
que las relaciones comerciales se fueron tornando complejas, el hombre em-
pezó a sustituir las piedritas por signos que podı́an ser gravados en arcilla o
pergamino en la antigüedad, y en papel o en la pantalla del computador en
épocas recientes.
Durante más 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 dı́gitos; podemos utilizar sistemas de dos, tres, . . . ,
diez o más dı́gitos. El sistema de numeración posicional decimal se dice que
es de base diez, pues permite escribir y manipular números muy grandes o
muy pequeños a partir de diez caracteres: 0, 1, 2, 3, 4, 5, 6, 7, 8 y 9; además
facilita los procesos operativos, dando lugar a algoritmos sencillos y de fácil
adopción.
El procedimiento general para representar cualquier número en nuestro
sistema de numeración decimal sigue dos pasos fundamentales.
El primer paso es el proceso de agrupación para formar unidades de
diferente orden: se agrupan los elementos de acuerdo a niveles de diez en diez.
Cada agrupación de diez unidades se denomina decena o unidad de primer
orden. Cada agrupación de diez decenas se denomina centena o unidad de
segundo orden. Se realizan agrupaciones de diez centenas para formar las
unidades de mil o de tercer orden, y ası́ sucesivamente.
Centenas. Decenas. Unidades.
◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦
◦◦ ◦ ◦ ◦◦ ◦ ◦ ◦◦ ◦ ◦ ◦◦ ◦ ◦
◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦
◦◦ ◦ ◦ ◦◦ ◦ ◦ ◦◦ ◦ ◦ ◦◦ ◦ ◦
◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦
◦◦ ◦ ◦ ◦◦ ◦ ◦ ◦◦ ◦ ◦ ◦◦ ◦ ◦
◦◦ ◦◦ ◦◦ ◦◦ ◦◦ ◦◦
◦◦ ◦ ◦ ◦◦ ◦ ◦
1 4 6
El segundo es el principio del valor relativo: el valor de cada una de las

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 número:
4747,
partiendo de derecha a izquierda el primer 7 representa siete unidades, mien-

tras el segundo 7 representa 700 unidades. El primer cuatro representa 40
unidades y el segundo cuatro representa 4000 unidades.
Se suele expresar cada número en forma de expansión polinomial de
acuerdo al valor relativo de cada dı́gito, para ejemplo el número 5647 se
tendrá:
5647 = 7 × 100 + 4 × 101 + 6 × 102 + 5 × 103 .
A pesar de que el sistema de representación decimal es el más generaliza-

do, no es el único y en ocasiones resulta ser el menos práctico. Es ası́ como
en informática es preferible usar el sistema binario, en el cual sólo se utilizan
los dos signos 0 y 1. En astronomı́a, debido a la manera como se mueven los
planetas, se emplea el sistema sexagesimal, es decir, de base 60.
3.2.7. Sistemas de numeración antiguos

En principio, el camino seguido por diversas civilizaciones fue el de tratar
de representar los números de la manera más intuitiva posible a través de
caracteres que se agrupaban para expresar el número deseado, el cual se
denomina sistema aditivo, era una afinación del método de las piedritas
guardadas en la bolsa.
Sistema egipcio
En la civilización egipcia se empleaban los siguientes signos:

Para representar números grandes se combinaban estos signos como en

el caso siguiente:
Sistema griego
Los griegos antiguos utilizaban las letras del alfabeto según las siguientes
valoraciones:
1 α 10 ι 100 ρ
2 β 20 κ 200 σ
3 γ 30 λ 300 τ
4 δ 40 μ 400 υ
5 50 ν 500 ϕ
6 60 ξ 600 χ
7 ζ 70 o 700 ψ
8 η 80 π 800 ω
9 θ 90 κ 900 Sampi.
Sistema babilónico
Los babilonios utilizaban un sistema aditivo con los primeros 60 carac-
teres y luego posicional, de acuerdo a los siguientes caracteres:
Sistema romano
Un sistema usado en casos especiales es el romano. La numeración ro-
mana no utiliza el cero ni el principio de valor relativo; los caracteres usados
son los siguientes:
1 i 11 xi 100 c
2 ii 12 xii 200 cc
3 iii 20 xx 300 ccc
4 iv 30 xxx 400 cd
5 v 40 xl 500 d
6 vi 50 l 600 dc
7 vii 60 lx 700 dcc
8 viii 70 lxx 800 dccc
9 ix 80 lxxx 900 cm
10 x 90 xc 1000 m
Los principios básicos de la numeración romana son los siguientes:
1. No se pueden escribir más de tres sı́mbolos iguales seguidos.
2. Un sı́mbolo de rango inferior escrito antes resta, escrito después suma.
3. Una raya sobre un número lo multiplica por 10.
4. Un marco que envuelve el número lo multiplica por 100 000.
3.2.8. El sistema binario o sistema de numeración en

base 2
El sistema binario comenzó a tomar vigencia con la computación; consti-
tuye el lenguaje de los computadores y las calculadoras. Es un sistema de
numeración que utiliza los dı́gitos 0 y 1 para conformar los grupos de cada
posición.
dado el número 10011012 en base 2, se puede escribir en expansión poli-
nomial, siguiendo el método 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 número 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 número 20, que está en base decimal,
a base dos, se tendrá que:
20 = 24 + 4
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 número 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
división tenemos que 20 = 10 × 2 + 0; dado que el resto es cero, el número
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 continuación.
20 2
Orden cero, 0 10 2
Primer orden, 0 5 2
Segundo orden, 1 2 2
Tercer orden, 0
Cuarto orden, 1.
Todo numeral escrito en base 2 se puede convertir a base 10 realizando la
expansión exponencial de acuerdo a los diversos niveles. Por ejemplo, para
pasar el número 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 números en base 2 se siguen los mismos delineamientos de
base diez. Por ejemplo para sumar 11012 con 1012 se seguirán los siguientes
pasos:
1
1101 1101 1101
+ 101 + 101 + 101
2 0 10
1
1101 1101 1101
+ 101 + 101 + 101
210 2010 10010
Actividad 3.5.
1. ¿Cuáles son los convenios que permiten la escritura de cualquier
número, por grande que sea, con un número limitado de sı́mbolos
en el sistema decimal?
2. Escriba los siguientes números romanos en nuestro sistema decimal:

mdc, mdccclii, dcx, dccxxviii, mmmcclvi.
3. ¿Cuál es el menor número de cinco cifras, distintas las cinco, que

empieza por 2?
4. ¿Si se invierten las cifras de algún número, sufrirá cambio? ¿En

qué casos no cambiará el valor de un número al invertir sus cifras?
5. ¿Cuántos sı́mbolos son necesarios para escribir un número en base

siete?
6. ¿Cuántos números son necesarios para escribir un número en base

dos?
7. Escriba los siguientes números dados en base 10, en base 2: 2, 5, 8,

17, 20, 45.
8. Escriba los siguientes números, 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 números en escritura egipcia, babilonia y ro-

mana: 345, 3 000, 2 003, 1 230 476.
3.3. Los números enteros 99
3.3. Los números enteros

3.3.1. Definición de los números enteros
El teorema según el cual para dos números naturales m y n, con m < n,
existe un número natural s, tal que m + s = n, permite incorporar la resta
como operación entre naturales. El número s se denomina la diferencia entre
n y m, y se representa como n − m. Tenemos entonces que s = n − m si y
sólo si n = m + s. Al número 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 generalización de la resta, a dos cualesquiera números
naturales, obliga a extender el sistema numérico de los números naturales a
los números enteros.
Vale la pena resaltar que, históricamente, esta extensión no fue inmedia-
ta; la razón es que da origen a los números negativos, y desde la antigüedad
clásica, el número estaba ligado al proceso de contar donde lo negativo
no tenı́a cabida. Incluso hasta mediados del siglo pasado muchos famosos
matemáticos se negaban a reconocerles la ciudadanı́a numérica. Sin em-
bargo, algunos aspectos como los que aparecen a continuación vencieron la
resistencia a considerar los números negativos:
Se podı́an extender las operaciones de suma y producto sin ningún

sacrificio teórico.
La existencia de fenómenos fı́sicos, 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 números negativos.
La matematización de ciertos fenómenos como la altitud y la medida

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

exigı́an un método de consignar las deudas, incluyendo la acumulación
progresiva de las mismas.
En estos y en otros casos se precisaba de la ampliación de las operaciones

de suma y producto consideradas hasta ahora en el sistema de los números
naturles.
Surge la necesidad de representar de alguna forma la diferencia n−m para

dos números naturales cualesquiera. Recordemos que lo único que tenemos
para representarla es el conjunto de los naturales mismos.
Definición. Sean los números 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).
Según la definición anterior, como 7 − 3 = 4, entonces 3 − 7 = −4; la

expresión −4 será el opuesto de 4.
Como n + 0 = n, es decir, n − n = 0, se tiene que:
Definición. Para cada número natural n, se define el opuesto de n como

−n.
La expresión n − n = 0, se puede representar como n + (−n) = 0, de lo

cual se sigue el siguiente teorema.
Teorema. La suma de cualquier número 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 número natural 5 el opuesto es −5 y se cumple que

5 + (−5) = 0.
BObservación. Dado que 0+0 = 0, entonces −0 = 0, lo cual significa

que el cero es igual a su opuesto. El número 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 número natural

genera a su vez un nuevo número. Esto nos permite ampliar nuestro universo
numérico, de los números naturales a los números enteros.
Definición. Diremos que el conjunto de los números enteros, represen-

tado por Z está conformado por la unión del conjunto de los números
naturales y el conjunto de sus opuestos.
De esta forma, el conjunto de los números enteros quedará conformado

de la siguiente manera:
Z = {. . . , −3, −2, −1, 0, 1, 2, 3, . . .}.
Además, se acostumbra las simbolizaciones:
Z+ = {1, 2, 3, . . .} y Z− = {−1, −2, −3, . . .}.
3.3.2. Las operaciones usuales con los números enteros

La suma y el producto entre los elementos de Z se definen con base a las
operaciones entre naturales.
Definición. Sean n y m números naturales, definamos n + (−m) y

(−n) + (−m) de la siguiente manera:
1. El resultado de la operación 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 operación (−n) + (−m) = −n − m = −m − n se

define como −(n + m).
Ejemplos.
Realicemos los siguientes cálculos:
a) 7 + (−4), como 4 ≤ 7, 7 + (−4) = 3, puesto que 3 + 4 = 7.

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

producto entre números naturales, sólo debemos tener cuidado con el pro-
ducto entre números de diferente signo y con el producto entre números
negativos. Si partimos de las propiedades básicas de los números naturales,
tenemos que el producto entre números enteros debe cumplir las siguientes
propiedades:
Teorema. Sea a número entero, entonces: 0 · a = 0.
Demostración:
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 números naturales, entonces:

1. (−1)a = −a.
2. (−a)(b) = −(ab) = −ab.
3. (−a)(−b) = ab.
Demostremos la propiedad 1. Las demás se dejan como ejercicio.

1. (−1) · a = −a.
Demostración:
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 módulo del producto.
(−1)a = −a, definición del opuesto.
Ejemplos.
Realicemos los siguientes cálculos:
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 números enteros

cumple las propiedades básicas de los números naturales, efectué las
siguientes operaciones:
a) −3 + 7 + 5 − 8. e) (−6)(−8).
b) −(−4) + (−8). f ) (−1 + 5 + 9 − 10)(−4).

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

d) −(−5) + 9 (−4). h) 3(−8) + (−5) −3 + (−8) .
3.3.3. Orden y representación de los números enteros

Z
Como lo anotamos antes, los números enteros Z, constituyen una extensión
de los números 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 además que incluya los elementos de Z− . Para ello se
recurre a la representación tı́pica que ubica el cero como punto referencial;
a su derecha se colocan, de manera progresiva, los elementos de Z+ , y a
la izquierda, los elementos de Z− . Ésta es una denominación nominal que
permite una visualización integral de Z− y Z+ :
| | | | | | |
...− 3 −2 −1 0 1 2 3...
De esta forma Z+ = {1, 2, 3, . . .}, Z− = {. . . , −3, −2, −1}, y dado un

número entero x ∈ Z, se presenta uno y sólo uno de los tres casos siguientes:
x ∈ Z− , x = 0, ó x ∈ Z+ .
Además, 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 través de la resta.
Definición. Dados dos números enteros a y b pertenecientes a Z, deci-

mos que a < b si b − a ∈ Z+ . Cuando a < b también escribimos b > a.
Además 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 números enteros. Sean x, y, s, y t
números 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.
Además, 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 números racionales 105
3.4. Los números racionales

3.4.1. Definición de los números racionales
Uno de los primeros problemas básicos planteados históricamente en la
matematización de fenómenos fı́sicos, fue la medida de magnitudes: lon-
gitud, área y volumen ente otras. El proceso general de medir se basa en la
comparación. 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 cuestión es que no siempre la
unidad ((cabe)) un número entero de veces. Hay ocasiones en que es necesario
fraccionar la unidad elegida, de tal suerte que el segmento a medir es igual
a número entero de veces más una fracción de la unidad. Visualicemos esto
a través de un ejemplo. Se nos pide medir el segmento AB tomando como
unidad el segmento CD:
A B
C D
1
Para ello determinamos las veces que la unidad CD cabe en AB:

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

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

unidad se ha dividido en tres partes; es decir:
1 1
EB = CD = .
3 3
Ası́,
1 7
AB = 2 + = .
3 3
Un antepasado de la representación de este proceso lo constituye la
((razón)) entre magnitudes. Justamente la idea de lo racional, cuantitati-
vamente hablando, proviene de poderse disponer en razón dos cantidades.
Hoy en dı́a, el resultado de esto se expresa por un par de números enteros
—por obvias razones diferentes de cero—, denominados el numerador y el
denominador . El denominador expresa el número de partes en las cuales
se tuvo que dividir la unidad; el numerador las partes que se tomaron. La
representación tı́pica 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 términos generales, los números constituyen una herramienta poderosa
en los procesos de medir y de contar. Sin embargo, nos hemos encontrado con
el hecho que los números enteros se muestran insuficientes para ello. Además
la aparición de ecuaciones de la forma 3x + 6 = 10, que no se satisfacen para
ningún entero, exigen una ampliación del dominio numérico. De esta forma,
si partimos del conjunto de los números naturales:
N = {0, 1, 2, 3, . . .},
y luego establecemos la extensión de los números enteros:
Z = {. . . , −3, −2, −1, 0, 1, 2, 3, . . .}.
Podemos obtener una nueva extensión, denominada el conjunto de los
números racionales, el cual denotaremos por Q. En un sentido análogo al
paso de N a Z, para la construcción formal de Q, incorporamos otros ele-
mentos a partir de los elementos de Z. En este sentido, el sistema de los
números racionales está conformado por el conjunto:

p
Q= : p, q ∈ Z y q = 0 .
q
3.4.2. Operaciones entre números racionales

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

+ p + +
Q = : p∈Z y q∈Z .
q
Si p/q ∈ Q+ le denominamos racional positivo. Observemos que el número

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

p veces.
Este hecho nos permite extender la suma a los números racionales posi-
tivos de igual denominador:
p r 1 1
+ =p +r ,
q q q q
1 1 1 1
= +···+ + +···+ ,
q q q q

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

p+r veces.
1
= (p + r) ,
q
p+r
= .
q
Resumamos este resultado de la siguiente manera:
Definición. Para sumar dos números racionales positivos, con igual de-
nominador, se suman los numeradores y se coloca el mismo denominador:
p r p+r
+ = .
q q q
Ejemplos.
4 5 4+5 9
1. + = = .
7 7 7 7
−3 8 −3 + 8 5
2. + = = .
2 2 2 2
Para generalizar la suma de números racionales de diferente denominador
tengamos presente algunas cuestiones básicas. Se puede interpretar

1
1 1 r 1
· = = , r ∈ Z+ ,
q r q rq
como representación de la acción de dividir la fracción 1/r en q partes, que
es lo mismo que dividir la unidad en rq partes. En este sentido, la expresión
r/r, r = 0, constituye una representación del número 1. Esto nos permite
obtener expresiones equivalentes al número racional p/q múltiplicando tanto
el numerador como el denominador por un mismo entero diferente de cero.
De esta forma, dados dos números racionales p/q y r/s se pueden obtener
los racionales equivalentes:
p ps r rq
= y = ,
q qs s sq
que permiten incorporar la suma y el producto de números racionales.
Teorema.
p r ps + qr p r pr
1. + = . 2. · = .
q s qs q s qs
Demostración:
p r ps qr ps + qr
1. + = + = .
q s qs qs qs

p r 1 1 1 1 1 pr
2. · = p · r = (pr) · = (pr) = .
q s q s q s qs qs
Ejemplos.
6 4 6·3+4·5 38
a) + = = .
5 3 5·3 15
−8 5 −8 · 2 + 5 · 7 29
b) + = = .
7 2 7·2 14
3 7 3·7 21
c) · = = .
4 5 4·5 20
Las dos operaciones definidas antes, cumplen con todas las propiedades
análogas señaladas para Z, más una adicional muy importante, que le da
caracterı́sticas especiales al conjunto de los números racionales; se trata de
la existencia del inverso multiplicativo.
Definición. 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 x−1 y es igual a 1/x. De este modo, para todo x ∈ Q,
x = 0, tenemos que:
1 x
xx−1 = x = = 1.
x x
Observemos algunos aspectos importantes:

1. Dado x ∈ Q, se denomina opuesto aditivo al número −x, y cuando
x = 0, se denomina inverso multiplicativo a x−1 = 1/x. Aquı́ usaremos,
preferencialmente, los términos opuesto para −x e inverso para x−1 .
Obsérvese que si p/q ∈ Q y p/q = 0 (p = 0), tenemos que
−1
p 1 q
= p = .
q p
q
2. La interpretación de p/q como la unidad que se divide en q partes

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

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

p p p p p p
+ − = − = − + = 0.
q q q q q q
De otro lado, la expresión −(p/q) también se puede designar como

(−p)/q = p/(−q). Y de igual manera como en los enteros,
p p
− = (−1) .
q q
Además, siendo congruentes con la regla de los signos, se tendrá que
−p p
= .
−q q
Actividad 3.8.
1. Calcule las operaciones indicadas:
3 4 2 4 7 5
a) + 8 − − + 3. − + + 5.
c)
5 3 4 9 5 6
5 3 4 6 1 3
b) − + . d) + − .
4 2 7 3 7 9
2. Un muchacho se dirige de un pueblo A a otro pueblo B. primero ade-
lanta 4 kilómetros, pero en seguida se encuentra con unos amigos que
van en dirección contraria y por acompañarlos un rato retrocede 3/4
de kilómetro; después adelanta 4/3 de kilómetro, pero otro encuentro
lo obliga a retroceder 6/5 de kilómetro; finalmente avanza, en dos eta-
pas más, 4/3 y 5/4 de kilómetro. ¿Cuántos kilómetros habrá avanzado
en total en la dirección de A hasta B.
3. Un reloj adelanta 2/7 de minuto cada dı́a. ¿cuántos minutos se ade-

lantará en 14 dı́as?
4. Un niño piensa gastar 2/3 de sus ahorros en juguetes, y 5/7 del dinero
destinado a juguetes lo piensa invertir en un balón. ¿Qué fracción de
sus ahorros representa el valor del balón?
5. En una fiesta quedaron 3/4 del pastel, a Fernando le regalaron 2/5 del
pastel que quedó. ¿Qué fracción 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 ¿Cómo deben
repartirse los pastores el dinero si a cada uno le debe tocar según lo
que aportó para el cazador?
3.4.3. Orden y densidad de los racionales

Simbolizamos al conjunto de los racionales positivos con Q+ . El conjunto
Q+ ⊂ Q es cerrado para la suma y producto de números 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 números enteros a los números racionales. Sin embargo, debemos de
tener un poco de cuidado pues los números 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 ; más adelante la
presentaremos conceptualmente.
Definición. Dados los dos números racionales x y t, decimos x < t o

t > x si y solo si t − x ∈ Q+ . Además, diremos que x ≤ t si x < t o
x = t.
La relación ≤ sobre Q es una relación de orden, y cumple las siguientes

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

1. Si x ≤ y, entonces para todo z ∈ Q, x + z ≤ y + z.
2. Si x ≤ y y s ≤ t, entonces x + s ≤ y + t.
3. Si x ≤ y, entonces −x ≥ −y.
Recordemos que el orden en los números naturales se fundamenta en

la producción de nuevos números a partir de unidades. Dado un número
natural se puede determinar sin ninguna ambivalencia cual es su siguiente;
de igual manera en los enteros, sólo que en éstos hay que tener en cuenta el
valor relativo, de tal suerte que si tomamos el número 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 números racionales x y y,

existe un racional t, tal que x < t < y. O más sencillamente: entre dos
racionales diferentes cualesquiera, podemos encontrar otro racional entre
ellos.
Para confirmar este enunciado, para los dos números racionales diferentes
x y y, escoja t = (1/2) (x + y).
Actividad 3.9.
3 1
1. Encuentre un número racional que esté entre − y− .
4 2
2. Encuentre un número racional que esté entre 1,99 y 1,999.
3. Encuentre un número racional que esté entre 1 y 0,9999 . . ..
3.5. Los números reales

La necesidad de incorporar nuevos números, de naturaleza diferente a los
racionales, se puede entender desde dos aspectos complementarios. En el
proceso de medir antes anotado no siempre es posible agotar el segmento a
medir mediante el proceso de fraccionar la unidad. Esto sucede, por ejem-
plo, cuando se intenta medir la diagonal de un cuadrado de lado unidad.
En este caso se dice que la diagonal es inconmensurable con el lado. Las
magnitudes inconmensurables prefiguran los números irracionales, en el sen-
tido de que son aquellas que no se pueden expresar como una ((razón)) entre
números enteros. Si llamamos x a la diagonal de un cuadrado, por el teore-
ma de Pitágoras, se tiene que x2 = 12 + 12 , o sea, x2 = 2; ecuación que no
3.5. Los números reales 113
tiene solución en el conjunto de los números racionales (como veremos más

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

cunferencia y su diámetro, que da lugar al conocido número irracional π:
C
D C
=π
D
El valor de π con más de 800 decimales.

3,14159265358979323846264338327950288419716939937510582097494
4592307816406286208998628034825342117067982148086513282306647
0938446095505822317253594081284811174502841027019385211055596
4462294895493038196442881097566593344612847564823378678316527
1201909145648566923460348610454326648213393607260249141273724
5870066063155881748815209209628292540917153643678925903600113
3053054882046652138414695194151160943305727036575959195309218
6117381932611793105118548074462379962749567351885752724891227
9381830119491298336733624406566430860213949463952247371907021
7986094370277053921717629317675238467481846766940513200056812
7145263560827785771342757789609173637178721468440901224953430
1465495853710507922796892589235420199561121290219608640344181
5981362977477130996051870721134999999837297804995105973173281
60963185950244594553469083026425223082533446850352619311881...
Durante más de veinte siglos, no se dio una caracterización completa de

los números irracionales, los cuales, generalmente, se trabajaban a través de
aproximaciones de números racionales; pero sin una base estructural sólida
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 matemáticas grie-
gas. Sin embargo, fue sólo hasta el siglo xix, con George Cantor y Richard
Dedekind, que se logró una caracterización de los números irracionales.
3.5.1. La representación geométrica de los números

reales
Históricamente, el mayor problema planteado, desde la antigüedad griega,
tiene que ver con la posibilidad de caracterizar aritméticamente la esencia
del continuo geométrico. Se parte del hecho intuitivo de que la recta es un
((conglomerado)) de puntos, ((reunidos)) de una manera especial y en una
misma dirección.
Si fijamos un punto, que representa el cero, cualquier otro punto de la
recta representa un número 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 más rica en puntos que el conjunto
de los números racionales Q. Esto significa que si representamos la totalidad
de los números racionales, la recta numérica no se ((llena)). Precisamente, el
conjunto de los números representado por los puntos de la recta numérica
que no son racionales constituye el conjunto de los números irracionales.
Realicemos una representación tı́pica para aclarar estos aspectos. Tomem-
os una recta determinada y luego de fijar en ella el punto O, correspondiente
al cero, tomemos un segmento unitario, es decir su longitud es 1, m(OU) = 1.
Los números enteros se localizan tomando copias del patrón de medida OU.
O U
| | | | | | |
...− 3 −2 −1 0 1 2 3...
Para representar el número racional p/q, p y q en Z+ , dividimos el seg-

mento unitario OU en q partes iguales y tomamos p veces una de esas partes
a partir de O hacia la derecha. Para el caso del número −p/q con p y q en
Z+ , el proceso es el mismo sólo que se localiza a la izquierda de O.
| | | | | | | |
3 −1 0 1 1 3 2
−
2 3 2
El anterior proceso no es posible cuando se pretende representar los

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

perpendicular UA cuya medida es igual a 1 y se forma el triángulo rectángulo
OAU. Por el teorema de √ pitágoras 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 recta√numérica y√represente
√ √los √
siguientes√números reales:
4 , 0,1999..., 5, 3/4, − 2, − 1, 8, 17, 3π, 3 2.
2. ¿Cuál es el proceso teórico que permite dividir un segmento de recta

en q partes iguales? (q ∈ N).
Usando los métodos de demostración que se presentaron en el primer

capı́tulo, y algunas
√ definiciones básicas de los números naturales, podemos
demostrar que 2 no se puede escribir de la forma p/q para p y q enteros,
q = 0; esto es, que no es racional.
√
Teorema. 2 es un número irracional.
√
Demostremos este enunciado por contradicción, suponiendo que 2 no
es número irracional,
√ sino racional. Ello significarı́a que existen p y q en los
enteros, tal que 2 = p/q, con el único divisor común a p y a q igual a 1, es
decir (p, q) = 1. De esta forma:
p2
1. 2 = (elevando al cuadrado cada miembro de la igualdad).
q2
2. 2q 2 = p2 (divisibilidad).
3. p2 es un número par (definición).
4. Si p2 es par, entonces p es también par (probarlo).
5. p = 2t, para algún t ∈ Z (definición de número par).
6. 2q 2 = (2t)2 = 4t2 (reemplazando en 2).
7. q 2 = 2t2 (simplificación).
8. q = 2h, para algún h ∈ Z (igual razonamiento anterior).
9. 2 es divisor común de p y q (de 5 y 8).

Entonces (p, q) = 1, en contraposición con la hipótesis inicial
√ que afirma-
ba que (p, q) = 1, lo cual es una contradicción. Por lo tanto, 2 es un número
irracional.
En general, todas las raı́ces cuadradas inexactas son ejemplos de números
irracionales. También el número e (la base de los logaritmos naturales), el
cual puede definirse a través de la expresión:
n
1
1+ .
n
Dándole a n valores cada vez mayores vemos que obtenemos un valor
determinado, mayor que 2, pero menor que 3, que aproxima el conocido
número e = 2, 718281 . . ..
Por las mismas razones antes anotadas, si un número real positivo es ir-
racional, su opuesto también es irracional. Es difı́cil demostrar formalmente
que números como π y e son irracionales, ello exige algunos elementos teóri-
cos que aún no hemos definidos.
En lo que hemos referido antes, se nota que, aunque parezcan escasos,
el conjunto de números irracionales, que representaremos por el sı́mbolo I,
también es infinito, incluso, aunque tampoco lo mostraremos aquı́, tiene
mayor número de elementos que Q.
Conjuntistamente hablando, se tiene que I ∩ Q = ∅.
Definición. La unión del conjunto de los racionales y el conjunto de

los irracionales constituye el conjunto de los números reales, el cual se
representa por R, Es decir I ∪ Q = R.
De acuerdo con la definición anterior se tiene que
N ⊂ Z ⊂ Q ⊂ R e I ⊂ R.
Actividad 3.11.
1. Use √
un método similar al empleado en ejemplo anterior y demuestre
que 3 es un número irracional.
√
2. Use el método de contradicción para demostrar que 3 + 2 es un
número irracional.
3. Demuestre que la suma de un número racional y un irracional es

siempre irracional.
4. ¿Es el producto de un racional y un irracional un número irracional?
5. ¿Es siempre la suma de irracionales un número irracional? ¿El pro-

ducto?
6. Clasifique los siguientes números en naturales, enteros, racionales o

irracionales:
√ √
a) 2 + 3. b) 0, 6666.... c) 1.
√
3
√ √ √
d) 2. g) 2− 2. j) − 8.
3 2
e) √ . h) 3π. k) .
2 0, 333
√
f ) 3,1416. i) 16. l) 0, 1010010001...
3.5.2. Representación decimal de los números reales

Como mostramos al inicio de este capı́tulo, una herramienta potente, prove-
niente de los árabes e hindúes, es la notación posicional; la cual permite
incorporar algoritmos para sumar y multiplicar cantidades de una manera
relativamente sencilla. También nos ayuda a establecer diferencias entre los
conjuntos numéricos anteriormente incorporados.
Recordemos que la notación posicional se basa en el carácter relativo de
los diez dı́gitos básicos: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.
Ejemplos.
a) 583 = 500 + 80 + 3 = 5 · 102 + 8 · 10 + 3.
1 5
b) = 0, 5 = 0 + .
2 10
−3, 1416 = −(3, 1416)

1 4 1 6
= − 3+ + + +
c) 10 100 1000 10000
= −(3 + 1 · 10−1 + 4 · 10−2 + 1 · 10−3 + 6 · 10−4 )
31416
=− .
10000
2 6 6 6 6
d) = 0, 6666 . . . = 0 + + + + + · · · = 0, 6.
3 10 100 1000 10000
Se denomina decimal periódico o decimal infinito periódico, mientras

que
0, 123456789101112 . . .
es un decimal infinito no periódico.
Dado un número periódico, se puede hallar una representación de la

forma p/q, con p y q en Z.
Ejemplo.
Sea el número periódico 3, 272727... = 3, 27.

Tomemos x = 3, 272727... entonces:
100 x = 327,272727...
− x = 3,272727...
99x = 324,000000...
= 324.
Por lo tanto,
324 36
x= = .
99 11
Los números enteros son números racionales con denominador 1. Cuando
el número no es entero, la representación decimal permite establecer difer-
encias entre los números racionales y los irracionales, atendiendo al hecho de
que los racionales tienen una expansión finita o infinita periódica, mientras
la expansión de los irracionales es infinita no periódica.
Actividad 3.12.
Represente los siguientes números periódicos en la forma p/q, p y q
enteros:
a) 3, 425555...;
b) 0, 99999...;
c) 8, 404040.
3.5.3. Operaciones entre números reales

En los apartados anteriores se han definido las operaciones de suma y pro-
ducto para los números racionales . Falta por definir estas operaciones para
los números irracionales y para combinación entre racionales e irracionales.
Para ello, vamos a utilizar la representación geométrica de los números reales.

El proceso consiste en trasladar las operaciones del ámbito de lo aritmético
al geométrico: dados dos números reales positivos a y b, a los cuales les cor-
responde, respectivamente, los puntos A y B de la recta numérica, de tal
manera que la distancia de A al origen O sea a y la distancia de B al origen
O sea b; más 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 número real c, tal que:
Longitud del segmento OC = m(OC) = c.
En realidad, la suma de reales determinada por la representación geomé-

trica no presenta problemas, pues cumple uno de los requerimientos básicos
de las operaciones entre números, como lo es la propiedad clausurativa: suma
de segmentos es segmento. Desde la antigüedad, el problema se presenta con
el producto de segmentos. Para los antiguos, esta operación estaba ligada
con el cambio de dimensión. Ası́, el producto de los segmentos OB y OC
como tal, no tendrı́a significado; simplemente representaba un rectángulo de
lados OB y OC. Fue sólo hasta el siglo xviii con la Geometrı́a de Descartes
que se vino a solucionar este impase. Descartes define el producto de dos
segmentos como otro segmento que resulta de relacionar los dos segmentos
dados y la unidad. Veamos esto:
O U A
Los segmentos UB y AC son paralelos, por lo cual, los triángulos 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 difı́cil 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 tı́pica de resta de segmentos; cuando el minuendo sea
menor que el sustraendo, se factoriza el signo y se efectúa la resta común y
corriente. Para el caso entre negativos, se trasladan las operaciones básicas
de las reglas de los signos y se efectúan las operaciones común y corriente.
Ası́, la estructura algebraica de los números reales es similar a la de los
números racionales, pero con la diferencia de la completez; es decir que el
conjunto de los números reales ((llena)) completamente la recta numérica, lo
cual no ocurre con los racionales.
3.5.4. Los números reales como una estructura axio-

mática
En los apartados anteriores hemos introducido el conjunto de los números
reales R, de una manera constructiva. Partimos de los números naturales N,
los cuales extendimos a los enteros Z y luego a los racionales Q. Los números
irracionales I, surgieron de algunas necesidades teóricas. Las operaciones de
suma y producto se han ido incorporando de acuerdo a las exigencias de cada
extensión. Sin embargo, a pesar de que la suma y el producto de reales, por
intermedio de la representación geométrica, cumplen con los requerimientos
de la teorı́a, es claro
√ que√no proporciona
√ procesos aritméticos para efectuar
3
operaciones como 2 π, 3 + 2, etc. Sabemos que los números irracionales
son decimales infinitos no periódicos; eso significa que no podemos exhibir
la totalidad de sus cifras, sólo podemos reconocer su existencia por medios

estrictamente abstractos. Pero entonces, ¿cómo operar con estos entes ab-
stractos sin necesidad de exhibirlos completamente? La salida conceptual a
este impase tiene su asidero en la aproximación; especı́ficamente, el hecho de
que cualquier número irracional se pueda aproximar, tanto como queremos,
por medio de racionales. En matemáticas más avanzadas podemos elaborar
formalmente estos procesos incorporando una nueva operación que es la con-
vergencia. Sin embargo, no es de nuestro interés hacerlo aquı́, nos interesa
solamente reconocer algunas propiedades.
Dado que le hemos dado sentido a las operaciones y un funcionamiento
algo riguroso, consideraremos los números reales como un conjunto R de
objetos, para los cuales hemos definido las operaciones de suma y producto,
las cuales cumplen las siguientes propiedades básicas:
Propiedades algebraicas
Teorema. Sean x, y y z números reales, entonces:

1. x + y y xy son números 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 número se designa

como −x (el opuesto de x).
7. Para todo x = 0 existe h ∈ R tal que xh = 1, este número se designa

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

que x ∈ R+ ó −x ∈ R+ ó x = 0. Además, si x, y ∈ R+ , entonces
x + y ∈ R+ y xy ∈ R+ .
R+ se denomina el conjunto de los números reales positivos y cumple que

Q+ ⊂ R+ . R− se denomina el conjunto de los reales negativos, compuesto
por los números reales que no pertenecen a R+ .
Apoyándonos en estas propiedades se puede demostrar el siguiente teo-
rema:
Teorema. Sean x, y y z números 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 número se designa

como y − x y define la resta.
Demostremos algunos de ellos.

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

Ası́ como a partir de la suma de cantidades iguales definimos la multipli-
cación, también se define una nueva operación a partir del producto de fac-
tores iguales. De esta forma, si a representa un número real y n un número
natural, se define el significado de los sı́mbolos an y a−n de la siguiente
manera:
Definición. a0 = 1 cuando a = 0 (00 no se define), para 0 < n se define:

1. an = a × a × a× · · · × a.
nveces.
1
2. a−n = (an )−1 = . Es decir, a−n es el inverso de an .
an
BObservación. En la expresión an al número a se le denomina base

y al número n exponente. En este caso el exponente es entero.
Ejemplos.
4
1 1 1 1 1 1 1 1
1. = · · · = = = 4.
2 2 2 2 2 2·2·2·2 16 2
2. Conociendo el resultado anterior se puede calcular de manera inmedi-

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

Teorema. Si a y b denotan números reales y n un número natural,

entonces,
1 1 1
1. −n
= an , puesto que −n
= 1 = an .
a a an
n veces.
n
a a a a × ··· × a an
2. = × ··· × = = n.
b b b b × ·
· · × b b
n veces. n veces.
−n n
a bn b
3. = n = .
b a a
Además se cumplen las siguientes propiedades básicas:
Teorema. Sean a un número real y n y m números naturales, entonces,

1. an am = an+m .
2. (am )n = amn .
3. (ab)n = an bn .
Ejemplos.
4 3
2 2 2 2 2 2
− − = − − − −
3 3 3 3 3 3

1. 2 2 2
× − − − ,
3 3 3
4+3 7
2 2
= − = − .
3 3
2
(−2)5 = (−2)5 (−2)5 ,
2. = (−2) (−2) (−2) (−2) (−2) (−2) (−2) (−2) (−2) (−2) ,
= (−2)5·2 ,
= (−2)10 .
2 2
1 1 1 1 1 2 1
3. 3 = 3 3 = (3 · 3) · =3 .
5 5 5 5 5 5

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

En la sección anterior definimos la operación an para a ∈ R y n ∈ N.
En esta sección extenderemos esta operación 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 capı́tulo utilizamos la noción de raı́z cuadrada ( a) de
un número√ a positivo, como el número que elevado al cuadrado es igual a a;
esto es, ( a)2 = a. De la misma manera se puede extender esta definición
para cualquier número natural n.
Definición. Decimos que la raı́z n-ésima de un número real a positivo,

√ 1 √
es el número real n a = a n , el cual satisface la igualdad ( n a)n = a.
√
Para el caso n = 2, se coloca simplemente a.
Observe que el enunciado de la definición establece que en R, la ecuación

n
x − a = 0, donde a es √ real positivo siempre tiene solución.
Se puede ver que − n a, cuando n es par, también satisface la condición
de raı́z enésima de a, pues, por ser n de la forma n = 2k, k natural, se puede
escribir √ √ k √ k √
(− n a)n = (− n a)2 = ( n a)2 = ( n a)n = a.
Por lo anterior se suele hablar de ((raı́z negativa)) √
indexraı́z! negativa y ((raı́z positiva)), cuando n es par, pero el sı́mbolo n a se
reserva
√ exclusivamente para la raı́z positiva o raı́z principal. De esta forma
4 = 2, aunque la ecuación x2 = 4 tenga dos soluciones x = 2 y x = −2,
pues 22 = (−2)2 = 4.
Como ejercicio, probar que se cumplen las siguientes propiedades.
Teorema: Para a ∈ R+ :
1 n 1 1
1. a n = a. a n an
4. = 1.
b bn
1
2. (an ) n = a.
1 1
1 1
1 1 n
3. (ab) n = a n b n . 5. a mn = a m .
Ejemplos.
1 √
a) 16 2 = 16 = 4.
1 √
b) 8 3 = 3 8 = 2.
1 √
c) (52 ) 2 = 52 = 5.
BObservación. Hemos definido la raı́z enésima para un a ∈ R+ , pues

cuando a es negativo y n par, a no tiene raı́z enésima, tal es el caso de
√
−9, puesto que no existe un número real que elevado al cuadrado de
−9. Sin embargo para el caso en el cual a ∈ R− y n es impar si existe la
√
raı́z enésima; por ejemplo 3 −8 = −2, puesto que (−2)3 = −8.
La definición anterior permite extender la definición de potencias con ex-

ponente entero a potencias con exponente fraccionario de la siguiente man-
era:
Definición. Sea a un número real positivo y m/n un número racional,

entonces: √
m 1 1
a n = (am ) n = (a n )m = ( n a)m .
Observemos que la definición se establece para un número real positivo

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

siguientes propiedades:
m m m m p m p
1. (ab) n = a n b n . 3. (a n ) q = a n · q .
p
m m
+ pq
2. a n a q = a n .
Ejemplos.
√ √ 1 1 1 1 1 √
27 · 2 = (27 · 2) 3 = (33 · 2) 3 = (33 ) 3 · 2 3 = 3 · 2 3 = 3 2.
3 3 3
a) 54 =
3 1 3 1 1 √
b) 81 14 81 28 = 81 14 + 28 = 81 4 =
4
81 = 3.
√ 4 4
4 33 4 · 33 4 4 2
c) −1 2 = −1 2 = 4 · 2 · 3 3 · 3−2 = 8 · 3 3 −2 = 23 3− 3 .
2 3 2 3
1 12 1 1
√
c) 52 81 = 52 34 2 = 52 2 32 2 = 5 · 3 = 15.
2 5
12
2− 3 10 6 2−8 1010
d) 3 7 = = 2−8 2−9 1010 10−42 = 2−17 10−32 .
2 4 10 2 29 1042
Actividad 3.13.
1. En los siguientes casos responda falso o verdadero justificando su
respuesta:
a) 2n · 2n = 4n . c) 2n + 2n = 2n+1 .
−1
2 2
b) 3 · (2)n = 3 · 2n . d) − = .
3 3
2. Determine si las siguientes igualdades son válidas. Si una igualdad es

válida, establezca qué propiedades de los números reales la justifican,
si no lo es diga que propiedad ha sido mal utilizada.

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

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

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

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

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

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

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

1 ⎢1 + 1 + 2 ⎥
1+ ⎢ ⎥
2. ⎢4 3 4 ⎥
e) f ) − ⎢ ⎥ .
1 ⎢ 1 ⎥
1+
3 ⎣ 3+
5 ⎦
1+
3
5. Encuentre la solución de las siguientes ecuaciones justificando los pa-
sos:
a) 5x + 4 = 23. c) (x + 3)(x + 2) = 0.
b) 4x − 13 = 5x + 8. d) (3x − 8)(6x + 7) = 0.
3.5.7. Orden en los Reales

La resta permite definir el orden en los números reales en el mismo sentido
que en los racionales.
De acuerdo a la definición, para cualquier número a ∈ R+ , se cumple que
0 < a y −a < 0, es decir, cualquier número negativo es menor que cero. De
esta forma se cumple:
Definición. Dados los dos números reales x y t, decimos x < t ó t > x

si y sólo si t − x ∈ R+ . Además, 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 definición de orden dada se tiene.
Propiedades básicas. Sean x, y y z números reales, entonces:

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

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

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

1. 3x − 2 < 5, sumando en ambos lados el 2 tenemos, 3x − 2 + 2 < 5 + 2,
luego 3x < 7 y multiplicando por 1/3, se tiene que x < 7/3 es el
conjunto solución.
2. 0 < (x + 3)(2x + 4). Tenemos dos posibilidades:
a) 0 < x + 3 y 0 < 2x + 4, cuya solución es la intersección de −3 < x
con −2 < x, es decir, −2 < x.
b) x + 3 < 0 y 2x + 4 < 0, cuya solución es la intersección de x < −3
con x < −2, es decir, x < −3.
De esta manera la solución serı́a la unión de −2 < x con x < −3, es

decir, son todos los x tales que x < −3 ó −2 < x.
Intervalos
A continuación vamos a definir algunos conjuntos importantes de los reales.
Definición. Sean a y b números 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}.
Además 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}
BObservación. Las operaciones de unión, intersección y diferencia

de conjuntos que se definieron en la sección 2.3 se aplican también a
los intervalos. Debemos tener en cuenta que no siempre, al efectuar es-
tas operaciones con los intervalos, vamos a obtener otros intervalos. Lo
más indicado para obtener resultados es recurrir a la representación ge-
ométrica.
Ejemplos.
1. Determinar [−2, ∞) ∩ [3, ∞) y [−2, ∞) ∪ [3, ∞).

Para encontrar la intersección, buscamos los x que pertenezcan a los
dos intervalos. La gráfica siguiente nos ilustra la situación.
| | | | | |
−2 0 3
El conjunto solución 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 unión buscamos los x que pertenezcan al uno o al otro
intervalo. Geométricamente, corresponde a la porción 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 intersección de los intervalos (−∞, −2]∩(−∞, 3] = (−∞, −2] como

se puede observar en la gráfica siguiente.
| | | | | |
−2 0 3
3. La unión de los intervalos [1, ∞) y (−∞, −2] no es vacı́o, pero no

corresponde a ningún intervalo, en cambio [1, ∞) ∩ (−∞, −2] = ∅.
| | | | | |
−2 0 3
El axioma de completitud de los reales

Los números reales, a diferencia de los racionales, ((llenan)) completa-
mente el continuo lineal. En este sentido,decimos que el conjunto de los
números reales constituyen un continuo numérico. Dado que la caracteri-
zación del continuo numérico es una de las cuestiones más complicadas de
las matemáticas, se incorpora como un axioma de la teorı́a. Para ello nece-
sitamos algunos conceptos que describimos a continuación.
Definición.
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
también es una cota inferior de A, ¿cuántas cotas inferiores tiene A?;
de otra parte x = 10 es cota superior de A, ¿cuántas 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, también que el con-
junto [15, ∞) esta formado por todas las cotas superiores de A .
Definición.
1. Sea A ⊆ R, se dice que x ∈ R es el máximo de A si y sólo si x ∈ A y
para todo y ∈ A, y ≤ x.
2. Sea A ⊆ R, se dice que x ∈ R es el mı́nimo de A si y sólo si x ∈ A y

para todo y ∈ A, x ≤ y.
Ejemplos.
1. Para el conjunto A de el ejemplo anterior el máximo es x = 10, mien-

tras que el mı́nimo es x = −2.
2. Para el conjunto B de el ejemplo anterior el máximo es x = 15, mien-
tras que el mı́nimo es x = 3.
Definición.
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].

Máximo de B = 5.
Mı́nimo de B, no tiene.
Cotas superiores: [5, ∞).
Cotas inferiores: (−∞, −2].
Supremo de B = 5.
Ínfimo de B = −2.
2. El conjunto de los números naturales no tiene máximo, su mı́nimo es
0, no es acotado superiormente y 0 es una cota inferior. Por lo tanto
no tiene supremo y el ı́nfimo es 0.

1
3. Sea el conjunto A = : n∈N .
n
Máximo de A = 1.
Mı́nimo de A, no tiene.
Cotas superiores: cada uno de los elementos del intervalo [1, ∞) es una
cota superior de A.
Cotas inferiores: cada uno de los elementos del intervalo (−∞, 0] es

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

completitud de los números reales:
Axioma de completitud de los reales. Todo conjunto no vacı́o de

números reales acotado superiormente, tiene supremo. Todo conjunto de
números reales, no vacı́o, acotado inferiormente, tiene ı́nfimo.
3.5.8. El valor absoluto

Al principio de esta unidad establecimos la recta numérica, de tal suerte
que, tomando como referencia un punto como el número cero y un segmento
como unidad de medida, a cada punto de la recta le correspondı́a un número
real. En términos geométricos esto significa que los números 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 número asociado a un punto P arbitrario se llama coordenada del punto.
Si P1 y P2 son dos puntos arbitrarios en la recta numérica 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 expresión
m(P1 P2 ) = x2 − x1 .
A P1 P2
| | |
Negativo 0 x1 x2 Positivo
De acuerdo a la representación geométrica 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 ubicación
relativa de los puntos P1 y P2 respecto del origen A se puede comprobar
que la fórmula anterior sigue siendo válida, de esta forma se establece, de
manera natural, la noción de distancia entre dos números reales sobre la

recta numérica. Por definición la distancia entre dos puntos será la medida
del segmento determinado por ellos, en la dirección positiva de la recta y se
llamará medida absoluta del segmento.
Si P es un punto sobre una recta numérica y x es el número real asociado
con él, tal como se indica en la figura siguiente, definimos el valor absoluto
de x, y lo denotaremos |x|, como la distancia de P al origen.
A P
| |
0 x
La distancia al origen esta dada por |x| = x.
P A
| |
x 0
La distancia al origen esta dada por |x| = −x.
Utilizando la definición de distancia dada anteriormente, se puede ob-

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

!
x si x ≥ 0,
|x| =
−x si x < 0.
Si P1 y P2 son puntos arbitrarios sobre una recta numérica con coor-

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

Ejemplos.
" " " "

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

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

números reales x tales que la distancia de x a a, es igual a 3. Por ejem-
plo si a = 2, tendrı́amos la ecuación |x − 2| = 3 que geométricamente
se puede visualizar en la gráfica siguiente:
3 unidades. 3 unidades.
| | | |
−1 0 2 5
De esta forma, tanto x = 5, como x = −1 corresponden a soluciones

de la ecuación |x − 2| = 3.
Se pueden verificar fácilmente que para todos los números reales:

Teorema. Sean x, y y ε números reales, entonces:

1. 0 ≤ |x|.
2. |−x| = |x|.
3. |x y| = |x| |y|
4. |x + y| ≤ |x| + |y| .
5. Para 0 < ε,
a) |x| < ε si y sólo si −ε < x < ε.

b) ε < |x| si y sólo si ε < x ó x < −ε.
c) |x| = ε si y sólo si x = ε ó x = −ε.
a) y b) también se cumplen con ≤. c) se cumple también para ε = 0.
Ejemplos.
Resolvamos algunas inecuaciones que involucren valor absoluto.
1. Resolver |x − 4| < 9, en el dominio de los números reales.

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

"√ "y 2, la inecuación original es equivalente
√ a la
inecuación " 3 x + 2" ≥ 3, que por b) es igual a 3 x + 2 ≥ 3
√
ó 3 x + 2 ≤√ −3. Al sumar
√ −2 en los dos miembros de la desigualdad
obtenemos
√ 3x√≥ 1 ó 3 x ≤ −5. Al√ multiplicar ambos
√ miembros
por ( 3)−1 = 1/ 3 llegamos a x ≥ 1/ 3 ó x ≤ −5/ 3. Finalmente,
√ √
al racionalizar se obtiene x ≥ 3/3 ó x ≤ −5 3/3. Que corresponde
a:
√ # $ √
3 5 3
,∞ ∪ −∞, − .
3 3
Actividad 3.14.
1. Analice el siguiente razonamiento: 2(x + 1) < 4(x + 1), implica 2 < 4.
¿Es verdadera esta desigualdad para todo x ∈ R?
1 1
2. Sean x y y números reales. Si x < y, ¿se cumple que < ?
x y
3. Considere el producto (x − 2)(x + 3).
a) ¿Para que valores de x este producto es 0?

b) Localice estos puntos en la recta numérica.
c) ¿En cuáles intervalos queda dividida la recta numérica?
4. Halle la solución de la inecuación 0 ≤ (x − 2)(x + 3).? Ubique la

solución en la recta numérica.
5. Resuelva las inecuaciones:
a) 0 < (x2 − 4)(x + 5). x−7

c) 2 < .
x+3
x−7 (x + 1)(x − 1)
b) 0 ≤ . d) ≤ 0.
x+3 (x − 2)
3.6. Los números complejos 141
5. Encuentre, en caso de existir, el ı́nfimo, el supremo, el máximo y el

mı́nimo de los siguientes subconjuntos de R.
√
a) [−8, 7). d) {x ∈ Q : 0 ≤ x ≤ 2}.
√
b) {x ∈ R : x2 < 2}. e) {x ∈ R : 0 ≤ x ≤ 2}.
c) {(−1)n : n ∈ N}. f ) {0, 1, 2, 3, 10}.
6. Resuelva las siguientes ecuaciones e inecuaciones en el dominio de los

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

" "
b) "−x2 " < 4. e) 3 < x + |x|.
c) |x − 1| = |x + 4|. f ) 3 |x − 1| + |x| = 4.
3.6. Los números complejos

En la sesión anterior se ha estudiado el sistema matemático de los números
reales. A pesar de que los números reales resultan adecuados para muchos
problemas matemáticos y prácticos, resultan insuficientes para la resolución
de algunas ecuaciones. Es el caso, por ejemplo, de la ecuación x2 = −1, dado
que no existe ningún real que al elevarlo al cuadrado de −1. El problema
es que en muchas situaciones se hace necesario que esta clase de ecuaciones
tengan solución. La salida histórica a este inconveniente fue la constitución
del conjunto de los números complejos, del cual hace parte el conjunto de
los números reales.
La construcción del sistema de los números complejos, que anotaremos
con el sı́mbolo C, se basa en dos aspectos:
√
1. La adopción de −1 como un número.
2. La generalización de las operaciones + y − para los nuevos números

entre sı́ y en correlación con los números reales.
√
Si adoptamos −1 como número, podemos designar cualquier raı́z neg-
ativa mediante esta expresión. Empecemos estableciendo la designación i =
√
−1, lo que significa que i2 = −1; para una raı́z 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 número i es llamado número 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 números complejos.
Definición. Sea el número complejo a + b i.

1. Se denomina parte real de este número al número a y parte compleja
al número b.
2. El número complejo a + (−b) i se designa como a − b i.
3. Los números complejos: a + b i, c + d i son iguales si y sólo si a = c y

b = d.
Para conformar el sistema de los números complejos, definimos en el

conjunto C las operaciones de adición (+) y multiplicación (·) de la siguiente
manera.
Definición. Sean a, b, c y d números 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 definición de producto entre números complejos se establece

al adoptar la propiedad distributiva de los números reales, como se visualiza
a continuación.
(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 número real

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

de complejos. Dejamos el resto de ellas como ejercicio.
El elemento neutro para la adición es 0 y para la multiplicación es 1. En
efecto:
(a + b i) + 0 = (a + b i) + (0 + 0 i). Por la identificación.

= a + b i. Por la definición de la adición.
y,
(a + b i) · 1 = (a + b i)(1 + 0 · i). Por la identificación.

= (a · 1 − b · 0) + (b · 1 + a · 0) i. Por definición de la mult.
= a + b i.
El estudiante también puede comprobar que el opuesto −(a + b i), del

complejo a + b i, es −a − b i. Por lo tanto la resta de números 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 recı́procos
Definición. Dado un número complejo a + b i, definimos su conjugado

a + b i como el número complejo a − b i. Simbólicamente,
a + b i = a − b i.
El conjugado de un número complejo nos servirá para calcular inversos,

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

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

1 1
= (a − b i) .
a+bi a2 + b 2
Conociendo el inverso de un número complejo distinto de cero, podemos
definir el cociente de números complejos:
a+bi
= (a + b i)(c + d i)−1 , c + d i = 0.
c+di
Explı́citamente
a+bi
= (a + b i)(c + d i)−1 ,
c+di
1
= (a + b i) 2 (c − d i),
c + d2

c d
= (a + b i) − i ,
c2 + d2 c2 + d2
ac + bd bc − ad
= + i.
c2 + d2 c2 + d2
Ejemplos.
1
1. Si queremos calcular , basta aplicar la fórmula general para
4+7i
inversos ası́:
1 1
= 2 (4 − 7 i),
4+7i 4 + 72
1
= (4 − 7 i),
65
4 7
= − i.
65 65
Por otro lado, también, podemos efectuar el cálculo ası́:

1 1 4−7i
= · ,
4+7i 4+7i 4−7i
4−7i
= ,
(4 + 7 i)(4 − 7 i)
4−7i
= 2 ,
4 + 72
4 7
= − i.
65 65
7−i
2. Calculemos ahora . Por definición de cociente entre complejos
3+5i
se tiene que:
7−i
= (7 − 2 i)(3 + 5 i)−1 ,
3+5i
1
= (7 − 2 i) 2 (3 − 5 i),
3 + 52

3 5
= (7 − 2 i) − i ,
34 34
11 41
= − i.
34 34
El estudiante puede hacer el mismo cálculo multiplicando numerador
y denominador por el conjugado de 3 + 5 i.
Por último señalamos algunas propiedades del conjugado que consignamos

en el siguiente teorema. Para simplificar la notación de los números comple-
jos escribiremos z en lugar de a + b i.
Teorema. Si z y w son números complejos entonces:

1. z + w = z + w.
2. zw = z w.
z z
3. = .
w w
4. z = z si y solo si z es real.
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 = a−bi. 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 número real.
La otra implicación es evidente ya que si z es real,
z = a + 0 i = a − 0 i = z.
Hemos construido un sistema (C, +, ·) con las mismas propiedades for-
males que el sistema (R, +, ·) pero que no tiene la limitación del último. Es
decir que en (C, +, ·) podemos encontrar soluciones a todas las ecuaciones
de la forma xn = a.
Definición. Sea el número 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).
Representación geométrica de los números complejos.

Ya hemos visto que los números reales se pueden representar por medio de
puntos en la recta. También es posible tener una representación análoga para
los números complejos sólo que en lugar de una recta utilizaremos un plano
con un sistema de coordenadas cartesianas rectangulares.
El número 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 números complejos, el
plano toma el nombre de plano Argand, en honor a Jean Argand (1768-1822),
matemático suizo que en 1806 propuso esta representación para los números
complejos.
Eje imaginario
b z =a+bi
a Eje real
Observemos que el número complejo z, geométricamente lo podemos ver

como la reflexión de z respecto al eje x.
y
z
El proceso de sumar tiene una interpretación muy simple en términos
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 número real a y observamos que geométricamente, |a| es
la longitud del segmento AP donde A es el punto de referencia y P el punto
con coordenada a en la recta numérica. Generalizamos este concepto a los
números complejos definiendo el módulo |z| de un número complejo z.
De acuerdo con la interpretación que le dimos a los complejos para ver
geométricamente la adición y la sustracción, 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 Pitágoras. √
Ası́ se tiene que |z| = a2 + b2 .
Módulo de z = longitud de la flecha de 0 a z.
(a, b)
b
|z|
a x
Veamos algunos ejemplos.

Ejemplos.
Calculemos los módulos 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 módulo tiene propiedades importantes
que consignamos en el siguiente teorema.
Teorema. Si z y w son números complejos, entonces,

1. 0 ≤ |z|.
2. |z − w| = |w − z|.
3. |zw| = |z| |w|.

"z" |z|
" "
4. " " =
w |w|
5. z z = |z|2 .
Actividad 3.16.
En los ejercicios 1 a 6 responda verdadero o falso justificando su
respuesta.
a) El conjugado de un número complejo es el recı́proco de éste.

2. Para todo número complejo z y todo entero positivo n, z n = (z)n .
3. Para todo número complejo z, z = z.
4. Para todo número complejo z, |z n | = |z|n .

1 1
5. El inverso de un número complejo z = a + b i es + i.
a b
6. El módulo del inverso de un número complejo es el inverso de su
módulo.
7. Efectúe las siguientes operaciones entre números complejos.
a) (5 + 2 i) + (7 − i). f ) (4 + 3 i)(−3 + i).

b) (7 + 2 i) + (−8 − 5 i).
g) (3 − 6 i)(2 + i).
c) −(3 + 3 i) − (−5 − 7 i).
d) (a + b i) + (a − b i). 3
3
e) (a + b i) − (a − b i). h) (3 + 2 i)2 − +i .
2
8. Efectúe los siguientes cálculos entre números complejos.

1 1
a) . d) .
3+2i (3 + 2 i)2
1 6+4i
b) . e) .
(1 + i)3 1−5i
7 2−3i 7+4i
c) . f) + .
6−6i 1+i 3+5i
9. Calcule el módulo de los siguientes números complejos.
a) 5 + 8i. c) −6 − 7i.
b) −15i. d) i2 .
10. Represente geométricamente los siguientes complejos.
a) 3 − 4i. c) −(3 − 6i).

b) 3 − 5i. d) (−3i)(2 − i).
3.7.
Autoevaluación
Para cada pregunta señale la respuesta correcta:
1. El número 0 · 3 es un:
a) Natural. c) Entero.
b) Racional. d ) Irracional.
23
2. El inverso de − , es:
4
3 1
2
a) . c) − .
4 2
1
b) 2. d) .
2
1 1 1
3. El número x = + + + · · · , es un número:
10 100 1000
a) Natural. c) Entero.
b) Racional. d ) Irracional.
4. El inverso de 1 + i es:
a) 1 − i. 2
c) .
1+i
1+i 1−i
b) . d) .
2 2
5. Señale la afirmación 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.
6. Señale la afirmación verdadera:
a) Si x y y son números racionales, entonces x + y también es un

número racional.
b) Si x y y son números irracionales, entonces x + y también es un
número irracional.
c) Para todo x ∈ N, existe un y ∈ N, tal que x + y = 0.
d ) la ecuación x2 + 1 = 0, tiene solución en los reales.
3.8.
Rompe coco S
1. Verifique los siguientes criterios de divisibilidad e intente una prueba
de cada uno de ellos.
a) Un número es divisible por tres si la suma de sus cifras es divisible

por tres.
b) Un número es divisible por cuatro si el número obtenido de las
dos últimas cifras es divisible por cuatro.
c) Un número es divisible por cinco si su última cifra es cinco o cero.
d ) Un número es divisible por seis si es divisible por dos y por tres.
e) Un número es divisible por ocho si y sólo si el número formado
por sus tres últimas cifras es divisible por ocho.
f ) Un número es divisible por nueve, cuando la suma de sus cifras
es divisible por nueve.
g) Un número es divisible por diez cuando la última cifra es cero.
h) Para determinar si un número 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 número es divisible por once si el
resultado final es divisible por once.
2. ¿Existe algún 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 número de cuatro dı́gitos. Sin darse la vuelta puede
decirle que el número no es divisible por tres. Pı́dale ahora que añada el
cinco recomponga los naipes para formar un número de cinco dı́gitos.
Le asegura aún de espaldas, que el nuevo número es divisible por 3.
Explique porque sucede esto.
3.8. Rompecocos 155
4. Se pide a una persona mayor de nueve años y menor de cien que escriba
su edad tres veces para hacer un número de seis dı́gitos. Probar que el
número tiene que ser divisible por siete.
5. Un niño tiene a su disposición n pequeños cubos de madera, todos del

mismo tamaño. Con ellos trata de construir el cubo más grande que
pueda, pero descubre que se queda corto exactamente por una hilera
de cubos que habrı́an 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 número de cuatro cifras diferentes, di-
visible por un número previamente escogido. El juego lo inicia cualquiera
de los dos y ganará quien primero ((adivine)) el número del otro.
En su turno, cada uno dará un número de cuatro cifras, que el otro
analizará indicándole el número de cifras que conservan la posición del
número buscado, como número de picas. El número de cifras que cor-
responden al número, pero en diferente posición al número escondido
se denominan famas.
Pongamos un ejemplo:
Supongamos que B esconde el número 2530, divisible por cinco y que
A esconde el número 1236, divisible por tres
A empieza el juego, sabe que busca un número divisible por cinco y
prueba con el número 2360, en este caso, B le dirá que tiene dos picas
y una fama.
B, que sabe que busca un número divisible por tres, prueba con el
número 6153, en este caso, A le dirá que tiene cero picas y tres famas.
Ası́ continuarán hasta el primero que cuadre el número.
Juegue con sus compañeros.
3.9.
Desafı́oS
√
1. Demuestre que para cualquier número n, entero positivo, n es irra-
cional.
√ √
2. ¿Cómo se efectúa la operación ( 2) 3 ?
√
3. ¿Tiene sentido la expresión 3 + 2 i? ¿Cuál es el resultado?
4. Despeje x de la ecuación ix2 + (1 + 2 i)x + 1 = 0

Índice alfabético
ı́nfimo, 135 cuantificador existencial, 35

cuantificadores, 33
algoritmo de la división, 91
Argand, J., 147 deducción, 2, 27
argumentación, 2 demostración, 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 disyunción, 12, 21
axioma de la unión, 64 divisibilidad, 89, 154
axioma de pares, 63 divisible, 89, 91
axioma de separación, 59 doble implicación, 22
axioma del conjunto vacı́o, 61
Estanislao Zuleta, 2
bicondicional, 14 estructura lógica, 6
exponente fraccionario, 127
Cantor, G., 53
complemento de un conjunto, 67, 68 fórmulas, 17, 24
conectivos lógicos, 11 bien formadas, 17
conjugado, 144 proposicionales, 17, 19
conjunción, 12, 21
conjunto, 53 Halmos, P., 57
vacı́o, 60 hipótesis, 40
conjunto universal, 68
conjuntos coordinables, 72, 73 implicación, 13, 22
consecuencia lógica, 34 inclusión, 57
contradicción, 27 intersección de conjuntos, 63, 65
contrarrecı́proca, 22 intervalos, 132
cota inferior, 134 inverso, 122
cota superior, 134 inverso multiplicativo, 109
157
158 3. Índice alfabético
lógica, 2, 4 imaginarios, 142

Proposicional, 7 irracionales, 119
de predicados, 33, 35 naturales, 81, 102
formal, 5 racionales, 105, 106, 119
proposicional, 33, 34 reales, 117, 120
lógica proposicional, 16 reales negativos, 123
lógicamente equivalente, 43 reales positivos, 123
lógicamente equivalentes, 24 romanos, 98
lenguaje simbólico, 16 complejos, 141
ley de adjunción, 29 reales, 112
ley distributiva, 122 negación, 12, 21
leyes, 25 de los cuantificadores, 38
de De Morgan, 25 neutro de la suma, 122
leyes asociativas, 122 norma, 147
leyes clausurativas, 122 numerador, 106
leyes conmutativas, 122
operaciones
máximo, 134 con los números enteros, 101
método axiomático, 40 entre números racionales, 106
métodos de demostración, 40 operaciones con conjuntos, 63
mı́nimo, 134 opuesto, 100, 122
minuendo, 99 opuesto aditivo, 109
Modus Ponendo Ponens, 28 orden
Modus Tollendo Ponens, 29 de los racionales, 111
Modus Tollendo Tollens, 29 en los números enteros, 103
multiplicación en los números naturales, 87
de números naturales, 86 en los reales, 130
número par ordenado, 69

compuesto, 89 paradoja, 54
irracional, 116, 117 paradoja de Russell, 54
primo, 89 parte compleja, 142
racional, 117 parte real, 142
número natural plano Argand, 147
de un conjunto, 82 potencias enteras, 124
números potencias racionales, 126
complejos, 147, 150 predicado, 33
enteros, 99, 101 primos relativos, 90
. 159
principio sintaxis, 16
de extensión, 56 sistema
de separación, 53 babilónico, 95
principio de identidad, 40 binario, 96, 97
principio de no contradicción, 40 de numeración, 91
proceso demostrativo, 41 decimal, 92
producto romano, 95
de números naturales, 83, 85, 86 egipcio, 93
producto cartesiano, 69 griego, 94
propiedad sistema axiomático, 40
asociativa del producto, 86 sistemas
conmutativa del producto, 86 de numeración antiguos, 93
de la monotonı́a, 89 sistemas numéricos, 79
del elemento neutro, 86 subconjunto, 57
del elemento nulo, 86 subconjunto propio, 58
distributiva, 87 sucesor, 83
propiedad asociativa, 85 suma de números naturales, 83
propiedad clausurativa, 85 supremo, 135
propiedad conmutativa, 85 sustraendo, 99
proposición, 2, 9
tablas de verdad, 21
raı́z tautologı́a, 23, 25
n-ésima, 126 teorı́a de conjuntos, 53
positiva, 126 Teorema
principal, 126 fundamental de la aritmética, 90
razón entre magnitudes, 106 teorema, 40
razonamiento, 27 tercero excluido, 40
recı́proca, 22 tesis, 40
recı́proco, 144 unión de conjuntos, 63
reducción al absurdo, 25, 43 union de conjuntos, 64
reglas de inferencia, 28
representación decimal, 118 valor absoluto, 136, 137
Russell, B., 15, 54 valores de verdad, 9, 20
semántica, 16
silogismo, 33, 34
silogismo hipotético, 29
simplificación disyuntiva, 29

Lógica y Conjuntos

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Lógica y Conjuntos

Caricato da

Copyright:

Formati disponibili

MATEMÁTICA BÁSICAS

1 Introducción a la lógica simbólica 1

2 Nociones fundamentales de conjuntos 52

2.2.2 La relación de inclusión . . . . . . . . . . . . . . . . 57

3.5.3 Operaciones entre números reales . . . . . . . . . . . 119

Este módulo hace parte del proyecto SEMILLEROS promovido por el

En este libro abarcamos los siguientes capı́tulos:

1. Introducción a la lógica simbólica.

2. Nociones fundamentales de conjuntos.

En el primer capı́tulo buscamos que los estudiantes se apropien del lenguaje

se utiliza para llamar la atención sobre algunos aspectos conceptuales que

Reconocer y utilizar los principios lógicos generales usados en matemá-

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

Identificar los métodos de demostración que se utilizan en matemáticas.

1.1. Lenguaje cotidiano, Lógica y lenguaje

Y en efecto, la lógica no es una alternativa por la que podamos optar;

De acuerdo a la afirmación del profesor Zuleta se puede afirmar que hay

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

Nelson: Hola Lisa ¿por qué tan sonriente?

Lisa: Vengo de una clase muy chévere de Lógica en los Semilleros de

Nelson: y . . . ¿qué es eso de la lógica?

Lisa: Es un poco complicado explicártelo, pero voy a darte un ejemplo.

Lisa: Estudias todos los dı́as y haces todas las tareas.

Nelson: Claro que si.

Nelson: Ah, si, es correcto.

Lisa: Pues, eso es la lógica.

Bart: Hola Nelsón ¿por qué tan alegre?

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

Bart: ¿Lógica? ¿Qué es eso?

Nelson: Es difı́cil explicarlo, pero voy a darte un ejemplo. ¿Estas cur-

2. ¿Qué conclusión podrı́as sacar de la respuesta de Bart?

¿Qué es entonces la Lógica? No es fácil establecer una definición acabada

Definición. La lógica tiene por objeto el estudio de los métodos y prin-

Cuando discutimos sobre algún tema y defendemos una posición determi-

Definición. Un argumento es un conjunto de una o más oraciones; una

De acuerdo a la definición anterior las premisas son el vehı́culo que con-

1.1.2. Estructura lógica de los argumentos

Todas los animales mamı́feros son animales terrestres.

BObservación. Lo correcto o no de un argumento depende de la

Para reafirmar lo anterior, observemos que el siguiente argumento es

Todos los Cronopios son Famas;

Si Pelé jugó en Santos, no jugó en Corinthias;

Los argumentos de los primeros ejemplos corresponden a la lógica de pred-

1.2. Lógica Proposicional

1. Es mejor tomar chocolate que café.

3. ¿En que año murió Pitágoras?

4. Gaudi fue un escritor catalán.

5. Gracias a Dios soy ateo

Observemos que la cuarta oración es la única que podemos valorar. La

Definición. Una proposición es una oración declarativa que en un con-

1. La frase ((Cervantes escribió el Quijote)) es una proposición.

2. Las frases ((¿Cervantes escribió el Quijote?)), y ((quiero aprender matemáticas))

Una proposición puede ser expresada por diferentes enunciados. Por

1. Shakespeare escribió Hamlet

2. Hamlet fue escrito por Shakespeare.

Incluso un enunciado puede expresar diferentes proposiciones, de acuerdo

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

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

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

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

2. El caballo es un animal bı́pedo.

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

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

2. Considera que el enunciado: ((todos los números primos son impares)),