¿Qué es una regla de inferencia?

Una regla de inferencia es una forma de argumento

válida que se utiliza para hacer deducciones, transformando las premisas hasta llegar a la
conclusión.

Una deducción es un razonamiento que hacemos utilizando reglas de inferencia. En una

deducción partimos de información dada (premisas) con el objetivo de llegar a una
conclusión. Usualmente la conclusión la tenemos de “antemano” y lo que hacemos con la
deducción es constatar que es legítimo partir de determinadas premisas y llegar a dicha
conclusión.

Algunas reglas de inferencias

MODUS PONENS MODUS TOLLENS SILOGISMO DISYUNTIVO

A→B A→B AvB

A ¬B ¬A
--------- --------- --------
B ¬A B

SILOGISMO HIPOTÉTICO SIMPLIFICACIÓN ADJUNCIÓN

A→B A∧B A
B→C -------- B
--------- A --------
A→C A∧B

INTRODUCCIÓN DE LA DOBLE NEGACIÓN CONTRAPOSITIVA

DISYUNCIÓN

A ¬¬A A A→B ¬B → ¬A
---------- --------- -------- -------------- ---------------
AvB A ¬¬A ¬B → ¬A A→B

Las reglas de inferencia están expresadas en letras mayúsculas porque representan

esquemas de argumentos, son “formas genéricas”. Mientras que en los ejemplos en los
cuales se aplican las reglas utilizamos letras minúsculas de la p a la v. Se utilizan estas
letras por convención.

¿Cómo se realiza una deducción?

Esta forma de realizar una deducción es una sugerencia. Daremos una serie de pasos a
seguir:

1°) Mirar la conclusión a la que hay que llegar

2°) Ver si la conclusión aparece en alguna de las premisas
3°) Pensar qué regla de inferencia me permitiría sacar la conclusión de la premisa en la que
se encuentre. Para saber qué regla hay que usar, hay que tener en cuenta la conectiva
principal de la proposición en la que se encuentra la conclusión.
4°) Lo más probable es que para poder sacar la conclusión de la premisa, necesite “partes”
de otras premisas a las que habrá que “desarmar” también aplicando reglas de inferencia.
Proceder así hasta encontrar un punto en el que no hay que “desarmar” nada. Empezar por
ahí. Lo último que pienso es lo primero que escribo y lo primero que pienso (cómo saco la
conclusión) es lo último que escribo.