原文:朴素逻辑中的”另辟蹊径“——排除法