发送短信: Formal logic :