Sistema de razonamiento en el que las afirmaciones se obtienen por inferencia y deducción a partir de otras, en particular, un sistema o lenguaje formal específico utilizado para el razonamiento. Nombre dado al análisis de los patrones generales del razonamiento.