SMS dit: Lógica simbólica para informáticos