Describir: Lógica y pensamiento formal