4Leyes de InferenciaLeyes de inferencia  
Leyes de Inferencia
Leyes de inferencia  
00:00
Subtítulos
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).

