Investigacion

EL PROCESO DE 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) de algunao 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 6
Es laoperación lógica utilizada en los motores de inferencia de los Sistemas Expertos.
Reglas de inferencia
Saltar a: navegación, búsqueda
En lógica, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión.
Estas relaciones sintácticas son usadas en elproceso de inferencia, por el que se llega a nuevas aserciones verdaderas a partir de otras ya conocidas. Las reglas también se aplican a la lógica informal y a las discusiones, pero la formulación es mucho más difícil y polémica.
Como se mencionó, la aplicación de una regla de inferencia es un procedimiento puramente sintáctico. Sin embargo, debe también ser el válido, o mejor dicho, preservar lavalidez. Para que el requisito de preservación de la validez tenga sentido, es necesaria una cierta forma semántica para las aserciones de las reglas de inferencia y las reglas de inferencia en sí mismas.
Modus ponendo ponens
Saltar a: navegación, búsqueda
En lógica, modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, esuna regla de inferencia que tiene la siguiente forma:
Si A, entonces B
A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del modus ponens podría ser:
Si está soleado, entonces es de día.
Está soleado.
Por lo tanto, es de día.
Otra manera de presentar el modus ponens con el condicional es:

Y aún otra manera es a través de la notación del cálculo de secuentes: Concondicional:

En la axiomatización de la lógica proposicional propuesta por Jan Łukasiewicz, el modus ponens es la única regla de inferencia primitiva. Esto ha motivado que mucha de la discusión en torno al problema de la justificación de la deducción se haya centrado en la justificación del modus ponens.
Modus tollendo tollens
Saltar a: navegación, búsqueda
En lógica, el modus tollendo tollens (enlatín, modo que negando niega), también llamado modus tollens y generalmente abreviado MTT o MT, es una regla de inferencia que tiene la siguiente forma:
si A entonces B
No B
Por lo tanto, no A
Por ejemplo, un razonamiento que sigue la forma del modus tollens podría ser:
Si está soleado, entonces es de día.
No es de día.
Por lo tanto, no está soleado.
Es importante evitar caer en elrazonamiento incorrecto de:
Sólo si es mayor de edad entonces tiene permiso de conducir
No tiene permiso de conducir
Por lo tanto, no es mayor de edad.
Es incorrecto puesto que podría ser mayor de edad y no tener permiso de conducir, de ahí la importancia de no confundir la implicación (si p, entonces q) con el bicondicional (p si y solo si q), es decir, p es condición para que se pueda dar q, pero pno implica necesariamente q (ser mayor de edad es condición necesaria, pero no suficiente para tener permiso de conducir).
Una manera formal de presentar el modus tollens es:

Otra manera es a través de la notación del cálculo de secuentes:

En lógica proposicional su representación sería la siguiente :
Falsacionismo
El modus tollens es central al modelo falsacionista de la ciencia...