Diferencia entre revisiones de «Inferencia»

 

Una '''inferencia''' es una [[evaluación]] que realiza la [[mente]] entre [[lenguaje formalizado|expresiones bien formadas de un lenguaje]], (EBF), que, al ser relacionadas intelectualmente como [[abstracción (filosofía)|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 [[deducción|deducirse]] la verdad o falsedad de alguna o algunas de las otras EBFs.