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