SMS dit: Lógica simbólica