Seol mar théacs é seo: Diseño de estrategias basadas en el razonamiento lógico para la solución de problemas matemáticos