发送短信: Deducibility and decidability