logica matematica

LÓGICA MATEMÁTICA










PRESENTADO POR: RODOLFO VILLAFAÑE












UNIVERSIDAD AUTONOMA DEL CARIBE
FACULTAD PSICOLOGIA
25/03/2014
RESUMEN SOBRE INFERENCIA LÓGICALa inferencia lógica es un mecanismo de derivación sintáctica que a partir de un conjunto dado de fórmulas permite derivar nuevas fórmulas, utilizando operaciones que se denominan reglas deinferencia.

LOGICA MATEMATICA
Argumento dado dentro de un determinado sistema formal. En un nivel avanzado, la lógica matemática se ocupa de la posibilidad de axiomatizar las teorías matemáticas, declasificar su En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un capacidad expresiva, y desarrollar métodos computacionales útiles en sistemas formalesINFERENCIA
La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas.

INFERENCIA LÓGICA
En un nivel elemental, la lógica proporciona reglas ytécnicas para determinar si es o no válido un argumento dado dentro de un determinado sistema formal. En un nivel avanzado, la lógica matemática se ocupa de la posibilidad de axiomatizar las teoríasmatemáticas, de clasificar su capacidad expresiva, y desarrollar métodos computacionales útiles en sistemas formales

CLASES DE INFERENCIA


1. Inferir por lógica clásica: Inferencia que sólo admite dosvalores: verdadero o falso.
2. Inferencia trivaluada: Una inferencia de este estilo da como posibles resultados tres valores.
3. Inferencia multivaluada: Una inferencia de este estilo da como posiblesresultados múltiples valores.





INFERENCIA DEDUCTIVA

Es la característica que define un argumento deductivo válido es que es imposible que sean verdaderas todas las premisas y laconclusión falsa, porque la información contenida en la conclusión ya está almacenada en las premisas, tomadas colectivamente.

INFERENCIA INDUCTIVA
Es la característica que define un argumento...