Deducción
Operador de conexión fiel de las matemáticas (de la ontología). Consiste en verificar si un enunciado está conectado con el nombre de lo que ha hecho acontecimiento en la historia reciente de las matemáticas. Extrae las consecuencias.
Sus operadores tácticos son el modus ponens: de A y de A → B se sigue B, y la generalización: de λ(α), donde α es una variable libre, se sigue (∀ α) λ(α).
Sus estrategias habituales son el razonamiento hipotético y el razonamiento por el absurdo, o apagógico. Este último es particularmente característico, porque está estrechamente ligado a la vocación ontológica de la deducción.
