Induccion

Reglas de inferencia

Las reglas de inferencia son esquemas básicos de inferencia deductiva que se suelen escribir poniendo cada premisa en una línea y la conclusión en otra línea al final. Todaregla, como toda inferencia deductiva, tiene que estar basada en la implicación de la conclusión a partir de las premisas. Veamos algunas de las más conocidas:
La regla de modus ponens dice que si unapremisa tiene la forma de condicional y la otra afirma el antecedente entonces es válida la inferencia que consiste en afirmar el consecuente:
P1:
P2:
C:
Está basada en la tautología (que enun sistema axiomático completo es también una ley, Apartado 3.2.2) llamada modus ponens: ((( ) ) )
En rigor, una cosa es la tautología, que es una sentencia en el lenguaje de la lógica, y otra laregla de inferencia que de ella se deriva, que es una norma para hacer deducciones y pertenece al metalenguaje («premisa» , «conclusión» , «regla» , etc. se refieren al lenguaje; por tanto son partede un metalenguaje). No obstante utilizaremos el mismo nombre para ambas. El nombre es una forma abreviada de la expresión «modus ponendo ponens» con la que los lógicos medievales se referían a aquélmodo 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 uncondicional entonces se puede negar su antecedente:
P1:
P2: ¬
C: ¬
Está basada en ((( ) ¬) ¬)
El nombre completo es «modus tollendo tollens» : negando (tollendo) el consecuente se puede negar(tollens) el antecedente.
La reglas de introducción de conjunción y disyunción permiten concluir la conjunción y la disyunción de dos premisas:
P1:
P2:
C1:
C2:
Están basadas en (( ) ( ))y (( ) ( ))
La regla de eliminación de conjunción:
P:
C1:
C2:
Está basada en (( ) ) y (( ) )
La regla de encadenamiento:
P1:
P2:
C:
Está basada en la transitividad...