diferentes fases de resolución hasta los operadores de razonamiento más