Citation Hunt

Tabla de posiciones

El siguiente fragmento de Wikipedia no está respaldado por una fuente confiable. ¿Puedes encontrar una?

Haz clic en ¡Lo tengo! para ir a la Wikipedia y corregir el fragmento, o Siguiente para ver otro. ¡Buena suerte!

En la página Inferencia:

"

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.[cita requerida]