Question

qué es inferencia lógica en matemáticas?
no sacado de Google..​

Answer 1

Respuesta:

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.