Resultado de la búsqueda: programa formalizar logica