Resultado de la búsqueda: logica formal