目錄

再版序　iii
作者序　v

第1章　邏輯的基本觀念　1
1-1　命題與論證　2
1-2　邏輯的形式特性　7
1-3　有效性與真確性　9
1-4　矛盾　13
本章綜合練習　16

第2章　邏輯語言與自然語言　19
2-1　自然語言與命題邏輯的語言　20
2-2　自然語言的符號化──否定句　25
2-3　自然語言的符號化──連言句　26
2-4　自然語言的符號化──選言句　31
2-5　自然語言的符號化──條件句與等值句　35
2-6　日常語言中論證的符號化　39
本章綜合練習　41

第3章　命題邏輯的符號系統　43
3-1　命題邏輯的語法　44
3-2　命題套式與命題函數　47
3-3　命題邏輯的語意──真值表　51
3-4　複合命題真值表的建構　58
本章綜合練習　63

第4章　命題的邏輯分類與邏輯關係　65
4-1　命題的邏輯分類　66
4-2　命題的邏輯關係　71

第5章　歸謬原理　81
5-1　歸謬真值表　82
5-2　樹枝法　91
5-3　樹枝法與恆真句　98

第6章　命題邏輯論證有效性的決定　105
6-1　反例法　106
6-2　真假值指定法　110
6-3　真值表法　115
6-4　歸謬真值表法　118
6-5　樹枝法　121

第7章　有效論證的證明：直接證法　125
7-1　邏輯證明　126
7-2　蘊涵規則（一）　128
7-3　蘊涵規則（二）　136
7-4　反推的技巧　144
7-5　等值規則（一）　150
7-6　等值規則（二）　158
本章綜合練習　166

第8章　有效論證的證明：條件證法與反證法　171
8-1　條件證法　172
8-2　加強型條件證法　181
8-3　反證法　184
8-4　恆真句的證明　189

第9章　述詞邏輯的符號系統　193
9-1　單稱命題　194
9-2　函數—引元分析　198
9-3　述詞邏輯的語言　202
9-4　日常語言的述詞邏輯表達　210

第10章　述詞邏輯論證有效性的決定　221
10-1　命題的真假值　222
10-2　反例法　224
10-3　釋模與通稱命題的展開　226
10-4　釋模法　234

第11章　述詞邏輯的證明　243
11-1　全稱個例化規則　244
11-2　存在通則化規則　252
11-3　存在個例化規則　258
11-4　全稱通則化規則　265
11-5　量限號互換規則　270
11-6　邏輯真理的證明　272
本章綜合練習　276

第12章　關係述詞邏輯　281
12-1　關係的邏輯表達式　282
12-2　對稱性、遞移性與自反性　288
12-3　關係述詞論證的證明　294
12-4　等同　298
12-5　確定描述詞　306
習題解答　309
名詞索引　365
推論規則　378

表次

表1：前提提示詞與結論提示詞　4
表2：邏輯運算子　21
表3：邏輯運算子中英對照表　23
表4：命題邏輯中命題的符號化策略　39
表5：命題邏輯中論證的符號化策略　40
表6：真值函數（邏輯運算子）的真值表　53
表7：複合命題真值表的建構步驟　59
表8：命題的邏輯關係　72
表9：樹枝法的運作方式　91
表10：樹枝法　96
表11：證明技巧　164
表12：通稱命題中英文對照表　211
表13：釋模法的運作程序　236