SMS dit: Lógica simbólica /