4

Leyes de Inferencia

Leyes de inferencia  

En un cálculo lógico, las reglas de inferencia o reglas de transformación son aquellos esquemas formales que nos permiten derivar unas fórmulas bien formadas (conclusiones) a partir de otras (premisas). (Cardona, 2010)

Para usar el método de demostración por leyes de inferencia, debes seguir los siguientes pasos:

• 1. Identificar las premisas y la conclusión en el argumento.
• 2. Construir la tabla de verdad donde se encuentren incluidas las premisas y la conclusión.
• 3. Revisar que el resultado final de la tabla de verdad da como resultado un argumento válido o una TAUTOLOGÍA.
• 4. Organizar y enumerar de forma vertical las premisas e identificar la conclusión.
• 5. Aplicar las leyes de inferencia indicando cuáles de ellas se utilizaron con la abreviatura de la ley aplicada.
• 6. Repetir el paso 5 hasta llegar a la conclusión.

• Premisas: Hipótesis que se plantean, supuestos básicos, proposiciones, fórmulas, enunciados. Todas las anteriores cuando se plantean siempre se consideran como verdaderas.
• Conclusión: Proposición que se desea probar a partir de las premisas.
• Reglas de Inferencia: Conjuntos de pasos que se utilizan para obtener otras conclusiones de acuerdo con las premisas.(Cardona, 2010).