Zaslat SMS: Prolegómenos a la lógica simbólica