# 形式邏輯：選教材，檢驗量詞主張 — 學習任務單

[學習指南](https://unireadinglist.com/zh-tw/guides/formal-logic/)

[課程主題: 邏輯學](https://unireadinglist.com/zh-tw/subjects/philosophy/#course-logic)

來源核驗日期: 2026-11-03

學習路線與例題編輯責任：University Reading List 編輯專案。

適合古典命題邏輯和一階邏輯初學者。版本為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解釋材料，分別形式化「每個參與者都有評審」和「有一位評審負責所有參與者」。先構造含兩名參與者的解釋，再考慮證明。
檢查標準: 寫出兩種量詞順序，列出全部為真的分配關係。能分開兩句真值的模型比流暢複述更重要，記號須與所用版一致。

你的筆記:

________________________________

ISBN: 9798859963584

[官方免費閱讀](https://forallx.openlogicproject.org/)

[書目資訊與取得方式](https://unireadinglist.com/zh-tw/subjects/philosophy/forall-x-calgary/)

### 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的真值完全相同。

你的筆記:

________________________________

ISBN: 9781138500860

[書目資訊與取得方式](https://unireadinglist.com/zh-tw/subjects/philosophy/introduction-to-logic-copi/)

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

Dave Barker-Plummer; Jon Barwise; John Etchemendy · 2 · 2011
互動式一階邏輯課程包

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

#### 選書前試做

依第2版量詞與證明路線，為一段存在消去子證明標註：哪個名稱只是暫時見證，哪個結論可以移出？沒有軟體權限時可在紙上完成。
檢查標準: 移出的結論不得保留暫時見證名稱，該名稱也不能出現在外部尚未解除的假設中。軟體打勾不能替代這項說明。

你的筆記:

________________________________

ISBN: 9781575866321

[書目資訊與取得方式](https://unireadinglist.com/zh-tw/subjects/philosophy/language-proof-and-logic/)

## 檢查先修準備

### 必須先學好代數嗎？

你的筆記:

________________________________

### 筆記該用什麼記法？

你的筆記:

________________________________

### 怎樣驗證無效性？

你的筆記:

________________________________

## 六步學習與具體成果

- [ ] 1. 區分論證與真假

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

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

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

你的筆記:

________________________________

- [ ] 2. 保留歧義再翻譯

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

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

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

你的筆記:

________________________________

- [ ] 3. 搜尋使結論假的列

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

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

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

你的筆記:

________________________________

- [ ] 4. 顯示證明依賴

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

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

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

你的筆記:

________________________________

- [ ] 5. 為量詞提供論域

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

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

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

你的筆記:

________________________________

- [ ] 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是謂詞而非獨立類型。情境為虛構，關係僅包含列出的有序對，不假設唯一性、對稱性或額外現實規則。

你的筆記:

________________________________

## 改變假設，再做一題: 加入唯一性條件，能否得到共同評審？

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

你的筆記:

________________________________

## 進入下一階段之前

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

## 答案與解釋

### 必須先學好代數嗎？

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

### 筆記該用什麼記法？

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

### 怎樣驗證無效性？

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

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

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為空時仍為真，因此「所有人」不保證有人存在。有限反模型足以反駁原論證；修正版的有效性來自一般推導，而非有限抽樣。

### 改變假設，再做一題: 加入唯一性條件，能否得到共同評審？

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。宣稱等價前先畫箭頭。

### 讓臨時見證逃出作用域

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

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

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

## 來源與版次核驗

- [Open Logic Project: editions and official free access](https://forallx.openlogicproject.org/)
  確認免費PDF/HTML及開發檔案持續變化的提醒。目前紙本推薦Fall 2025，本指南不以它替代登錄的Fall 2023版。

- [Author repository: fixed Fall 2023 source](https://github.com/rzach/forallx-yyc/tree/9372a1824af84d02b910f51de1e7a8ca570ca164)
  作者維護的F23標籤固定到提交9372a1824af84d02b910f51de1e7a8ca570ca164，核對版名、分部和章題；目前免費PDF屬於另一修訂。

- [Routledge: Introduction to Logic, 15th edition](https://www.routledge.com/Introduction-to-Logic/Copi-Cohen-Rodych/p/book/9781138500860)
  出版社確認第15版作者、著作權年2019和論證/符號/歸納目錄；不保證所宣傳配套練習的即時可用性。

- [CSLI: Language, Proof and Logic, second edition](https://web.stanford.edu/group/cslipublications/cslipublications/site/9781575866321.shtml)
  出版社確認第2版範圍、紙本與電子ISBN區別，以及啟用後註冊不可轉讓。

- [University of Chicago Press: second-edition contents](https://press.uchicago.edu/ucp/books/book/distributed/L/bo12734345.html)
  官方發行商提供19章目錄作為替代閱讀定位；舊桌面平台介紹不作現行軟體指引。

- [Openproof: package access and registration keys](https://www.gradegrinder.net/Store/store.html)
  目前第一方商店介紹網頁應用、無紙套裝和不可轉讓金鑰。反模型與修正證明均為原創，不依賴軟體。

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

[編輯與選書方法](https://unireadinglist.com/zh-tw/editorial/)