SMS: Lógica simbólica /