发送短信 : Elementos de lógica simbólica: ejercicios