A lógica da análise funcional