Question

A qué nos referimos con “inferencia lógica”?

Answer 1

Respuesta:

Es el proceso de razonamiento que genera una conclusión a partir de una o varias premisas.

Explicación:

La conclusión que se obtiene se dice que es una consecuencia lógica de las premisas si cada paso que se da para llegar a la conclusión está permitido por una regla. La idea de inferencia se puede expresar de la manera siguiente: de premisas verdaderas se obtienen sólo conclusiones que son verdaderas

Answer 2

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.