UNIDAD 3 LÓGICA INFERENCIAL
Lógica Inferencial

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 EBFs. De esta forma partiendo de la verdad o falsedad posible (como hipótesis), o conocida (como argumento) de alguna o algunas de ellas puede deducirse la verdad o falsedad de alguna o algunas de las otras EBFs.
Surge así lo que conocemos como postulado o transformada de una expresión original conforme a reglas previamente establecidas que puede enmarcarse en uno o varios contextos referenciales diversos obteniéndose en cada uno de …ver más…

Ambas expresiones se relacionan mediante una relación 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. podría ser transformada en:

donde ; y .
Elaborando la tabla de valores de verdad de dicha equivalencia contenida en la función del bicondicional el resultado ha de resultar una tautología.
Esquema de inferencia
Artículo principal: Cálculo lógico.
Se refiere a la estructura lógico-formal que permite obtener una expresión bien formada (EBF) desligada, libre, como teorema de un sistema formal previamente definido por la regla de separación estrictas de formación y transformación de fórmulas.
Dicha estructura es el fundamento de un argumento lógico-formal mediante la aplicación de la regla de Sustitución de fórmulas. donde representa cada variable la premisa de un argumento. Conocida la verdad de cada una, como premisas de un argumento, su producto verdadero exige la verdad de todas y cada una de dichas expresiones; lo que permite establecer D como expresión libre y conclusión del argumento. aivy
Inferencia por evidencias * Evidencia inductiva: Surge de la constatación de una misma ocurrencia en una serie de casos. Observando que muchos lobos tienen la cola larga, infiero que “los lobos tienen la cola