FORMALIZACION INFERENCIAS

FORMALIZACION INFERENCIAS 

Una inferencia (razonamiento, deducción, argumentación o argumento)es una operación lógica que consiste en derivar a partir de la verdad de ciertas proposiciones conocidas como premisas la verdad de otra proposición conocida como conclusión.

Las premisas de una inferencia son proposiciones que ofrecen las razones para aceptar la conclusión. Preceden a las premisas,en inferencias desordenadas, las palabras ‘puesto que’, ‘ya que’,‘pues’, ‘porque’, ‘siempre que’, ’si’, etc.

La conclusión de una inferencia es la proposición que se afirma sobre la base de las premisas. Preceden a la conclusión las palabras‘luego’, ‘por tanto’, ‘por consiguiente’, ’en consecuencia’,etc. Además, en inferencias desordenadas, la proposición inmediatamente anterior a las palabras que preceden a las premisas
es la conclusión. Ejemplo:

 Formalizacion de inferencias ordenadas:

Ejemplo: 

Si esta figura tiene cuatro lados es un cuadril atero. Si

 esta gura tiene tres lados es un tri angulo. Esta figura tiene cuatro

     lados o tiene tres lados, por lo tanto, esta figura es un cuadril atero o

 es un tril atero.

          Premisa:

    Si esta figura tiene cuatro lados es un cuadril atero.

    Si esta figura tiene tres lados es un tri angulo.

     Esta figura tiene cuatro lados o tiene tres lados.

   Conclusi on:

   Por lo tanto, esta figura es un cuadril atero o es un tril atero.

Formalizacion de inferencias desordenadas:

La forma lógica de la inferencia es premisas-conclusión; sin embargo, en el lenguaje coloquial es frecuente observar que dicha forma lógica se presente alterada y en orden inverso, es decir, conclusión-premisas. En este caso, antes de proceder a su formalizacion, es preciso restablecer su forma lógica, o sea, se debe ordenar la inferencia
Ejemplo:
Ningún cocodrilo es amarillo, puesto que todos los cocodrilos son verdes y ningún cocodrilo es amarillo

Premisas:
1. todos los cocodrilos son verdes
2. Ningún cocodrilo es amarillo
Conclusión:
En consecuencia, ningún cocodrilo es amarillo

Algoritmo de inferencias 
a)
Se ordena la inferencia, pero sólo en el caso de que su forma lógica haya sido alterada en el lenguaje natural, observando el esquema: premisas-conclusión.
b) 
Se explicita su estructura lógica empleando las conjunciones ‘y’, ‘o’, ’si..., entonces’, ‘si y sólo si’ y el adverbio ‘no’, en lugar de sus expresiones equivalentes. Simultáneamente, se disponen las premisas y la conclusión una debajo de la otra. Entre la última premisa y la conclusión se escribe una barra horizontal y la palabra ‘luego’, ‘en consecuencia’, o ‘por tanto’, antes de la conclusión.
c)
Se halla su fórmula lógica sustituyendo cada proposición atómica por una variable proposicional distinta, las conjunciones gramaticales por sus operadores lógicos correspondientes, el adverbio ‘no’ por el operador negativo y la palabra ‘luego’ por el sím-
bolo ‘→’. Los signos de agrupación se usan para establecer la jerarquía entre los operadores de una fórmula, pero sólo cuando su omisión la hace ambigua.
d)
Se construye una fórmula condicional que tenga como antecedente las premisas unidas por el operador conjuntivo y como consecuente la conclusión, de tal forma que la estructura lógica de cualquier inferencia quede representada esquemáticamente de la siguiente manera:

[ ( Premisa )∧( Premisa ) ]→( Conclusión ) antecedente consecuente