發送短信: Prolegómenos a la lógica simbólica