I.S.F.D. y T.
N° 103
Fundamentos de la Matemática
Prof. Jesica Astudillo
Un axioma es una afirmación que se acepta como verdadera sin necesidad de demostración dentro de un sistema lógico o
matemático. Es una base sobre la cual se construyen otras afirmaciones, llamadas teoremas, mediante reglas de
deducción.
Características de un axioma:
• Se adopta como punto de partida para desarrollar una teoría.
• No se justifica dentro del sistema: se supone verdadero.
• Debe ser claro, no contradictorio y, en lo posible, independiente de los demás axiomas.
• Su elección define en gran medida el tipo de geometría, aritmética o teoría lógica que se construirá.
Ejemplo:
En geometría euclidiana, un axioma (llamado también postulado) es:
“Por dos puntos distintos pasa una única recta.”
Este enunciado no se demuestra, se acepta y a partir de él se deducen muchas propiedades de las rectas, ángulos y
figuras.
1- ACTIVIDAD GRUPAL
Objetivo:
Comprender el sentido lógico y geométrico de los axiomas de Euclides, analizar su formulación, discutir su validez y
reflexionar sobre su papel en la construcción de la teoría geométrica.
Cada grupo debe:
• Interpretar el significado del axioma en lenguaje natural.
• Representarlo gráficamente.
• Buscar un ejemplo que lo ilustre.
• Explicar qué ocurriría si el axioma no se cumpliera.
• Presentar oralmente sus conclusiones.
Preguntas orientativas
1. ¿Cómo lo interpretamos con palabras simples?
2. ¿Podemos construir un ejemplo o dibujo que lo muestre?
3. ¿Qué consecuencias tendría si ese axioma no fuera cierto?
4. ¿Lo podemos considerar evidente? ¿Por qué?
5. ¿Podemos pensar otro tipo de geometría donde este axioma no se cumpla?
Se debate colectivamente: ¿todos los axiomas son igual de intuitivos? ¿Hay alguno que generó dudas o debate? ¿Cuál
parece más discutible?
Diferencia entre axioma y postulado
Ambos son enunciados que se aceptan sin demostración dentro de un sistema lógico o matemático. La diferencia entre
ellos radica principalmente en su ámbito de aplicación y su grado de generalidad.
Aspecto Axioma Postulado
Definición Enunciado general que se acepta Enunciado específico que describe
como verdadero sin demostración, una propiedad del espacio o del
aplicable a distintos contextos. objeto de estudio (como el espacio
geométrico).
1
I.S.F.D. y T. N° 103
Fundamentos de la Matemática
Prof. Jesica Astudillo
Carácter Lógico o abstracto: puede usarse en Geométrico o físico: suele aplicarse a
varias ramas de la matemática o un contexto espacial concreto.
lógica.
Ejemplo clásico “Si A = B y B = C, entonces A = C.” “Por dos puntos pasa una única
(axioma de la igualdad). recta.” (postulado de Euclides)
Universalidad Más general: puede pertenecer a Más contextual: propio de una teoría
sistemas diferentes específica
Uso actual En lógica formal, se tiende a usar el El término “postulado” se mantiene
término “axioma” para todos. en contextos históricos o geométricos
Ejemplos:
Ejemplo de axioma (de igualdad):
Si dos cantidades son iguales a una tercera, entonces son iguales entre sí.
Forma simbólica:
Si A = B y B = C, entonces A = C.
Tipo: Axioma lógico-matemático, válido en aritmética, álgebra, etc.
Ejemplo de postulado (geométrico, Euclides):
Por dos puntos distintos pasa una única recta.
Este es uno de los postulados básicos de la geometría euclidiana.
En la actualidad, especialmente en lógica matemática y teoría de conjuntos, se tiende a llamar axiomas a todos los
enunciados fundacionales, incluso los que antes se llamaban postulados. Sin embargo, en textos clásicos de geometría,
sigue siendo útil mantener la distinción:
• Axiomas: principios lógicos generales.
• Postulados: afirmaciones específicas sobre objetos geométricos
2- ACTIVIDAD GRUPAL
Objetivos:
• Diferenciar entre axiomas y postulados.
• Analizar ejemplos de cada tipo en contextos geométricos y lógicos.
• Aplicar axiomas y postulados a la resolución de situaciones.
• Justificar si una afirmación es aceptada como punto de partida (axioma/postulado) o puede ser deducida.
Cada grupo recibe una lista de enunciados. Deberán:
1. Clasificar cada enunciado como axioma, postulado o teorema (si consideran que se puede demostrar a
partir de otros).
2. Justificar por qué lo clasificaron así.
3. Señalar si el enunciado les parece evidente o discutible.
Lista de enunciados para clasificar:
1. Por dos puntos distintos pasa una única recta.
2. Si A = B y B = C, entonces A = C.
2
I.S.F.D. y T. N° 103
Fundamentos de la Matemática
Prof. Jesica Astudillo
3. Se puede trazar un círculo con cualquier centro y cualquier radio.
4. La suma es conmutativa: a + b = b + a.
5. Si se tienen dos ángulos rectos, son iguales entre sí.
6. Si a un número se le suma 0, resulta el mismo número.
7. Si dos rectas se cortan y forman ángulos menores que 180°, se encontrarán de ese lado.
Consigna:
Cada grupo elige uno de los enunciados que clasificó como postulado y:
1. Representa gráficamente una situación en la que se use (pueden usar hojas, regla o GeoGebra).
2. Describe un posible “mundo” (espacio geométrico, sistema lógico, etc.) donde ese postulado no se
cumpla.
3. Comenta: ¿qué consecuencias tendría para la matemática si no lo aceptáramos?
Cada grupo comparte brevemente sus conclusiones. Preguntas para la reflexión final:
• ¿Todos los axiomas y postulados son igual de “evidentes”?
• ¿Cómo cambiaría la matemática si cambiáramos un axioma?
• ¿Qué importancia tiene trabajar con sistemas fundados en axiomas?
3- ACTIVIDAD DE CIERRE
En grupos, inventen un mini-sistema matemático ficticio y coherente, basado en una temática concreta (puede ser objetos
geométricos, animales, números, figuras, etc.). Ese sistema debe tener:
1. Un universo o conjunto de objetos con los que van a trabajar.
2. Un lenguaje simple: definir al menos dos propiedades o relaciones entre esos objetos (pueden usar letras
o palabras).
3. 2 o 3 axiomas que aceptan como verdaderos en ese mundo.
4. 1 postulado específico, si eligen trabajar con geometría u objetos espaciales.
5. 1 teorema que puedan deducir a partir de sus axiomas, explicando los pasos de la deducción.
Ejemplo orientativo:
Universo: “Seres mágicos del bosque”
Lenguaje:
• P(x): “x es un unicornio”
• V(x): “x puede volar”
Axiomas:
• A1: Todo unicornio puede volar.
• A2: Estrella es un unicornio.
Postulado (si lo desean):
• Por dos unicornios puede volar un fénix entre ellos.
Teorema (a deducir):
• Estrella puede volar (por A1 y A2 usando Modus Ponens).
Cierre grupal:
Cada grupo expone brevemente su sistema. Se debate:
• ¿Cuál fue el mayor desafío?
• ¿Qué tan arbitraria puede ser la elección de axiomas?
• ¿Qué valor tiene construir desde fundamentos?
3
I.S.F.D. y T. N° 103
Fundamentos de la Matemática
Prof. Jesica Astudillo
Modus Ponens es una regla de inferencia lógica, es decir, una forma válida de sacar una conclusión a partir de dos
afirmaciones.
Su estructura es:
1. Si pasa A, entonces pasa B.
2. Pasa A.
3. Entonces, pasa B.
Ejemplo cotidiano:
1. Si llueve, entonces me llevo paraguas.
2. Está lloviendo.
3. Entonces, me llevo paraguas.
Acá:
• “Si llueve, entonces me llevo paraguas” es la primera afirmación.
• “Está lloviendo” es la segunda afirmación (la condición se cumple).
• La conclusión lógica es: me llevo paraguas.
Eso es Modus Ponens: si una condición implica algo, y la condición ocurre, entonces lo que implica también ocurre.
Ejemplo matemático:
1. Si un número es par, entonces es divisible por 2.
2. 8 es un número par.
3. Entonces, 8 es divisible por 2.
Forma simbólica (solo si te interesa más adelante):
• P → Q (“si P, entonces Q”)
• P (se cumple P)
• Por lo tanto, Q
¿Por qué es importante?
Modus Ponens es una de las reglas más básicas y seguras para hacer deducciones lógicas. Es como una herramienta que
usamos todo el tiempo sin darnos cuenta, tanto en la vida diaria como en matemáticas y ciencias.
