Inferencia y Razonamiento

Inferir es concluir o decidir a partir de algo conocido o asumido; llegar a una conclusión.
Una inferencia es simplemente un razonamiento formal, en el sentido de que lo importante es la forma de las premisas y la conclusión y la relación entre ellas, no su contenido.
Razonar es pensar coherente y lógicamente; establecer inferencias o conclusiones a partir de hechos conocidos o asumidos.
 Los razonamientos son el objetivo de estudio de la lógica y podrían definirse como una secuencia de frases formuladas de tal forma que de la aceptación de las primeras sigue la aceptación de la última.
El proceso de razonamiento, por lo tanto, involucra la realización de inferencias, a partir de hechos conocidos. Realizar inferencias significa derivar nuevos hechos a partir de un conjunto de hechos conocidos como verdaderos. La lógica de predicados proporciona un grupo de reglas sólidas, con las cuales se pueden realizar inferencias.
EJ EJ = «Si estudio, aprendo. Es así que estudio, luego aprendo».
1.
2. ( segunda premisa )
(conclusión)

Otro Ejemplo

“El domingo el supermercado está cerrado. Hoy el
supermercado está abierto. Por lo tanto hoy es domingo.”
Las principales Reglas de Inferencia son:

Modus ponens.-

Es la más importante, en los sistemas basados en conocimiento. Establece que:
Si las sentencias p y (p ® q) se conocen que son verdaderas,
entonces se puede inferir que q también es verdadera.


 

Modus tolens.-

Esta regla establece que:
Si la sentencia (p ® q) es verdadera y q es falsa,
entonces se puede inferir que p también es falsa.


 

Resolución.-

Utiliza refutación para comprobar una determinada sentencia. La refutación intenta crear una contradicción con la negación de la sentencia original, demostrando, por lo tanto, que la sentencia original es verdadera. La resolución es una técnica poderosa para probar teoremas en lógica y constituye la técnica básica de inferencia en PROLOG, un lenguaje que manipula en forma computacional la lógica de predicados. La regla de resolución, establece que:
Si (AÚ B) es verdadero y (~B Ú C) es verdadero,
entonces (A Ú C) también es verdadero.

Inducción

: f. (Lat. Inductio, de in, en, y ducere, conducir). Acción y efecto de inducir// Modo de razonar que consiste en sacar de los hechos particulares una conclusión general: la inducción desempeña gran papel en las ciencias experimentales.
Según Geneviéve Gilber la inducción se refiere a la generalización de una observación ,razonamiento o conocimiento establecido a partir de casos particulares.
Es decir, el racionamiento inductivo tiende a descubrir nuevas leyes y se le ha considerado como la fuente creadora del conocimiento nuevo.

Deducción

: f. Acción de deducir // Conclusión.
Definen deducción como el método deductivo que parte de lo mayor hacia lo menor, de lo general a lo particular, o a lo menos general, mediante un proceso racionado.
Se dice que la deducción es solamente la interpretación de aquellas proposiciones generales por inducción.
En mi opinión muy personal ambos conocimientos (inductivo y deductivo) son muy importantes, pues sin uno no puede existir el otro, es imprescindible la uníón de estos dos componentes.
El método inductivo y deductivo están en íntima conexión y estrechamente relacionadas y, desde el punto de vista más fundamental, la deducción es ir de lo general a lo particular y la inducción en ir de las cosas particulares a la generalización.
La inducción infiere de un conjunto de hechos para un conjunto de hechos similares ;pues sí, siempre el sujeto en cuestión se apropia de elementos de la existencia misma para ejecutar sus acciones siempre que sean circunstancias análogas, pero no todo es similar, pues al existir una sola diferencia en la situación brindada es donde se cae en el error de hacer lo que hasta ese momento se había realizado en virtud de las funciones establecidas.
En ambos casos infieren en el conocimiento pues de una forma u otra siempre va a estar en dependencia de cuán profundo haya sido la enseñanza, ya sea tomada de la realidad o de un depósito que sirva de intermediario entre la realidad y él sujeto en virtud de sus necesidades y tareas.
Ambas son operaciones lógicas de la ciencia (metodología
) que se ocupa de lo que ha sido definido como el camino que conduce a una meta, a un fin (método) que también nos auxilia para llegar al conocimiento científico.
Ej: De Deducción e Inducción= un individuo con conocimiento sobre computació
; es decir, saber programar ya sea en Visual Basic u otro programa
; este realizará tareas impresionantes por su vinculación tan directa, tan estable con dicho utensilio.

Lógica de enunciados y su lenguaje

· La lógica de enunciados es la lógica formal más sencilla por:

Considera solamente los enunciados en bloque y las operaciones entre enunciados.
· Sólo contempla dos posibles valores de verdad, falso y verdadero.
· Establece las reglas para los demás tipos de lógica.
• Si
A es un enunciado, entonces Ø A también lo es.
• Si A y B son enunciados, entonces (A Ù B), (A Ú B) y (A ? B) también lo son.
• Cualquier enunciado se obtiene de las tres reglas anteriores
3. Formalización
Formalizar significa pasar del lenguaje natural al lenguaje propio de la lógica, es decir, en este
caso, el lenguaje de enunciados.



Pasos a seguir para la formalización:
1. Descubrir las frases declarativas simples que formen el texto y asignarles un símbolo.
2. Detectar las conectivas del lenguaje natural y sustituirlas por las del lenguaje de enunciados.
Ejemplo: “Cuando los informáticos hacen bien su trabajo y los
clientes hacen peticiones aceptables, los directivos se muestran
amables con sus subordinados. Cuando los directivos son amables
con sus subordinados, los accionistas minoritarios compran más
acciones. De todo esto se deduce que si los accionistas
minoritarios no compran más acciones, pero los informáticos hacen
bien su trabajo, los clientes no hacen peticiones aceptables.”
I: Los informáticos hacen bien su trabajo
C: Los clientes hacen peticiones aceptables
D: Los directivos se muestran amables con sus subordinados
A: Los accionistas minoritarios compran más acciones
    .”, “
En el ejemplo anterior se ha añadido un nuevo símbolo, el ??Que es el símbolo que va entre las
premisas y la conclusión.

El uso de la conectiva ?

Esta se usa para formalizar condiciones de las que existen dos tipos:

1. Condiciones suficientes

Son aquellas que expresan que una cosa es condición suficiente para que se dé otra. Las expresiones “si… Entonces…”, “…Si…”, “cuando… Entonces…”, “siempre que….”, “es suficiente que….”, etc, denotan una expresión suficiente.
EjemploEjemplo: “Cuando los zapatos son nuevos, me hacen daño” : que los zapatos sean nuevos, es suficiente para que me hagan daño Ejemplo: “Cuando los zapatos son nuevos, me hacen daño” : que los zapatos sean nuevos, es suficiente para que me hagan daño

2. Condiciones necesarias

Son aquellas que expresan que una cosa es un condición necesaria para que se dé otra. Las construcciones usadas habitualmente son “es necesario… Para…”, “sólo…”, “sólo cuando…”, “es necesario que… Para…”.
EjemploEjemplo: “Es necesario que llueva para que hayan buenas cosechas Ejemplo: “Es necesario que llueva para que hayan buenas cosechas
Hay que tener presente que:
· A B significa que ‘A es suficiente para B’, que con sólo tener A, tenemos B y que cuando se tiene A, seguro que se tiene B.
· En ningún caso se excluye la posibilidad de tener B sin A
· Se puede afirmar que cuando se de A se dará B, pero no al revés.
· Una frase con el significado de “A es necesario para B” no puede ser formalizada como A B porque “A es necesario para B” no es lo mismo que “A es suficiente para B”. No obstante, “A es necesario para B” puede ser expresado como una condición suficiente de las maneras siguientes:
o Que “A es necesario para B” quiere decir que “sin A no se tiene B”o lo que es lo mismo, que “la ausencia de A es suficiente para la ausencia de B”, es decir:
A B
o Que “A es necesario para B” quiere decir que “la presencia de B es suficiente para la presencia de A”, es decir:
B A

Táboa de verdade . – Sus enunciados moleculares formados por cada conectiva

Al hacer la tabla de verdad de un razonamiento completo podemos obtener tres posibles valores:
o nos da todo verdadero a lo que llamamos tautología ,o todo falso a lo que llamamos contradicción, o a veces unos valores, y a veces otros, a lo que llamamos expresión consistente o inconsistencia.