數理邏輯基礎---期末總結

我打算以後都這麼複習了，因爲書上的東西老要忘掉。 我們是法方的教材所以可能會略有不同。 我不會講得太細，一些概念自己去搜 大概是： 三段論 詞和公式 樹和括號 真值表和邏輯公式化簡 合取範式析取範式及其轉化 存在，任意全稱量詞及其否定式 三段論–syllogisms 三段論包括一個大前提，一個小前提，一個結論 比如著名的「蘇格拉底三段論」： 大前提：所有的人都是要死的； 小前提：蘇格拉底是人； 結

>>阅读原文<<