SMS: Lógica simbólica