Regla de Inferencia

Una regla de inferencia o regla de transformación es una forma lógica que consiste en una función que
toma premisas, analiza su sintaxis, y devuelve una conclusión (o conclusiones).

Clases de Regla de Inferencia

Modus ponendo ponens

Modus ponendo ponens (en latín significa "la forma en que se afirma afirmando", generalmente
abreviado MP o modus ponens) o eliminación del implica es una forma simple de argumento válido y
regla de inferencia. Se puede resumir como "P entonces Q; P se afirma siendo verdad, por lo que, por
tanto, Q debe ser verdad."

El modus ponens puede establecerse formalmente como:

Donde la regla es que cada vez que una instancia de "P → Q" y "P" aparece por sí mismos en líneas de una
prueba lógica, Q puede ser colocado válidamente en una línea posterior; además, la premisa de P y la
implicación "disuelve", su único rastro siendo el símbolo Q que se mantiene para su uso posterior, por
ejemplo, en una deducción más compleja.

Modus tollendo tollens

La regla de inferencia modus tollens, también conocida como la ley de la contraposición, valida la forma
de inferencia implica y la contradictoria de , a la contradictoria de .

La regla modus tollens se puede afirmar formalmente como:

Donde significa "P implica Q", significa "no es el caso de que Q" (o en resumen "no Q").
Entonces, cada vez " "y" " cada una parece por sí mismas como una línea de una prueba,
" " se puede colocar válidamente en una línea posterior.

Silogismo hipotético

Es el nombre de una regla de inferencia válida (a veces abreviado SH y, a veces también llamado argumento
cadena, regla de cadena, o el principio de transitividad de la implicación). El silogismo hipotético es una
de las reglas de lógica clásica, que no siempre es aceptado en ciertos sistemas de lógica no clásica. La regla
puede afirmar:

Donde la regla es que cada vez que las instancias de " "y" " aparecen en las líneas
de demostración, " " se puede colocar en una línea posterior.

Ley de la Adición
Dado un enunciado cualquiera, es posible expresarlo como una elección (disyunción) acompañado por
cualquier otro enunciado.

a ´´He comprado manzanas´´

a˅b ´´He comprado manzanas o he comprado peras´´

Contrapositiva

También denominada contrapuesta o contrarrecíproca (por ser la recíproca de la inversa). Dada la

proposición condicional p-->q, su contrapuesta o contrapositiva es la proposición ~q-->~p. La condicional
y su contrapositiva son equivalentes en el sentido de que una es verdadera si y sólo si lo es la otra.

Ley de Simplificación

Si disponemos de un enunciado formado por dos miembros unidos por una conjunción, podemos hacer de
los dos miembros dos enunciados afirmados por separado

p˄q “Tengo una manzana y tengo una pera”

p “Tengo una manzana”

q ”Tengo una pera”