INFERENCIAS LOGICAS
Para la definición de inferencias lógicas es necesario tener la capacidad y precisión de dos conceptos básicos: razonamiento y demostración.
En primer lugar, razonamiento es el proceso que se realiza para obtener una demostración.
En consecuencia la demostración es el encadenamiento lógico de proposiciones de tal forma se obtenga una conclusión.
En este orden de ideas, las inferencias lógicas son las conclusiones obtenidas después de realizar un razonamiento. Este razonamiento se considera válido si cumple los siguientes requisitos:
- Las premisas iniciales deben ser verdaderas
- durante el proceso de deducción las premisas deben cumplir las leyes de la lógica.
Ahora bien, las inferencias lógicas tienen una representación visual de la siguiente manera.
p → q
Premisa conclusión
No hay comentarios:
Publicar un comentario