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