INFERENCIA
CONCEPTO:
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 ellos un significado como …ver más…

Hoy se exige el rigor formal de la aplicación de una regla de inferencia.[] La idea de inferencia inmediata no es más que la aplicación de una regla modo implícito. La formalidad lógica, sin embargo, exige que sea explícita la regla que permite la transformación de una EBF.
1.2 En la lógica actual
Se llama inferencia lógica a la aplicación de una regla de transformación que permite transformar una fórmula o expresión bien formada (EBF) de un sistema formal en otra EBF como teorema del mismo sistema. 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.
1.2.1Esquema de inferencia
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