deducción matemática

Sustantivo

Proceso lógico para obtener conclusiones a partir de premisas mediante reglas formales en matemáticas.
La deducción matemática es fundamental en la demostración de teoremas.

synonyms: demostración, razonamiento deductivo, prueba matemática