發送短信: Iniciación a la lógica simbólica