Interacciones entre proposiciones condicionales y sistemas matemáticos de símbolos en una tarea matemática