Inferencias logicas

Solo disponible en BuenasTareas
  • Páginas : 8 (1997 palabras )
  • Descarga(s) : 0
  • Publicado : 15 de noviembre de 2011
Leer documento completo
Vista previa del texto
RAZONAMIENTO LOGICO
Inferencia
Una inferencia es una evaluación que realiza la mente entre expresiones bien formadas de un lenguaje (EBF) que, al ser relacionadas intelectualmente como abstracción, permiten trazar una línea lógica de condición o implicación lógica entre las diferentes EBF. De esta forma, partiendo de la verdad o falsedad posible (como hipótesis) o conocida (como argumento) dealguna o algunas de ellas, puede deducirse la verdad o falsedad de alguna o algunas de las otras EBF.

Surge así lo que conocemos como postulado1 o transformada de una expresión original conforme a reglas previamente establecidas,2 que puede enmarcarse en uno o varios contextos referenciales diversos,3 obteniéndose en cada uno de ellos un significado como valor de verdad de equivalente.4 5 6Es la operación lógica utilizada en los motores de inferencia de los Sistemas Expertos.
Inferencia lógica

En la lógica tradicional

En la lógica tradicional, llamada aristotélica, la forma esencial de inferencia es una forma de razonamiento deductivo. No obstante se reconocían algunas inferencias directas o inmediatas.

INFERENCIAS INMEDIATAS
Las inferencias inmediatas pueden ser porconversión, equivalencia, subalternación, obversión, reciproca y contraposición.
Por conversión: Por conversión se cambia el sujeto de la premisa o proposición por el predicado de la conclusión y el predicado de la premisa por el sujeto de la conclusión.
Ejemplos:
P: Los feos son marcianos, C: Los marcianos son feos.
P: Ningún metal es metaloide, C: Ningún metaloide es metal.
P: Algunosestudiantes son empleados, C: Algunos empleados son estudiantes.
Por contraposición: Permite permutar los términos de cualquier Proposición, pero con la condición de anteponer una negativa a cada una de las Proposiciones.
Ejemplos:
Todo español es europeo, Ningún no europeo es español.
Algunos americanos no son brasileños, Algunos no brasileños son americanos.
Todo justo es prudente, Todo noprudente es no justo.
Ningún Mamífero es inmortal, Todo inmortal es no Mamífero.
Obversión: Permite permutar la cualidad de cualquier Proposición, (de negativa a positiva y viceversa).
Después debe negarse el Predicado
Todo hombre es mortal, Ningún hombre es no mortal
Ningún hombre es inmortal, Todo hombre es no inmortal
Algún americano es negro, Algún americano es no negro
Algún americano no esnegro, Algún americano no es no negro.
Por subalternación: Por subalternación se pasa de lo universal a lo particular "Lo que vale para el todo vale para cada una de sus partes".
Ejemplos:
Todo Argentino es americano, Algunos Argentinos son americanos.
Ningún metal es metaloide, Algunos metales no son metaloides.
Por oposición: Por oposición se pasa de la veracidad a la falsedad y de lafalsedad a la veracidad.
La que se ejecuta partiendo de un a sola proposición categórica universal o particular, que funciona como premisa, para obtener una o varias proposiciones categóricas, universales o particulares como conclusiones. Una característica peculiar de esta inferencia es que cuando la premisa es valida se obtienen ciertas conclusiones, y cuando la premisa es falsa, también seobtienen otras conclusiones determinadas. Además las conclusiones por oposición de una premisa valida pueden ser validas o falsas, e igualmente de una premisa falsa, se pueden obtener conclusiones validas o falsas.
Estrictamente lo que se hace es ejecutar una operación de contradicción, de contrariedad, subcontrariedad y o de subalternación.
Las reglas que se aplican son las siguientes:
A. Dosproposiciones contradictorias no pueden ser validas a la vez, de tal modo que, si una es valida la otra es falsa.
B. Dos proposiciones contradictorias no pueden ser falsas a la vez, de tal modo que, si una es falsa la otra es valida.
C. Dos proposiciones contrarias no pueden ser validas simultáneamente, de tal manera que, si una de ellas es valida, entonces la otra es falsa.
D. Dos...
tracking img