Las leyes de inferencia son mecanismos
sintácticos que permiten deducir y razonar
lógica y coherente-mente una inferencia o
conclusión a partir de hechos que ya
conocemos.Realizar inferencias significa derivar
nuevos hechos a partir de un conjunto de otros
hechos conocidos y que son verdaderos.
tipos de leyes de inferencia
LOGICAS MATEMATICAS
concepto:
Es la disciplina que estudia métodos de análisis y razonamiento;
utilizando el lenguaje de las matemáticas como un lenguaje analítico. La
lógica matemática nos ayuda a establecer criterios de verdad,
equivalencias lógicas tales como el silogismo, hacer demostraciones de
teoremas que participan en el análisis de argumentos planteados.
Dentro de la misma, se complementa también de la heurística para
resolver problemas y es muy útil en matemáticas.
Suele dividirse en cuatro
subcampos:
teoría de modelos
teoría de la demostración
teoría de conjuntos
teoría de los sistemas formales
RAZONAMIENTOS LOGICOS
Un razonamiento lógico, en
definitiva, es un proceso mental
que implica la aplicación de la
lógica. A partir de esta clase de
razonamiento, se puede partir
de una o de varias premisas
para arribar a una conclusión
que puede determinarse como
verdadera, falsa o posible.