3.1.6.

Reglas de inferencia Las reglas de inferencia son esquemas bsicos de inferencia deductiva que se suelen escribir poniendo cada premisa en una lnea y la conclusin en otra lnea al final. Toda regla, como toda inferencia deductiva, tiene que estar basada en la implicacin de la conclusin a partir de las premisas. Veamos algunas de las ms conocidas: La regla de modus ponens dice que si una premisa tiene la forma de condicional y la otra afirma el antecedente entonces es vlida la inferencia que consiste en afirmar el consecuente: P1: P2: C: Est basada en la tautologa (que en un sistema axiomtico completo es tambin una ley, llamada modus ponens: ((( ) ) )

En rigor, una cosa es la tautologa, que es una sentencia en el lenguaje de la lgica, y otra la regla de inferencia que de ella se deriva, que es una norma para hacer deducciones y pertenece al metalenguaje (premisa, conclusin, regla, etc. se refieren al lenguaje; por tanto son parte de un metalenguaje). No obstante utilizaremos el mismo nombre para ambas. El nombre es una forma abreviada de la expresin modus ponendo ponenscon la que los lgicos medievales se referan a aqul modo de razonar mediante el cual afirmando (ponendo) el antecedente de un condicional se puede afirmar (ponens) su consecuente. La regla de modus tollens dice que si se niega el consecuente de un condicional entonces se puede negar su antecedente: P1: P2: C: Est basada en ((( ) ) )

La reglas de introduccin de conjuncin y disyuncin permiten concluir la conjuncin y la disyuncin de dos premisas: P1: P2:

C1: C2: Estn basadas en (( ) ( )) y (( ) ( ))

La regla de eliminacin de conjuncin: P: C1: C2: Est basada en (( ) )y (( ) )

La regla de encadenamiento: P1: P2: C: Est basada en la transitividad del condicional: ((( ) ( )) ( ))

Las reglas anteriores son intuitivamente razonables. He aqu otra que no lo es tanto, pero que como veremos nos va a resultar muy til: La regla de resolucin: P1: P2: C: Est basada en ((( ) ( )) ( ))

Cualquier implicacin lgica, y, por tanto, cualquier equivalencia, da lugar a una inferencia deductiva. Por ejemplo, la equivalencia era: ( ( )) ( ( ))

De aqu que podamos hacer las inferencias: P: ( )

C: y P: C:

( (

) )