reglas de inferencia

En lógica, una  regla de inferencia  es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión.
Estas relaciones sintácticas son usadas en el proceso de inferencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas. Las reglas también seaplican a la lógica informal y a las discusiones, pero la formulación es mucho más difícil y polémica.
Como se mencionó, la aplicación de una regla de inferencia es un procedimiento puramente sintáctico. Sin embargo, debe también ser válido, o mejor dicho, preservar la validez. Para que el requisito de preservación de la validez tenga sentido, es necesaria una cierta forma semántica para lasaserciones de las reglas de inferencia y las reglas de inferencia en sí mismas.
Reglas de inferencia clásicas
Algunas de las reglas de inferencia más conocidas son:
En la lógica proposicional:
Modus ponendo ponens
Modus ponendo tollens
Modus tollendo ponens
Modus tollendo tollens
Silogismo hipotético
Silogismo disyuntivo

REGLAS DE INFERENCIA
La inferencia es la forma en la que obtenemosconclusiones en base a datos y declaraciones establecidas.
En lógica, especialmente en lógica matemática, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión.
Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva.
Inductiva (delo particular a lo general)
Aquí por ejemplo si durante la primera semana el maestro llega 10 minutos tarde, podemos concluir que todo el semestre va a llegar tarde. Esta conclusión no necesariamente es válida porque puede ser que el maestro algún día llegue temprano. En general una inferencia inductiva es la que se desprende de una o varias observaciones y en general no podemos estar seguros deque será verdadero lo que concluímos.
En este caso podemos mencionar el ejemplo el mentiroso: Un joven le dice a un amigo, tu todos los días dices mentiras, y el contesta, no es cierto, ayer en todo el día no dije una sóla mentira.
Resumiendo, la inferencia inductiva es la ley general que se obtiene de la observación de uno o más casos y no se puede asegurar que la conclusión sea verdadera engeneral.
Deductiva (de lo general a lo particular)
Cuando se conoce una ley general y se aplica a un caso particular, por ejemplo se sabe que siempre que llueve hay nubes, concluimos que el día de hoy que está lloviendo hay nubes. También se conoce como inferencia deductiva cuando tenemos un caso que analiza todos los posibles resultados y de acuerdo a las premisas sólo hay una posible situación,en este caso decimos que la situación única es la conclusión. Es este caso estamos seguros de que si las premisas son verdaderas entonces la conclusión también lo es.
En este caso se encuentran MPP: Modus Ponendo Ponens y MTT:
Modus TollendoTollens que de acuerdo a la tabla de verdad de la condicional son dos formas de establecer una inferencia válida. La inferencia deductiva es la únicaaceptada como válida en matemáticas y computación para hacer comprobaciones y sacar conclusiones. El tema se discute en forma detallada más delante en INFERENCIA DEDUCTIVA CON UNA CONDICIONAL.
Transductiva (de particular a particular o de general a general) con el mismo caso del maestro que llega tarde durante los primeros días y concluimos que el lunes siguiente también llegará tarde. O del amigo quevarias veces nos ha mentido y concluimos que lo que nos dice es ese momento es mentira.
El anterior sería de particular a particular, un caso de general a general es por ejemplo de un compañero maestro que la primera vez que impartió matemáticas discretas observó que todos los alumnos estudiaban, concluyó que para el siguiente semestre todos los alumnos iban a estudiar.
Este es un caso donde...