Lógica Inferencial

simbolos usados en la inferencia logica

Es una rama de la lógica encargada del estudio de los procesos que buscan sacar conclusiones a partir de afirmaciones asumidas como verdaderas. Dichos procesos se llaman inferencias, existen muchas clases de ellas, Matemática Universitaria se centrará de momento en las del tipo simbólico.

Las propiedades matemáticas como teoremas, proposiciones, lemas, corolarios que se estudian en análisis matemático tienen una estructura inferencial, específicamente son implicaciones notables, uno podrá notarlo al usar las justificaciones para demostrarlas.

Los datos de la propiedad forman la hipótesis, y la conclusión (la afirmación que se va a demostrar) se le llama tesis. Algunas de las inferencias notables que se usan para las demostraciones de dichos teoremas o propiedades matemáticas es la prueba formal de invalidez conocida también como reducción al absurdo.

La lógica más usada en las matemáticas universitarias sobre todo en los primeros ciclos es conocida también como lógica simbólica que maneja muchos conceptos que sirven para comprender las demostraciones de los teoremas, proposiciones, corolarios, lemas y sus similares.

Este documento aporta los primeros temas de ese tipo de lógica. Próximamente colgaré la segunda parte.

Lógica Simbólica (Descargar PDF)


⬇ Deja me gusta y comparte ⬇

You May Also Like

About the Author: Salomón CB

Soy matemático con amplia experiencia. He creado este sitio para profundizar e ilustrar temas de interés matemático, de los que se aprenden durante los primeros semestres en la universidad. Dando importancia tanto a los problemas abstractos (simbólicos) como a los que tengan aplicaciones prácticas (realidad). Sea Ud. bienvenido y siéntase libre de participar con sus comentarios o sugerencias.
Abrir chat
1
Hola 👋🏻
¿Necesitas ayuda en tus exámenes online?
Consulta aquí.