發送短信: Reasoning and formal logic :