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.
Conceptos-de-logica-simbólica-proposicional

Lógica Simbólica(Descargar)

You May Also Like

About the Author: Salomón CB

Soy matemático puro. He creado este sitio para analizar temas de interés matemático en el instituto o la universidad, sobre todo aquellos temas que puedan comprobarse con herramientas de software y así contrastar resultados. De momento ese es objetivo. Mas adelante veré si se hacen adecuados foros de debate. Sea Ud. bienvenido y siéntase libre de participar con sus comentarios o sugerencias.

Este sitio web utiliza cookies para que usted tenga la mejor experiencia de usuario. Si continúa navegando está dando su consentimiento para la aceptación de las mencionadas cookies y la aceptación de nuestra política de cookies, pinche el enlace para mayor información.

ACEPTAR
Aviso de cookies