發送短信: Deducibility and decidability