inferencia logica

 Inferencia Lógica 
Se llama inferencia lógica a la aplicación de una regla de transformación que permite transformar una fórmula o expresión bien formada (EBF) de un sistema formal en otra EBF como teorema del mismo sistema. Ambas expresiones se relacionan mediante una relación de equivalencia, es decir, que ambas tienen los mismos valores de verdad o, dicho de otra forma, la verdad deuna coimplica la verdad de la otra.
 podría ser transformada en:

donde ;  y .
Elaborando la tabla de valores de verdad de dicha equivalencia contenida en la función del bicondicional el resultado ha de ser una tautología.

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.

Lainferencia 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 expresiones conocidas 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 sidurante 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 de que será verdadero lo que concluíamos. 

En estecaso podemos mencionar el ejemplo el mentiroso: Un joven le dice a un amigo, tu todos los días dices mentiras, y él contesta, no es cierto, ayer en todo el día no dije una sola 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 en general. 





Deductiva (de lo general alo particular) 

Cuando se conoce una ley general y se aplica a un caso particular, por ejemplo se sabe que siempre que llueve hay nubes, concluíamos 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 lasituació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 Ponen y MTT: Modus Tollendo Tollens 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 única aceptada como válida en matemáticasy 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 concluíamos que el lunes siguiente también llegará tarde. O del amigo que varias veces nos hamentido 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. 

Según el sistema aristotélico, el métododeductivo es un proceso que parte de un conocimiento general, y arriba a uno particular. La aplicación del método deductivo nos lleva a un conocimiento con grado de certeza absoluta, y esta cimentado en proposiciones llamadas
SILOGISMOS

He aquí un ejemplo:“

Todos las venezolanas son bellas” ,  (Este es el conocimiento general)“
Marta Colombiana es venezolana”
 
Luego:

“Marta Colomina...