Relações entre a lógica e a Resolução de problemas