Inferencia logica

Inferencia Lógica
Primero presentamos los tipos de inferencia, la inferencia válida en computación y matemáticas y al final una serie de reglas que se utilizan para la inferencia deductiva.
La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas.
Un argumento, por ejemplo es una inferencia, donde las premisas son los datos o expresionesconocidas y de ellas se desprende una conclusión.
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 conclusión no necesariamente es válida porque puede ser que el maestro algún día lleguetemprano. 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 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 sola mentira.
Resumiendo, la inferenciainductiva 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 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, concluimos que el día de hoy que está lloviendo hay nubes. También se conoce comoinferencia 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 Tollendo Tollens que deacuerdo a la tabla de verdad de la condicional son dos formas de establecer una inferencia válida. La inferencia deductiva es la única aceptada como válida en matemáticas y computación para hacer comprobaciones y sacar conclusiones.
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 lunessiguiente también llegará tarde. O del amigo que varias 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 losalumnos iban a estudiar.
Este es un caso donde como en el caso inductivo, no podemos estar seguros de que la conclusión es verdadera.
Abductiva es semejante a la deductiva, también 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 puedeconcluir que llueve, pero no se tiene la certeza, al igual que el caso inductivo y transductivo no es una forma válida de obtener conclusiones en matemáticas o en lógica y es necesario conocer más información para poder verificar la validez.
Ejemplo: Dadas las condiciones escritas antes de la raya, qué podemos concluir?
Si llueve hay nubes.
Hay nubes.
- - - - - - - - - - - - -            

Sihaces la tarea te llevo al cine.
Lo vimos en el cine.
- - - - - - - - - - - - - - - - - - - - -            
Si se hace el experimento en un salón de clases o con un grupo de personas, en el primer caso todos contestan que no se sabe pues puede o no llover. Sin embargo en el segundo caso casi todos coinciden en que sí hay conclusión y que se está seguro que hizo la tarea.
Analicemos los...