inteligencia formal