Universidad Abierta y a Distancia de México

Lógica Matemática

Unidad 3

Actividad complementaria

Alumno: Josué Samuel Priego Sanabria

Doceavo Semestre
1. Establezca un teorema de alguna ciencia que sea de tu interés personal, utiliza los

elementos de deducibilidad, validez, completud y modelado para establecer que es un

enunciado que cumple todas los elementos necesario para establecer que es un teorema.

Ejemplifica el proceso de la argumentación de tu demostración aplicando el lenguaje de

primer orden en forma amplia y completa.

Como modelo de teorema, utilizaré el Teorema de Pitágoras, que es un resultado

fundamental en la geometría euclidiana.

En lenguaje de primer orden, podemos enunciar el teorema de la siguiente manera:

Para todo triángulo rectángulo, si a y b son las longitudes de los catetos y c es la

longitud de la hipotenusa, entonces c^2 = a^2 + b^2.

Para demostrar que este enunciado es un teorema, es necesario demostrar que cumple

con los elementos de deducibilidad, validez, completud y modelado.

Deducibilidad: Este enunciado se puede deducir de los axiomas y definiciones básicas

de la geometría euclidiana, sin necesidad de supuestos adicionales.

Validez: El enunciado es verdadero para cualquier triángulo rectángulo. Esto puede

comprobarse por medio de la demostración geométrica o algebraica, o bien, por medio de

la comprobación empírica en casos particulares.

Completud: El enunciado es completo en el sentido de que no deja ninguna posibilidad

sin considerar. Es decir, establece una relación precisa entre las longitudes de los lados de

un triángulo rectángulo.
 Modelado: El enunciado se puede modelar en diferentes contextos, como la geometría

plana, la geometría del espacio y la trigonometría, y sigue siendo válido en cada uno de

estos contextos.

2. Defina según su propia experiencia y palabras como el lenguaje de primer orden permite

establecer herramientas prácticas para el planteamiento de las matemáticas y las ciencias.

El lenguaje de primer orden es una herramienta formal para expresar proposiciones

matemáticas y científicas en términos precisos y rigurosos. Permite establecer una sintaxis

y semántica bien definidas, lo que facilita la manipulación y el análisis de las

proposiciones en un marco lógico riguroso.

Al utilizar el lenguaje de primer orden, se pueden enunciar las propiedades de los

objetos matemáticos y científicos y establecer las relaciones entre ellos de manera clara y

precisa. Esto permite una mayor claridad y rigor en la formulación de teoremas,

definiciones y axiomas, lo que a su vez conduce a una mejor comprensión y aplicación de

los conceptos.

Además, el lenguaje de primer orden permite la formalización de las demostraciones

matemáticas y científicas, lo que facilita la verificación y validación de las conclusiones

obtenidas. Esto es especialmente útil en áreas de la matemática y la ciencia que requieren

un alto grado de precisión y rigor, como la lógica matemática, la teoría de conjuntos, la

geometría y la física teórica.

3. Desarrolla argumento de aproximación para el lenguaje de segundo orden en la lógica

matemática.

En la lógica matemática, el lenguaje de segundo orden se utiliza para expresar

propiedades de conjuntos y relaciones entre ellos. A diferencia del lenguaje de primer

orden, que solo permite cuantificar sobre objetos individuales, el lenguaje de segundo

orden permite cuantificar sobre conjuntos de objetos.

El lenguaje de segundo orden puede ser muy útil en la formulación de teoremas y

proposiciones que involucran propiedades de conjuntos. Por ejemplo, en la teoría de

conjuntos, es necesario expresar propiedades de conjuntos que no se pueden expresar en el

lenguaje de primer orden, como la propiedad de que un conjunto es infinito.

Sin embargo, el lenguaje de segundo orden también puede ser menos manejable que el

lenguaje de primer orden. En particular, la lógica de segundo orden es más difícil de

analizar y, en general, no es decidible, lo que significa que no existe un algoritmo que

pueda determinar si una fórmula es verdadera o falsa en todos los casos.

Por esta razón, en la práctica, se utiliza con más frecuencia la lógica de primer orden

que la lógica de segundo orden. Además, en muchos casos, se pueden utilizar técnicas y

herramientas de la lógica de primer orden para aproximar propiedades de conjuntos que se

expresarían en el lenguaje de segundo orden.

Por ejemplo, en la teoría de conjuntos, la propiedad de que un conjunto es infinito se

puede aproximar utilizando el lenguaje de primer orden. En particular, se puede definir un

 conjunto como infinito si existe una función inyectiva desde los números naturales en el

conjunto. Esta definición puede expresarse en el lenguaje de primer orden y, por lo tanto,

es manejable y decidible.

4. Establece tus conclusiones en relación a lo revisado en la materia y su aplicación en tu

desarrollo profesional.

La lógica matemática es una herramienta esencial en el desarrollo profesional en diversas

áreas. Su aplicación permite el diseño, análisis y verificación de sistemas complejos, así

como la formalización y representación de teorías y sistemas formales. Por lo tanto, es

importante que los profesionales tengan un conocimiento sólido de la lógica matemática

para poder aplicarla en su trabajo de manera efectiva.

Referencias
González, E. (2012). Introducción a la Lógica Matemática. Barcelona: Ariel.
Leary, C., & Kristiansen, L. (2015). A Friendly Introduction to Mathematical Logic (Segunda
ed.). Genesco: Milne Library.
UnADM. (s.f.). Lógica matemática. Recuperado el 5 de Junio de 2023, de Unidad 3. Validez,
completud y modelos en la lógica de primer orden.