Razonamiento Ecuacional

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Una técnica deductiva que prueba identidades y propiedades manipulando ecuaciones según reglas de igualdad y congruencia, a menudo realizada mediante reescritura, sustitución y manipulaciones algebraicas.