Uni Reading List
學習指南 /

形式邏輯：選教材，檢驗量詞主張

邏輯入門的成果應是可辯護的判斷：附符號表的翻譯、每步合規的證明，或確實滿足前提的反模型。本路線區分這三類產出，持續使用同一證明系統，並解釋為何看似合理的量詞交換會失敗。

課程主題: 邏輯學

學習路線與例題編輯責任：University Reading List 編輯專案。 編輯與選書方法 · 來源核驗日期:

下載空白任務單（Markdown） ↓

適用範圍與編輯責任

適合古典命題邏輯和一階邏輯初學者。版本為forall x: Calgary Fall 2023、Copi等第15版（2019）、Language, Proof and Logic第2版（2011）。forallx免費入口持續修訂，本路線章目依據固定F23原始碼。模態邏輯、歸納法和後設理論是後續分支，不是本題先修要求。

選擇你的起點

需要免費的證明與模型路線

選forallx，儲存工作副本並記錄修訂號，否則同學之間的題號、規則名可能漂移。下方按Fall 2023的部與章名導覽，需與手中副本核對。

還需要分析日常論證

若課程還涉及定義、謬誤、三段論和歸納，選Copi。不必把全書都當作開始一階邏輯證明的前置任務，應按課綱選讀符號邏輯部分。

透過建構世界來學習

若會經常用模型與證明軟體，而且能確認權限，選LPL。二手紙本未必有可用註冊金鑰；本指南的任務也可透過免費路線完成。

三本書如何取捨

forall x: Calgary. An Introduction to Formal Logic（forall x 卡加利版：形式邏輯導論）

P. D. Magnus; Tim Button; Robert Trueman; Richard Zach; with contributions by J. Robert Loftis and Aaron Thomas-Bolduc · 版次: Fall 2023 · 2023

聚焦且免費的形式邏輯入門

適合何時選擇
希望用同一開放教材學習真值表、解釋和Fitch式演繹。
何時另選路線
考試指定另一套演算，而你無法處理規則差異。
建議閱讀範圍
Fall 2023第一至七部分是主幹，模態邏輯和後設理論稍後再讀。
限制與取捨
作者網站的目前免費檔案、最新紙本推薦與登錄的Fall 2023紙本不同。應固定版本，不把所有修訂混為一版。

選書前試做

依所選Fall 2023版的FOL解釋材料，分別形式化「每個參與者都有評審」和「有一位評審負責所有參與者」。先構造含兩名參與者的解釋，再考慮證明。

檢查標準: 寫出兩種量詞順序，列出全部為真的分配關係。能分開兩句真值的模型比流暢複述更重要，記號須與所用版一致。

官方免費閱讀 ↗

書目資訊與取得方式 →

Introduction to Logic（邏輯學導論）

Irving M. Copi; Carl Cohen; Victor Rodych · 版次: 15 · 2019

涵蓋廣的推理參考

適合何時選擇
需要同時學習非形式論證、傳統直言邏輯和符號方法。
何時另選路線
希望以最短路徑從真值表進入一階自然演繹。
建議閱讀範圍
第15版第1—2章整理論證，第8—10章進入符號邏輯。
限制與取捨
涵蓋面廣代表篇幅分配不同。不要把其演繹規則不加說明地混入Fitch作業，應註明並解釋對應關係。

選書前試做

讀第15版8–10章後，用同一張完整真值表比較A → B、B → A和¬B → ¬A。指出無效的推理，不能只標出一句假話。

檢查標準: 列齊四種賦值；A假、B真反駁反向命題推理，而對偶與A → B的真值完全相同。

書目資訊與取得方式 →

Language, Proof and Logic（語言、證明與邏輯）

Dave Barker-Plummer; Jon Barwise; John Etchemendy · 版次: 2 · 2011

互動式一階邏輯課程包

適合何時選擇
建構世界、檢查證明對你有幫助，且課程採用該軟體包。
何時另選路線
需要不受限的免費存取，或預設二手書附帶可轉移評分權限。
建議閱讀範圍
第2版第1—8章學習命題方法，第9—14章學習量化與證明。
限制與取捨
9781575866321識別紙本套裝，電子版另有ISBN。目前網頁應用與不可轉讓金鑰應查Openproof，不能從舊CD說明推斷。

選書前試做

依第2版量詞與證明路線，為一段存在消去子證明標註：哪個名稱只是暫時見證，哪個結論可以移出？沒有軟體權限時可在紙上完成。

檢查標準: 移出的結論不得保留暫時見證名稱，該名稱也不能出現在外部尚未解除的假設中。軟體打勾不能替代這項說明。

書目資訊與取得方式 →

檢查先修準備

必須先學好代數嗎？

本路線無需高等數學。需要能跟隨遞迴定義，區分符號與它指稱的對象，並記錄假設。開始長證明前先練習讀括號。

筆記該用什麼記法？

一頁列出¬、∧、∨、→、↔、∀、∃、論域和各謂詞元數，再寫下所選證明規則。符號外形改變通常可對應，規則適用限制改變則必須核實。

怎樣驗證無效性？

指定非空論域、謂詞外延與關係，逐一確認所有前提真而結論假。沒找到證明不代表無效；一個完整核驗的反模型即可證明無效。

六步學習與具體成果

勾選用於自我記錄，並非成績評定；標記不會傳送給本站。

  1. 1. 區分論證與真假

    建議閱讀範圍: forallx Fall 2023第一部分Arguments、The scope of logic；或Copi第15版第1章。

    動手產出: 寫兩個形式相同、題材不同的論證，標明前提、結論與事實假設。

    檢查標準: 區分有效性與前提實際真假，不把假語句叫作無效論證。

  2. 2. 保留歧義再翻譯

    建議閱讀範圍: forallx Fall 2023第二部分，重點First steps to symbolization、Ambiguity；可對讀LPL第2版第3、7章。

    動手產出: 為一個歧義句給符號表和兩種翻譯，描述能區分兩種讀法的情形。

    檢查標準: 每個語句字母有固定解釋，括號清楚顯示主連結詞。

  3. 3. 搜尋使結論假的列

    建議閱讀範圍: forallx Fall 2023第三部分Complete truth tables、Semantic concepts；Copi第15版第8章提供另一方法。

    動手產出: 完成含三個語句字母的真值表，只標出前提全真的列，再檢查結論。

    檢查標準: 檢查全部八列或論證可靠的捷徑，不只檢查現實世界的一組賦值。

  4. 4. 顯示證明依賴

    建議閱讀範圍: forallx Fall 2023第四部分Basic rules for TFL、Constructing proofs；可選LPL第2版第5—6章。

    動手產出: 寫條件證明，縮排假設，註明每步規則，明確關閉子證明。

    檢查標準: 沒有不合規則地依賴已解除假設，軟體通過之外還能說明理由。

  5. 5. 為量詞提供論域

    建議閱讀範圍: forallx Fall 2023第五至六部分Multiple generality、Using interpretations；LPL第2版第9—11章可作模型練習。

    動手產出: 翻譯下方分配主張，將關係畫成箭頭，在同一有限論域檢查兩種量詞次序。

    檢查標準: 能指出每個參與者各有見證，不等於有一個共同見證。

  6. 6. 修正主張並論證

    建議閱讀範圍: forallx Fall 2023第七部分Proofs with quantifiers、Proofs and semantics；或LPL第2版第12—13章。

    動手產出: 完成原創例題，在所選演算中證明較弱結論，註明臨時見證的限制。

    檢查標準: 反模型與證明回答不同主張，最終全稱句沒有從存在消去子證明逃出的名字。

原創例題與解析

人人有評審，是否代表存在共同評審？

令P(x)表示參與者，R(y)表示評審，T(y)表示受過訓練，M(x,y)表示x被分配給y。前提為∀x(P(x) → ∃y(R(y) ∧ M(x,y)))及∀y(R(y) → T(y))。能推出∃y(T(y) ∧ ∀x(P(x) → M(x,y)))嗎？若不能，再檢驗修正版∀x(P(x) → ∃y(T(y) ∧ M(x,y)))。

前提假設

採用非空論域的古典一階邏輯，量詞不受類型限制。P、R、T是謂詞而非獨立類型。情境為虛構，關係僅包含列出的有序對，不假設唯一性、對稱性或額外現實規則。

  1. 取論域{a,b,c,d}，P = {a,b}，R = T = {c,d}，M = {(a,c),(b,d)}。a分給c，b分給d，沒有其他分配。
  2. 第一前提為真：a有見證c，b有見證d；對c、d，P為假。R中每個元素均屬T，所以第二前提也為真。
  3. 原結論為假。候選a、b不滿足T；c不是b的評審，即M(b,c)假；d不是a的評審，即M(a,d)假。沒有候選滿足整個合取。
  4. 證明修正版：取任意u，暫設P(u)。第一前提給出∃y(R(y) ∧ M(u,y))。以新名字v開啟存在消去子證明，暫設R(v) ∧ M(u,v)。
  5. 合取消去得到R(v)、M(u,v)。第二前提全稱消去得R(v) → T(v)，再條件消去得T(v)。合取為T(v) ∧ M(u,v)，存在引入得∃y(T(y) ∧ M(u,y))。
  6. 末式不含v，可關閉存在消去；用條件引入解除P(u)，再對任意u作全稱引入。v未出現在子證明外未解除的前提中，u是任意對象而不是某個參與者的專名。

答案與解釋

共同評審結論無效，四對象解釋就是反模型。修正版有效：每個參與者都被分配給某個受訓對象，但各人的對象可以不同。

檢驗結果

重新檢查四個候選，不能只查c。若P為空外延，兩前提可在T為空時仍為真，因此「所有人」不保證有人存在。有限反模型足以反駁原論證；修正版的有效性來自一般推導，而非有限抽樣。

改變假設，再做一題

加入唯一性條件，能否得到共同評審？

保留原來兩條前提與非空古典邏輯論域。先只增加「每個參與者至多被分配給一位評審」，能否推出共同評審？再把附加條件換成「整個論域恰有一位評審」：∃w(R(w) ∧ ∀y(R(y) → y = w))，並檢查參與者集合為空的情形。

  1. 個體分配唯一並不能修復推理：原來的四物件模型已經讓每個參與者恰有一位評審，但各人的評審不同。新條件也真，共同評審結論仍假。
  2. 全域存在且唯一更強。取該評審w，原第二前提給出T(w)。任取參與者u，第一前提提供評審v且M(u,v)；全域唯一性給出v=w，代入得到M(u,w)。
  3. 於是同一個受訓w適用於所有參與者。若P為空，全稱分配條件空真，但附加存在條件與第二前提仍保證w和T(w)。

答案與解釋

每人至多一位評審不夠；全域恰有一位評審與原前提合起來足夠。存在性不可省略：「全域至多一位評審」仍允許評審與參與者都不存在，使共同評審的存在結論為假。

檢驗結果

用單物件論域及P=R=T=∅反駁不含存在性的版本。使用見證前，明確是哪條前提保證其存在；唯一性本身不能創造物件。

常見誤區

無論證地交換∀與∃

∀x∃y允許見證依賴x，∃y∀x要求同一個對象適用於每個x。宣稱等價前先畫箭頭。

讓臨時見證逃出作用域

存在消去引入的名字只在局部使用。先推出不含該名字的結論，再關閉子證明。

把證明檢查器當翻譯檢查器

合法推導證明的是輸入的形式推論，不能保證正確表達歧義原句，也不能保證前提符合事實。

進入下一階段之前

  • 提交附論域與符號表的翻譯、一種競爭解釋，以及能區分兩者的情形。
  • 完成真值表檢驗和註明規則、正確解除假設的證明。
  • 提交反模型、每個前提與結論的求值，以及註明見證限制的有效修正論證。

來源與版次核驗

來源核驗日期:

這些是本站建議的學習活動，並非大學官方作業，也不代表對每本書逐頁通讀。

編輯與選書方法 →