La inferencia lgica es la aplicacin de una regla de transformacin que permite transformar

una frmula o expresin bien formada (EBF) de un sistema formal en otra EBF como teorema
del mismo sistema. Ambas expresiones se relacionan mediante una relacin de equivalencia,
es decir, que ambas tienen los mismos valores de verdad o, dicho de otra forma, la verdad de
una coimplica la verdad de la otra.

Por lgica la idea inicial establece la direccin que se seguir, consistente en una serie de pasos
ordenados que explicaremos aqu:

La inferencia establece que para llegar a una conclusin se debe tener un cierto orden: A, B,
C, y si este orden se encuentra alterado se puede llegar a una conclusin equivocada.

Es la mente la que establece la evaluacin lgica de los conceptos, que te permiten llegar a
una conclusin.

Dependiendo del orden o colocacin, estas ideas pueden provocar pensamientos que
aunque pueden ir ligados pueden llevar a una conclusin diferente a lo que se esperaba
inicialmente.

Hay que aclarar que la premisa inicial puede ser falsa, dando una inferencia lgica completa
pero con una conclusin falsa.

Es pues que en este tipo de razonamiento la veracidad debe de constatarse mediante un

silogismo completo, que se encuentra separado de la inferencia lgica bsica.

Quedando claramente que la inferencia lgica es un razonamiento formal que no se finca en el

objetivo sino en la relacin de las premisas.

CLASES DE INFERENCIA

Por el nmero de premisas

Inferencia inmediata: Es una forma de razonamiento que presenta una sola premisa de la cual
derivamos una conclusin. Ej.:

Premisa 1: Juan dice siempre la verdad

Conclusin: Es falso que Juan diga mentiras

Inferencia mediata: Es una forma de razonamiento compuesto por dos o ms premisas de las
cuales se deriva la conclusin. Ej.:

Premisa 1: Los chilenos no saben hablar

Premisa 2: Pedro es chileno

Conclusin: Pedro no sabe hablar

Por la forma de razonamiento

Inferencia deductiva: Es una forma de razonamiento cuya conclusin se deriva del contenido
directo de las premisas enunciadas, haciendo referencia expresa de los trminos enunciados.
Ej.:

Premisa 1: Todo alumno es inteligente

Premisa 2: Ningn delincuente es inteligente

Conclusin: Ningn delincuente es alumno

Inferencia inductiva: Es un razonamiento cuyas premisas representan casos singulares o

particulares de las cuales se deriva una conclusin que resulta un principio general. Ej.:

Premisa 1: La UNPRG es buena universidad

Premisa 2: La UCV es mala universidad

Premisa 3: La Usat es buena universidad

Conclusin: Algunas las universidades son buenas

Links: http://logica.carpetapedagogica.com/2014/09/inferencia.html

http://www.ejemplode.com/29-logica/3945-ejemplo_de_inferencia_logica.html