Reglas de inferencias



Introducción

Antes de hablar acerca de las reglas de inferencia es bueno resaltar algunos conceptos claros y básicos para el entendimiento de este; uno de ellos son las lógica.

La lógica es una rama de la filosofía la cual estudia la demostración e inferencia valida. Es una rama de la matemática que se desarrollo en el siglo XIX, es considerada como la ciencia del razonamiento.

El estudio de la lógica y de las proposiciones nos ayudara a tener un pensamiento preciso y herramientas para argumentar claramente situaciones de una manera mas exacta.

Desarrollo

Existen tres tipos de sistema lógico:

Las proposiciones son afirmaciones con un único valor de verdad; ó son verdaderas o falsas.

Las reglas de inferencia son también llamadas reglas de transformación y su principal característica es que nos permiten dar conclusiones muy bien formadas y validas a partir de otras premisas.

Las reglas de inferencia se clasifican en: Atómicas (Simples) y Moleculares (Compuestas)

Dentro de la inferencia encontramos sus reglas en donde es muy fácil aprender su uso. Se debe utilizar las preposiciones o formas lógicas nombres que se le dará a las preposiciones.

Una premisa verdadera conducirá a una conclusión verdadera.

Monografias.com

La regla de inferencia son argumentos validos breves que se utilizan dentro de un argumento mas largos como una demostración.

DEMOSTRACIONES:

Monografias.com

EJEMPLO:

Modus Ponens: Llamada también ley de separación

Gane los exámenes

Por lo tanto me va bien en el promedio

Me porte bien

Entonces iré a la fiesta

Modus Tollens:

No saque mala nota

Por lo tanto no perdí el parcial

Manuel fue a mi cumpleaños

Entonces Manuel no estaba enfermo

Silogismo Hipotético:

Silogismo Disyuntivo:

Adición:

Una proposición lógica que no es una tautología (algo que resulta verdadero) se denomina contingencia.

Las reglas de inferencia pueden ser comprobadas mediantes las tablas de verdad, obteniéndose siempre una tautología es decir que los valores verdad son siempre verdaderos.