之前談到反證法，我舉了歐幾里德證明質數有無限多個的例子，順便說說質數，當時賣了個關子，今天就帶各位走一趟哥尼斯堡七橋 哥尼斯堡是位於東普魯士的一個小鎮（今日 ... ... <看更多>

而在謂詞邏輯裏，則有「布林函數」的概念，因此其表達能力較強，例如以下是一些謂詞邏輯的範例。 Parent(x,y) <= Father(x,y). Parent(John, Johnson). Ancestor(x, ... ... <看更多>

以普通的想法,反證法是定義一個前提P, 然後推導過程中搞出個矛盾, ... 這篇討論舉的例子通常需要先定義整數；如果真的這樣，Goedel 的不完備定理才有 ... ... <看更多>

在解這種問題的時候，很多人會使用反證法，思考過程就變成計量不是好叫品--> 所以它是問A ... 這個例子裡，4N 當計量應該是比較合理的，真的要問A 的話，先跳叫4D 逼 ... ... <看更多>