inferencia

Razoamento mediante o que o home pasa dunha ou máis proposicións, verdadeiras ou falsas, a outra posición, a verdade ou falsidade da que se supón que depende a verdade ou falsidade da primeira ou das primeiras proposicións.

Cuestión metalóxica relativa ao establecemento, na lóxica simbólica, das denominadas regras de inferencia, variables segundo os cálculos propostos, que permiten a derivación dunha conclusión a partir dunhas premisas.