El nacimiento de la geometría y los sistemas

axiomáticos: Guía de trabajo

ORIGEN DE LOS PRIMEROS CONOCIMIENTOS

GEOMÉTRICOS
Comenzamos con la segunda unidad de la materia, donde nos adentraremos en la
historia de la ciencia. Te sugerimos que leas la breve introducción a la segunda parte
del libro denominada “La ciencia y su historia”, para que tengas una primera
aproximación a los temas que vamos a discutir.
En esta guía trabajaremos el sexto capítulo del libro, titulado “El nacimiento de la
geometría y los sistemas axiomáticos”, cuyo propósito fundamental es que te
familiarices con la concepción contemporánea de los llamados “sistemas axiomáticos”.
Pero para eso vamos a tener que hacer un recorrido por la historia de la geometría,
disciplina que nos ofrece el primer ejemplo de un sistema tal. Te recomendamos
comenzar la lectura de la sección “El nacimiento de la geometría” para conocer los
orígenes históricos de la disciplina. El primer apartado (“Origen de los primeros
conocimientos geométricos”) nos cuenta los esfuerzos realizados por las
civilizaciones anteriores a los griegos en este campo. Luego de su lectura podés hacer
los siguientes ejercicios.

Ejercicio 1
Seleccioná de la siguiente lista cuáles pueblos produjeron los primeros
documentos con conocimiento geométrico:

a. Romanos
b. Sumerios
c. Griegos
d. Egipcios
e. Babilonios

Ejercicio 2
Determiná la verdad o falsedad del siguiente enunciado:

El conocimiento geométrico prehelénico se caracterizó por ser de carácter

concreto y no sistemático.
GEOMETRÍA GRIEGA
Nuestro recorrido continúa con los aportes realizados por la civilización griega a la
historia de la geometría con su particular manera de concebir y tratar los conocimientos
matemáticos. Vamos a ver qué los diferencia del modo en que los pueblos
prehelénicos practicaron estas disciplinas. Luego de leer el apartado “Geometría
griega”, te invitamos a resolver los ejercicios siguientes.

Ejercicio 3
Una de las principales contribuciones de Tales de Mileto fue el tratamiento
general (y no particular) de los problemas geométricos. A continuación te
presentamos algunos ejemplos de problemas resueltos. Indicá qué tipo de
tratamiento, general o particular, ofrece cada uno de ellos.

A. Tratamiento general
B. Tratamiento particular

- Ejemplo 1: la suma del cuadrado de los catetos es igual al cuadrado de la

hipotenusa para todo triángulo rectángulo.
- Ejemplo 2: en el mapa de Buenos Aires el camino más corto entre la Casa
Rosada y el Congreso de la Nación es por Av. de Mayo.
- Ejemplo 3: sobre una superficie plana, la distancia más corta entre dos puntos
es la línea recta.
- Ejemplo 4: El volumen de un prisma rectangular es igual a su base por su altura.
- Ejemplo 5: Este cubo de 10x10x10 contiene la misma cantidad de líquido que
este prisma rectangular de 5x5x40.

LA GEOMETRÍA EUCLIDIANA
Llegamos ahora a un momento fundamental en la historia de la geometría y los
sistemas axiomáticos que coincide con la aparición de los Elementos del célebre
matemático Euclides. Para completar los ejercicios que siguen, tendrás que leer el
apartado llamado “La geometría euclidiana”.

Ejercicio 4
Seleccioná la opción correcta en cada caso para completar el párrafo siguiente
que resume el ideal científico de Aristóteles.

Para Aristóteles, la ciencia es un conjunto de afirmaciones [a]

________________sobre un determinado objeto, articuladas de un modo orgánico
mediante un razonamiento lógico-deductivo. Dicho razonamiento permite obtener
ciertas afirmaciones llamadas [b] _________________ a partir de otras llamadas
[c]____________, de las cuales no se exige demostración. Al método para deducir
unas de otras se lo denomina [d]_____________.

Opciones:

Grupo a

1. Particulares y necesariamente verdaderas

2. Particulares y contingentes
3. Generales y necesariamente verdaderas
4. Generales y contingentes

Grupo b

1. Teoremas
2. Axiomas
3. Nociones comunes

Grupo c

1. Teoremas
2. Axiomas
3. Oraciones

Grupo d

1. Método casuístico
2. Método axiomático clásico
3. Método inductivo

Ejercicio 5
En los Elementos, Euclides establece tres tipos de enunciados que se aceptan
sin demostración, a partir de los cuales se pueden deducir el resto de los
elementos del sistema. Indicá cuál de las las caracterizaciones enumeradas
debajo corresponde a cada uno de ellos:

A. Postulados:
B. Definiciones:
C. Nociones comunes:

Opciones:
 1. Enunciados que exponen cómo debe entenderse un concepto.
2. Enunciados que se refieren a cuestiones generales que pueden aplicarse tanto a
la geometría, como a otros ámbitos de la ciencia o de la vida cotidiana.
3. Enunciados que se refieren a una ciencia en particular, en este caso la
geometría.

EL PROBLEMA DEL QUINTO POSTULADO

Continuá con la lectura del apartado “El problema del quinto postulado”. Como
verás allí, el quinto postulado de Euclides fue motivo de especial atención y ello motivó
importantes desarrollos que terminaron revolucionando la geometría y nuestra
comprensión de los sistemas axiomáticos. Luego de la lectura podrás hacer los
ejercicios que siguen.

Ejercicio 6
Indicá si las siguientes oraciones son verdaderas o falsas.

1. El quinto postulado de Euclides sostiene que por un punto exterior a una recta
puede trazarse una única paralela a dicha recta.
2. El problema con el quinto postulado es que no es tan evidente como los otros
cuatro.
3. Algunos geómetras posteriores a Euclides plantearon que, en realidad, el quinto
postulado era un teorema del sistema.
4. Saccheri intentó demostrar el quinto postulado a partir de una demostración por
el absurdo, que implicaba la aceptación de los primeros cuatro y la negación del
quinto.
5. Saccheri llegó a enunciados contradictorios en todos los casos de negación del
5º postulado.

GEOMETRÍAS NO EUCLIDIANAS
A partir de la discusión del problema del quinto postulado de Euclides comenzaron a
desarrollarse sistemas geométricos alternativos. Leé el apartado “Geometrías no
euclidianas”, para ver en qué consisten las diferencias entre estas geometrías
extrañas y la euclidiana, mucho más familiar para nosotros. Luego, te invitamos a
resolver unos ejercicios.
Ejercicio 7

Completá el cuadro con las opciones correctas para cada columna:

Geometría 5º postulado Consecuencia

1. Euclidiana

2. Hiperbólica

3. Elíptica

Opciones:

5º postulado Consecuencia
A. Por un punto exterior a una recta i. La suma de los ángulos internos de un
ninguna línea paralela a esta puede triángulo será 180º
ser trazada.
B. Por un punto exterior a una recta ii. La suma de los ángulos internos de un
infinitas líneas paralelas a esta triángulo será mayor a 180º
pueden ser trazadas.
C. Por un punto exterior a una recta iii. La suma de los ángulos internos de un
es posible trazar una única línea triángulo será menor a 180º
paralela a esta.

SISTEMAS AXIOMÁTICOS DESDE UNA PERSPECTIVA

CONTEMPORÁNEA
Hasta ahora hemos discutido el sistema geométrico euclidiano para poder entender la
noción de sistema axiomático clásico. Ahora bien, existen diferencias entre el modo en
que Euclides entendía los sistemas axiomáticos y el modo en que se los entiende
actualmente. En lo que sigue, vamos a adentrarnos en la perspectiva formal
contemporánea. Para ello, te pedimos que leas la sección “Sistemas axiomáticos
desde una perspectiva contemporánea” hasta el apartado “La selección de los
axiomas” inclusive.

Ejercicio 8
Determiná la verdad o falsedad del siguiente enunciado:

Cada conjunto de axiomas puede considerarse como describiendo una

estructura meramente posible; luego, al ser interpretado -haciendo que los
términos del sistema refirieran a entidades y propiedades específicas- podría
formularse la pregunta sobre cuál de estos sistemas es verdadero.

Seleccione una:
a. Verdadero
b. Falso

Ejercicio 9
Determiná la verdad o falsedad del siguiente enunciado:

De acuerdo con la concepción contemporánea de los sistemas axiomáticos, los

axiomas son evidentemente verdaderos.

Seleccione una:
a. Falso
b. Verdadero

Ejercicio 10
Determiná la verdad o falsedad del siguiente enunciado:

Los teoremas se obtienen por aplicación de reglas inductivas.

Seleccione una:
a. Verdadero
b. Falso

Ejercicio 11
Determiná la verdad o falsedad del siguiente enunciado:

Las reglas de inferencia garantizan la conservación de la verdad de axiomas a

teoremas.
Seleccione una:
 a. Verdadero
b. Falso

Ejercicio 12
Indicá cuáles de las siguientes afirmaciones corresponden a la concepción
euclidiana de los sistemas axiomáticos y cuáles a la concepción contemporánea.

1. Los axiomas se asumen como puntos de partida, pero no puede predicarse de

ellos verdad ni falsedad.
2. Los axiomas son verdades evidentes que se toman como puntos de partida para
deducir teoremas verdaderos.
3. La referencia de los términos no lógicos de un sistema axiomático queda
establecida a partir de una interpretación.

Ejercicio 13
Marcá con una “x” la opción correcta y su correspondiente justificación.

1. se a. son los enunciados que se

demuestran deducen de los teoremas

Desde una concepción b. son las reglas de inferencia del

contemporánea los sistema.
axiomas de un sistema porque…
axiomático… 2. no se c. se caería en un regreso al
demuestran infinito.

d. ya están demostrados.

PROPIEDADES DE LOS SISTEMAS AXIOMÁTICOS

Llegamos ahora a la sección final de esta guía. Ahora vamos a trabajar con los
requisitos que deben cumplir los sistemas axiomáticos para resultar aceptables. Para
ello, te pedimos que leas el apartado “Propiedades de los sistemas axiomáticos” y
que revises lo que ya se había adelantado sobre la noción de consistencia en las
secciones anteriores.
Ejercicio 14
Completá el siguiente enunciado seleccionando alguna de las opciones que se
proponen, de modo que el enunciado resulte verdadero:

Un sistema axiomático es consistente cuando…

Seleccioná una:
a. se derivan de los axiomas todas las verdades del sistema.
b. no pueden derivarse de sus axiomas un enunciado y su negación.
c. no puede derivarse un axioma de los otros axiomas del sistema.
d. todos los axiomas han sido demostrados.

Ejercicio 15
Completá el siguiente enunciado seleccionando alguna de las opciones que se
proponen, de modo que el enunciado resulte verdadero:

Un sistema axiomático es completo cuando...

Seleccioná una:
a. no pueden derivarse de sus axiomas un enunciado y su negación.
b. ninguna verdad queda fuera del sistema.
c. no requiere términos definidos.
d. no puede derivarse un axioma de los otros axiomas del sistema.

Ejercicio 16
Completá el siguiente enunciado seleccionando alguna de las opciones que se
proponen, de modo que el enunciado resulte verdadero:

Un sistema axiomático es independiente cuando....

Seleccioná una:
a. ninguna verdad queda fuera del sistema.
b. los teoremas del sistema son independientes entre sí.
c. no requiere de términos definidos.
d. ningún axioma puede derivarse de los otros axiomas del sistema.
 Ahora que hemos cubierto todos los conceptos básicos acerca de los sistemas
axiomáticos, te proponemos aplicarlos a sistemas axiomáticos “de juguete” para
poner a prueba la comprensión. Para ello vas a necesitar tener presentes los
elementos que conforman un sistema axiomático y las reglas de inferencia
presentadas en el capítulo 3 acerca de los argumentos deductivos. Para ayudarte,
incluimos en los ejercicios el esquema de las reglas de inferencia utilizadas en cada
caso.

Ejercicio 17
Dado un sistema axiomático que incluye los siguientes axiomas y regla de
inferencia, determiná cuál de los enunciados que se enumeran a continuación es
un teorema del sistema.

Axiomas:
1. Si Ana tiene fiebre, va al médico
2. Ana no va al médico
3. Ana tiene fiebre

Regla de inferencia: Modus Tollens

Si A entonces B
No B
Luego, no A

Seleccioná una:
a. Ana va al médico o tiene fiebre.
b. Ana no tiene fiebre y no va al médico.
c. Ana no tiene fiebre.
d. Ana va al médico.

Ejercicio 18
¿Es el sistema axiomático del ejercicio anterior consistente?

Seleccioná una:
a. Sí
b. No

Ejercicio 19
¿Es el sistema axiomático del ejercicio 17 independiente?
Seleccioná una:
a. Sí
b. No

Ejercicio 20
Considerá un sistema axiomático que incluya los siguientes axiomas y regla de
inferencia:

Axiomas:
1. Si un planeta gira alrededor del Sol, su órbita es elíptica.
2. Si una órbita es elíptica, su distancia al Sol es variable.
3. Si un planeta gira alrededor del Sol, su distancia al sol es variable.
4. Si la distancia de un planeta al sol es variable, su velocidad también lo es.

Regla de inferencia: Silogismo hipotético

Si A entonces B
Si B entonces C
Luego, si A entonces C

Determiná cuál de los enunciados que se enumeran a continuación es un

teorema del sistema.

a. Si la distancia al Sol es variable, la órbita es elíptica

b. Si un planeta gira alrededor del sol, su velocidad es variable.
c. Los planetas giran alrededor del sol.
d. Las órbitas de los planetas son elípticas.

Ejercicio 21
¿Es el sistema axiomático del ejercicio anterior consistente?

Seleccioná una:
a. Sí
b. No

Ejercicio 22
¿Es el sistema axiomático del ejercicio 20 independiente?

Seleccioná una:
a. Sí
b. No

Sistemas axiomáticos: Guía de trabajo Respuestas

Ejercicio 1
Las respuestas son:
● B. Sumerios
● D. Egipcios
● E. Babilonios

Si alguna de tus respuestas fue incorrecta, tené en cuenta que la consigna hace
referencia a los pueblos que produjeron los primeros conocimientos geométricos, y no
simplemente a pueblos antiguos que practicaban la geometría. Se ha encontrado
evidencia de que tanto los sumerios (3000-2600 a.C.) como los babilonios (cuya cultura
se consolidó a partir de 1790 a.C.), tenían conocimientos matemáticos. En Egipto, a
orillas del Nilo, floreció otra importante civilización (3150-30 a.C) que también tuvo
notables conocimientos tanto aritméticos como geométricos que le permitieron, por
ejemplo, construir las pirámides. Te sugerimos que revises el capítulo 6 (“El nacimiento
de la geometría y los sistemas axiomáticos”) del libro, especialmente el primer apartado
“Origen de los primeros conocimientos geométricos”.

Ejercicio 2
Respuesta correcta:

VERDADERO

SI Tu respuesta fue FALSO, tené en cuenta que la característica fundamental de los

documentos encontrados tanto en la Mesopotamia como en Egipto es que contienen
conocimientos aislados, no articulados entre sí. Allí aparecen resueltos informalmente
problemas de índole práctica, esto significa que no se ofrece prueba alguna o método
de resolución; simplemente se resumen los resultados.
En los textos matemáticos egipcios el tratamiento de los números y de las figuras era
de carácter concreto, no abstracto. Podemos encontrar en ellos afirmaciones parecidas
a que “25 aceitunas más 15 aceitunas son 40 aceitunas”, pero no aparece explicitado el
cálculo abstracto “25+15=40”. Del mismo modo, no se hace referencia a figuras
geométricas abstractas (rectángulo, círculo), sino a cuerpos materiales concretos,
como un terreno rectangular o una vasija circular.
En suma, la geometría prehelénica –o sea, la que desarrollaron distintos pueblos como
los de la Mesopotamia y el egipcio antes de la civilización griega– constituye una
técnica cuyo fin fundamental era la práctica. Intentaba dar respuesta a problemas
concretos y de índole cotidiana, por eso muchos de sus resultados no fueron precisos
ni rigurosos sino solo aproximados.
Te sugerimos que revises el capítulo 6 (“El nacimiento de la geometría y los sistemas
axiomáticos”) del libro, especialmente el primer apartado “Origen de los primeros
conocimientos geométricos”.

Ejercicio 3

Respuesta Correcta:

A. Tratamiento general: Ejemplos 1, 3 y 4.

B. Tratamiento particular: Ejemplos 2 y 5.

Si tu respuesta fue incorrecta, considrá que la principal contribución de Tales no fue la

resolución de problemas geométricos –muchos de los cuales ya la tenían–, sino el
tratamiento general de esos problemas. Esto le permitió formular y aplicar propiedades
de carácter general y dar más importancia a los métodos o estrategias involucrados en
la resolución de problemas que a las soluciones particulares. Podrás encontrar más
detalles y ejemplos en el apartado “Geometría griega” del capítulo 6 del libro.

Ejercicio 4

Respuesta correcta:

a.3
b.1;
c.2
d.2

Si tu respuesta fue otra, recordá que, para Aristóteles, la ciencia es un conjunto de

afirmaciones generales y necesariamente verdaderas sobre un determinado objeto
articuladas de un modo orgánico mediante un razonamiento lógico-deductivo. Dicho
razonamiento permite obtener ciertas afirmaciones llamadas teoremas a partir de otras
llamadas axiomas, de las cuales no se exige demostración. Al método para deducir
unas de otras se lo denomina método axiomático clásico. Podrás encontrar más
información en el apartado “Geometría euclidiana” del capítulo 6 del libro.
Ejercicio 5

Respuesta correcta:

A. Postulados: 3
B. Definiciones: 1
C. Nociones comunes: 2

Si tu respuesta fue otra, te sugerimos que revises el apartado “La geometría

euclidiana”. En los Elementos, Euclides distingue tres tipos de principios a los que
denomina postulados, nociones comunes y definiciones, respectivamente.
Los postulados –que en la actualidad llamamos axiomas– son aquellos enunciados que
se refieren a una ciencia en particular, en este caso la geometría. Por ejemplo, son
postulados de la geometría euclidiana los siguientes:

- Desde un punto a otro siempre se puede trazar una recta.

- Una recta se puede prolongar indefinidamente en cualquiera de sus dos
direcciones.

Las nociones comunes hacen referencia a cuestiones generales que pueden aplicarse
tanto a la geometría, como a otros ámbitos de la ciencia o de la vida cotidiana. Por
ejemplo:

- Cosas iguales a una misma cosa son iguales entre sí.

- El todo es mayor que cualquiera de sus partes.

Con respecto a las definiciones, son justamente explicitaciones los significados de

algunos términos clave. Euclides define todos los términos con los que trabaja. Por
ejemplo punto o recta:

- Un punto es lo que no tiene partes.

- Una línea es una longitud sin anchura.

Ejercicio 6

1. Respuesta correcta: Verdadero.

 Si pusiste FALSO, tu respuesta es incorrecta. Este es el 5º postulado de
Euclides, en la versión elaborada por el matemático escocés John Playfair
(1748-1719), que, si bien no es la formulación original, resultó ser la versión más
difundida. Te sugerimos que revises el capítulo 6 “La geometría euclidiana” del
libro, especialmente el apartado “El problema del quinto postulado”..

2. Respuesta correcta: Verdadero

Si tu respuesta fue FALSO, es incorrecta. Recordemos que para Euclides, un

requisito de los axiomas (o postulados) era que su verdad fuera evidente. Sin
embargo, la formulación original del quinto postulado resulta ser mucho menos
evidente que la de los cuatro primeros. Esto generó dudas con respecto a si este
postulado no podría ser, en realidad, un teorema. Te sugerimos que revises el
capítulo 6 “La geometría euclidiana” del libro, especialmente el apartado “El
problema del quinto postulado”.

3. Respuesta correcta: Verdadero

Si pusiste FALSO, tu respuesta es incorrecta. Para Euclides, un requisito de los

axiomas (o postulados) era que su verdad fuera evidente. Sin embargo, la
formulación original del quinto postulado resulta ser mucho menos evidente que
la de los cuatro primeros. Esto generó dudas con respecto a si este postulado no
podría ser, en realidad, un teorema. Este problema dio lugar a numerosos
intentos de demostrar el quinto postulado a partir de los anteriores. De hecho,
los primeros intentos de demostración de este postulado se remontan al siglo I
a.C. y se deben a Posidonio y a Gémino, astrónomos y matemáticos de esa
época. Sin embargo, dado que la ciencia permaneció aletargada en Europa
durante un largo período, recién en el siglo XVI, debido a una edición comentada
de los Elementos de Euclides elaborada por el matemático alemán Clavius
(1538- 1612), se retoman los intentos de demostración del quinto postulado. Te
sugerimos que revises el capítulo 6 “La geometría euclidiana” del libro,
especialmente el apartado “El problema del quinto postulado”.

4. Respuesta correcta: VERDADERO

Si elegiste FALSO, tu respuesta es incorrecta. En vez de tratar de demostrar el

quinto postulado solo partiendo de los cuatro primeros, Saccheri planteó una
demostración por vía indirecta o por el absurdo, tal como las que caracterizamos
en el capítulo 3. Esta demostración parte de los postulados 1º a 4º y de la
negación del quinto postulado como supuesto provisional. Saccheri supuso que
al negar el quinto postulado iba a obtener una contradicción. Una vez hallada la
 contradicción podría rechazar ese supuesto provisional y concluir la afirmación
del quinto postulado. Si como se sospechaba, el postulado 5º se deducía de los
anteriores (es decir, no era independiente) y se introducía, ahora, su negación, la
contradicción habría de surgir inexorablemente. Te sugerimos que revises el
capítulo 6 “La geometría euclidiana” del libro, especialmente el apartado “El
problema del quinto postulado”.

5. Respuesta correcta: FALSO

Si tu respuesta fue VERDAERO, tené en cuenta que en el segundo de los casos

que discutió Saccheri (“por un punto exterior a una recta, se puede trazar más
de una paralela a dicha recta”), no llegó a ninguna contradicción. En otras
palabras, a partir de la afirmación de los cuatro primeros postulados más la
negación del quinto involucrada en el segundo caso, no llegó a ninguna
contradicción. Sin embargo, obtuvo una cantidad de teoremas extraños. Los
teoremas extraños de Saccheri abrieron las puertas para el desarrollo futuro de
nuevas geometrías, pero eso ocurriría recién a principios del siglo XIX a partir de
las grandes contribuciones de matemáticos como el alemán Gauss, el húngaro
Bolyai y el ruso Lovachesvski. Te sugerimos que revises el capítulo 6 “La
geometría euclidiana” del libro, especialmente el apartado “El problema del
quinto postulado”.

Ejercicio 7

Respuestas correctas:

Geometría 5º postulado Consecuencia

1. Euclidiana C. Por un punto exterior a una i. La suma de los ángulos
recta es posible trazar una internos de un triángulo será
única línea paralela a esta. 180º
2. Hiperbólica B. Por un punto exterior a una iii. La suma de los ángulos
recta infinitas líneas paralelas internos de un triángulo será
a esta pueden ser trazadas. menor a 180º
3. Elíp ca A. Por un punto exterior a una ii. La suma de los ángulos
recta ninguna línea paralela a internos de un triángulo será
esta puede ser trazada. mayor a 180º
Si alguna de tus respuestas fue incorrecta, recordá lo siguiente: tal como estudiamos
en el capítulo 6 “El nacimiento de la geometría y los sistemas axiomáticos”, la
geometría euclidiana afirma en su quinto postulado que solo se puede trazar una única
recta paralela a otra en un punto externo a esta. Por su parte, la geometría hiperbólica
afirma que es posible trazar infinitas rectas paralelas, mientras que la geometría elíptica
afirma que no es posible trazar ninguna recta paralela. Estas diferencias en el quinto
postulado conducen a distintos resultados a la hora de sumar los ángulos internos de
un triángulo. En la geometría euclidiana los ángulos internos de un triángulo suman
180º, mientras en la hiperbólica esta suma es menor a 180º y, finalmente, en la elíptica
la suma es mayor a 180º. Te sugerimos que revises el apartado “Geometrías no
euclidianas” del capítulo 6 del libro.

Ejercicio 8

Respuesta correcta: VERDADERO

Si elegiste FALSO, tu respuesta es incorrecta. Como vimos en el capítulo 6 “El

nacimiento de la geometría y los sistemas axiomáticos”, la concepción contemporánea
de los sistemas axiomáticos no considera a los axiomas ni como verdaderos ni como
falsos por sí mismos, es necesario interpretarlos para que hablen sobre algún conjunto
de objetos en particular y recién ahí cabe preguntarse sobre su verdad o falsedad.
Supongamos, por ejemplo, el sistema formado por estos tres axiomas considerados
como estructuras formales.
1) Si un objeto A cualquiera está en la relación R con un objeto B cualquiera ,
entonces ese objeto B no está en la relación R con el objeto A.
2) Si un objeto A cualquiera está en la relación R con un objeto B cualquiera y B
está en la relación R con un objeto C cualquiera, entonces A está en la relación
R con C.
3) Ningún objeto está en la relación R consigo mismo.
Si interpretamos “está en la relación R con” como “está al norte de” y fijamos el dominio
de interpretación (los objetos involucrados) como lugares o ubicaciones, este sistema
resulta verdadero y nos permite sistematizar esa relación. Pero fijémonos que si
interpretamos “está en la relación R con” como “ganó más campeonatos que” y
tomamos como dominio el de los equipos de fútbol también obtenemos enunciados que
resultan verdaderos. Por el contrario, si interpretamos “está en la relación R con” como
“es hijo de” y tomamos como dominio el conjunto de las personas, obtenemos
enunciados verdaderos para 1 y 3, pero 2 resulta falso (el hijo del hijo de A es nieto de
A, no su hijo). Por eso decimos que desde una perspectiva formal los axiomas 1 a 3 no
son ni verdaderos ni falsos hasta que interpretamos términos como “está en la relación
R con” y fijamos el dominio de objetos a los que se aplican.
Te sugerimos que revises el apartado “Sistemas axiomáticos desde una perspectiva
contemporánea”.

Ejercicio 9
Respuesta correcta: FALSO

Si elegiste VERDADERO, tu respuesta es incorrecta. De acuerdo a la concepción

contemporánea de los sistemas axiomáticos, los axiomas (denominados postulados por
Euclides) son enunciados que se aceptan sin demostración y constituyen los puntos de
partida de las demostraciones. A diferencia de lo que ocurría con las concepciones de
Aristóteles y Euclides, no se exige que los axiomas sean verdades evidentes; los
axiomas son ahora enunciados que se aceptan como puntos de partida del sistema. De
acuerdo con el nuevo enfoque formal con que se aborda la formulación de los sistemas
axiomáticos, la exigencia respecto de la verdad de los axiomas pierde sentido. Esto es
así porque se considera que los axiomas no se refieren a entidades específicas, sino
que son meros constructos formales. Por eso no se puede predicar de ellos su verdad
o falsedad, y mucho menos, entonces, exigir que sean verdaderos.
Supongamos, por ejemplo, el sistema formado por estos tres axiomas considerados
como estructuras formales.
1) Si un objeto A cualquiera está en la relación R con un objeto B cualquiera ,
entonces ese objeto B no está en la relación R con el objeto A.
2) Si un objeto A cualquiera está en la relación R con un objeto B cualquiera y B
está en la relación R con un objeto C cualquiera, entonces A está en la relación
R con C.
3) Ningún objeto está en la relación R consigo mismo.
Si interpretamos “está en la relación R con” como “está al norte de” y fijamos el dominio
de interpretación (los objetos involucrados) como lugares o ubicaciones, este sistema
resulta verdadero y nos permite sistematizar esa relación. Pero fijémonos que si
interpretamos “está en la relación R con” como “ganó más campeonatos que” y
tomamos como dominio el de los equipos de fútbol también obtenemos enunciados que
resultan verdaderos. Por el contrario, si interpretamos “está en la relación R con” como
“es hijo de” y tomamos como dominio el conjunto de las personas, obtenemos
enunciados verdaderos para 1 y 3, pero 2 resulta falso (el hijo del hijo de A es nieto de
A, no su hijo). Por eso decimos que desde una perspectiva formal los axiomas 1 a 3 no
son ni verdaderos ni falsos hasta que interpretamos términos como “está en la relación
R con” y fijamos el dominio de objetos a los que se aplican.
Te sugerimos que revises el apartado “Sistemas axiomáticos desde una perspectiva
contemporánea”.

Ejercicio 10
Respuesta correcta: FALSO

SI elegiste VERDADERO, tu respuesta es incorrecta. Recordá que los teoremas de los

sistemas axiomáticos se obtienen por aplicación de reglas deductivas y no por medio
de reglas inductivas. Es bueno recordar que en los argumentos inductivos, a diferencia
de lo que ocurre con los deductivos, la verdad de las premisas no ofrece garantía de
verdad a la conclusión (revisar el capítulo 4 “Los argumentos inductivos y su
evaluación”). La respuesta correcta, entonces, es “falso”. Te sugerimos que revises el
apartado “Sistemas axiomáticos desde una perspectiva contemporánea”.

Ejercicio 11

Respuesta correcta: VERDADERO

Si elegiste FALSO, tu respuesta es incorrecta. Las reglas de inferencia que integran los
sistemas axiomáticos son deductivas. De modo que se trata de formas de argumento
válidas, y garantizan que, si se parte de enunciados verdaderos, las conclusiones
también serán verdaderas. Aplicado a los sistemas axiomáticos implica que si se
admiten los axiomas como verdaderos, los teoremas también lo son. Sin embargo,
corresponde hacer una aclaración. En la concepción contemporánea de los sistemas
axiomáticos, ni los axiomas ni los teoremas pueden considerarse por sí mismos como
verdaderos o falsos. Los que pueden ser verdaderos o falsos son los enunciados que
surgen cuando interpretamos los términos que aparecen en los axiomas para que se
refieran a entidades específicas. Te sugerimos que revises el apartado “Sistemas
axiomáticos desde una perspectiva contemporánea”.

Ejercicio 12

Respuestas correctas:

1. Concepción contemporánea
2. Concepción euclidiana.
3. Concepción contemporánea

Si elegiste otras opciones, recordá que según la concepción contemporánea, los

axiomas se asumen como puntos de partida de la demostración, pero no se asume que
sean verdaderos ni falsos. La referencia de los términos no lógicos de un sistema
axiomático se establece a partir de una determinada interpretación, ya que según esta
concepción, esos términos no refieren a nada específico por sí solos. Sólo una vez que
los términos reciben una interpretación (y se refieren a entidades específicas) podemos
hablar de verdad o falsedad. Para la concepción euclidiana, en cambio, esos términos
hacen referencia a una entidad concreta, y entonces los enunciados que los contienen
(axiomas y teoremas) pueden ser verdaderos o falsos. Te sugerimos que vuelvas a leer
el apartado “Sistemas axiomáticos desde una perspectiva contemporánea”.

Ejercicio 13

Respuesta correcta: 2-c

Si elegiste otra opción, tu respuesta es incorrecta. Recordá que si quisiéramos

demostrar los axiomas deberíamos recurrir o bien a nuevos enunciados, y lo mismo
para éstos, y así al infinito, o bien a algunos enunciados del sistema e incurrir entonces
en una circularidad viciosa.

Ejercicio 14

Respuesta correcta: B

Si elegiste otra opción tu respuesta es incorrecta. Tal como estudiamos en el capítulo,

un sistema axiomático es consistente si no pueden derivarse de sus axiomas un
enunciado y su negación. Te sugerimos que revises el último apartado “Propiedades
de los sistemas axiomáticos”.

Ejercicio 15

Respuesta correcta: B

Si elegiste otra opción, tu respuesta no es correcta. Recordá que la completitud de un

sistema nos garantiza que el sistema logre probar todas las verdades de aquel dominio
de objetos al que se aplica. Te sugerimos que revises el último apartado “Propiedades
de los sistemas axiomáticos”.

Ejercicio 16

Respuesta correcta: D

Si elegiste otra opción, la respuesta no es correcta. La independencia de un sistema

axiomático consiste en que ninguno de los axiomas pueda ser deducido de los demás
axiomas del sistema. Te sugerimos que revises el último apartado “Propiedades de los
sistemas axiomáticos”.
Ejercicio 17

Respuesta correcta: C

Si elegiste otra opción, la respuesta no es correcta. El enunciado que elegiste no se

deduce por la aplicación de la regla de inferencia indicada de los axiomas del sistema.
Si tenés dudas sobre la aplicación de las reglas de inferencia te sugerimos revisar el
apartado “Reglas de inferencia y deducciones” del capítulo 3 y los ejercicios
correspondientes.

Ejercicio 18

Respuesta correcta: B (NO)

Si elegiste A (SÍ), la respuesta no es correcta. No es consistente porque el enunciado

que se obtiene como teorema en el ejercicio anterior es precisamente la negación del
axioma 3.

Ejercicio 19

Respuesta correcta: A (SÍ)

Si elegiste B (NO), tu respuesta no es correcta. Es independiente porque ningún

axioma se deduce de los otros por la aplicación de la regla de inferencia indicada.

Ejercicio 20

Respuesta correcta: B

Este enunciado se deduce por la aplicación de la regla Silogismo hipotético de los

axiomas 3 y 4 del sistema.

Si elegiste otra opción, tu respuesta no es correcta. El enunciado que elegiste no se

deduce por la aplicación de la regla de inferencia indicada de los axiomas del sistema.
Si tenés dudas sobre la aplicación de las reglas de inferencia te sugerimos revisar el
apartado “Reglas de inferencia y deducciones” del capítulo 3 y los ejercicios
correspondientes.

Ejercicio 21

Respuesta correcta: A (Sí)

Si optaste por la otra opción, la respuesta no es correcta. El sistema es consistente

porque no surge ninguna contradicción de los cuatro axiomas.

Ejercicio 22

Respuesta correcta: B (NO)

El sistema no es independiente porque el axioma 3 se deduce por la aplicación de la

regla Silogismo hipotético de los axiomas 1 y 2.

Si elegiste la otra opción, tu respuesta no es correcta. Si tenés dudas sobre la

aplicación de las reglas de inferencia te sugerimos revisar el apartado “Reglas de
inferencia y deducciones” del capítulo 3 y los ejercicios correspondientes.