通常用邏輯的手段,考慮所有可能性,排除所有不可能性,從而達到證明的完備性。

來源: 2010-10-02 14:39:45 [博客] [舊帖] [給我悄悄話] 本文已被閱讀: