En resumen

REGLAS DE INFERENCIA La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas. Enlógica, especialmente enlógica matemática, unaregla de inferenciaes un esquema para construirinferenciasválidas.

Mejor respuesta

Majitosaritama
2

REGLAS DE INFERENCIA

La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas.

Enlógica, especialmente enlógica matemática, unaregla de inferenciaes un esquema para construirinferenciasválidas.

Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamadospremisasy una aserción llamadaconclusión.

Una inferencia puede ser : Inductiva, deductiva, transductiva y abductiva.

PRINCIPALES REGLAS DE INFERENCIA

MPPModus ponendoponens

A → B

A - - - - -

B

MTTModustollendotollens

A → B

¬B - - - - -

¬A

SDSilogismo Disyuntivo

A∨B

¬A - - - - -

¬B

SHSilogismo hipotético

A → B

B → C - - - - -

A → C

LSLey de simplificación

A∧B - - - - -

A

LALey de adición

A - - - - -

A∨B

CONTRAPOSITIVA

A → B - - - - -

¬B → ¬A

La comprobación de las reglas anteriores es directa y basta hacer una fórmula con la conjunción de las premisas condicional la conclusión y probar que es una tautología, por ejemplo haciendo una tabla y obtener todos los vaores verdaderos.