SMS: La lógica simbólica