丢失的小狗(逻辑分析)