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

En lgica, especialmente en lgica matemtica, una regla de inferencia es un esquema para construir inferencias vlidas. Estos esquemas establecen relaciones sintcticas entre un conjunto de frmulas llamados premisas y una asercin llamada conclusin. Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva. Inductiva (de lo 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 conclusin no necesariamente es vlida porque puede ser que el maestro algn da llegue temprano. En general una inferencia inductiva es la que se desprende de una o varias observaciones y en general no podemos estar seguros de que ser verdadero lo que conclumos. En este caso podemos mencionar el ejemplo el mentiroso: Un joven le dice a un amigo, tu todos los das dices mentiras, y el contesta, no es cierto, ayer en todo el da no dije una sla mentira. Resumiendo, la inferencia inductiva es la ley general que se obtiene de la observacin de uno o ms casos y no se puede asegurar que la conclusin sea verdadera en general. 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, conclumos que el da de hoy que est lloviendo hay nubes. Tambin se conoce como inferencia deductiva cuando tenemos un caso que analiza todos los posibles resultados y de acuerdo a las premisas slo hay una posible situacin, en este caso decimos que la situacin nica es la conclusin. Es este caso estamos seguros de que si las premisas son verdaderas entonces la conclusin tambin lo es. En este caso se encuentran MPP: Modus PonendoPonens y MTT: Modus TollendoTollens que de acuerdo a la tabla de verdad de la condicional son dos formas de establecer una inferencia vlida. La inferencia deductiva es la nica aceptada como vlida en matemticas y computacin para hacer comprobaciones

y sacar conclusiones. El tema se discute en forma detallada ms 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 drante los primeros das y conclumos que el lunes siguiente tambin llegar tarde. O del amigo que varias veces nos ha mentido y conclumos que lo que nos dice es ese momento es mentira. El anterior sera de particular a particular, un caso de general a general es por ejemplo de un compaero maestro que la primera vez que imparti matemticas discretas observ que todos los alumnos estudiaban, concluy que para el siguiente semestre todos los alumnos iban a estudiar. Este es un caso donde como en el caso inductivo, no podemos estar seguros de que la conclusin es verdadera. Abductiva es semejante a la deductuva, tambin utiliza la estrategia de analizar todas las posibilidades, pero en este caso hay varios casos que se pueden presentar, como por ejemplo si se sabe que siempre que llueve hay nubes y se sabe que hay nubes se puede concluir que llueve, pero no se tiene la certeza, al igual que el caso inductivo y transductivo no es una forma vlida de obtener conclusiones en matemticas o en lgica y es necesario conocer ms informacin para poder verificar la validez.

MPP Modus ponendoponens AB A ----B MTTModustollendotollens AB B ----A SD Silogismo Disyuntivo

AB A ----B SH Silogismo hipottico AB BC ----AC LS Ley de simplificacin AB ----A LA Ley de adicin A ----AB CONTRAPOSITIVA AB ----B A