何秀煌譯。《符號邏輯導論》，三民書局，台北，1972。
目錄
原序……………………………………………………1
譯者序…………………………………………………2
習題難易說明…………………………………………4
第一部份：真值函數的邏輯
第一章 緒論…………………………………………1
1.0本書範圍……………………………………………1
1.1符號邏輯與邏輯斯的克法…………………………2
第二章 真值函數的語句連詞(一) ……………………7
2.0合取句…………………………………………………7
2.1分取句或選取句………………………………………9
2.2否定句…………………………………………………10
習題………………………………………………………12
第三章 語言架式P………………………………………13
3.0語彙………………………………………………………13
3.1形成規則…………………………………………………14
4.2使用與提指………………………………………………16
習題…………………………………………………………19
第四章 語言P的語意論……………………………………21
4.0語意論……………………………………………………21
4.1真值表……………………………………………………21
4.2對語架 P 的解釋…………………………………………28
習題…………………………………………………………32
第五章 邏輯真句與分析性…………………………………35
5.0邏輯真句與邏輯假句………………………………………35
5.1分析語句與綜合語句………………………………………40
習題……………………………………………………………40
第六章 縮寫與等值性………………………………………41
6.0幾項縮寫約定………………………………………………41
6.1等值式………………………………………………………43
6.2可通融的歧義縮寫…………………………………………45
習題……………………………………………………………48
第七章 功能完備性…………………………………………51
7.0 相互涵衍、等值與表達力 ………………………………51
7.1彎肩符、楔劈和圓點的功能完備性………………………52
第八章 真值函數的語句連詞(二) ………………………57
8.0再論真值函數的語句連詞………………………………57
8.1彎肩符，楔劈和圓點之冗餘性…………………………59
8.2雪佛之撇…………………………………………………60
第九章 涵蘊與等值………………………………………65
9.0條件句……………………………………………………65
9.1雙條件句…………………………………………………67
9.2涵蘊與論結關係…………………………………………70
9.3對確性與涵蘊性之捷徑試法……………………………72
9.4更多的縮寫約定…………………………………………74
9.5等值與涵蘊………………………………………………75
習題…………………………………………………………77
第十章 範式與對偶性………………………………………77
10.0範式………………………………………………………79
10.1範式化約…………………………………………………82
10.2簡單分取範式……………………………………………87
10.3對偶性……………………………………………………88
習題……………………………………………………………91
第十一章 布爾方程與電路…………………………………93
11.0布爾方程…………………………………………………93
11.1電路設計…………………………………………………99
習題……………………………………………………………105
第十二章 形構化語言對於自然語言的邏輯解析
之應用…………………………………………………………109
12.0 論證的正確性之證明…………………………………… 109
12.1論證不正確之證明…………………………………………112
12.2顯現邏輯的結構……………………………………………114
12.3浮現(出)邏輯結構…………………………………………121
12.4單句的語意論………………………………………………123
習題………………………………………………………………128
第十三章 功能不完備性………………………………………131
13.0數學歸納法…………………………………………………131
13.1強式數學歸納法……………………………………………133
13.2圓點和楔劈的功能不完備性………………………………137
習題………………………………………………………………140
第十四章 其他記號法…………………………………………143
14.0大同小異的其他記號法……………………………………143
14.1大異其趣的另一記號法：波蘭記號法……………………144
習題………………………………………………………………147
第二部份：真值函數邏輯的設理化
第十五章 真值函數邏輯的設理系統…………………………149
15.0 系統P的原初基礎………………………………………… 149
15.1設理學裡的基本概念………………………………………151
習題………………………………………………………………155
第十六章 系統P的後設論(一) ………………………………157
16.0系統P的一貫性……………………………………………157
16.1設理與規劃之獨立性………………………………………159
16.2獨立性與一貫性……………………………………………165
習題………………………………………………………………167
第十七章 系統P的後設論(二) ………………………………171
17.0演繹定理……………………………………………………171
17.1一些重要的定理架式………………………………………175
17.2飽和一貫類…………………………………………………177
17.3完全性定理…………………………………………………181
習題………………………………………………………………187
第三部份：語句模態邏輯
第十八章 真值表與模態邏輯……………………………………191
18.0動機……………………………………………………………191
18.1實際與可能的真假值得數……………………………………192
18.2語言架式M……………………………………………………193
18.3完全真值表須部份真值表……………………………………193
18.4再論基本真值表………………………………………………198
習題…………………………………………………………………203
第十九章 語架M之對確性………………………………………205
19.0賦值與全體真值表集…………………………………………205
19.1對確性…………………………………………………………209
19.2語架P與語架M之關係…………………………………………210
19.3分析真句，邏輯真句，涵衍，涵蘊與等值…………………211
習題…………………………………………………………………213
第二十章 真值表式的連詞………………………………………217
20.0可能性…………………………………………………………217
20.1個位真值表式的連詞…………………………………………218
20.2 N位真值表式連詞與嚴格涵蘊………………………………223
20.3嚴格等值、相容性與星號……………………………………226
習題…………………………………………………………………230
第二十一章 功能完備性與模態完構式之化約…………………233
21.0功能與完備性…………………………………………………233
21.1模態完構式之化約……………………………………………237
21.2六個模態辭……………………………………………………239
習題…………………………………………………………………242
第二十二章 設理模態邏輯………………………………………245
22.0 系統 S 5 的原初基礎 …………………………………………245
22.1 S 5 與系統P的關係以及 S 5 的一貫性………………………246
22.2 演繹定理與一些重要定理架式………………………………248
22.3 S5的完全性定理………………………………………………251
22.4系統S5'的完全性………………………………………………257
22.5 系統S5'的一貫性………………………………………………260
習題……………………………………………………………………263
第四部份：量化論
第二十三章 單句內部解析…………………………………………267
23.0分子解析與原子解析……………………………………………267
23.1單詞………………………………………………………………268
23.2謂詞與加圈數碼…………………………………………………269
23.3明晰謂詞與暗晦謂詞……………………………………………271
23.4個體變數與謂詞變數……………………………………………273
習題……………………………………………………………………275
第二十四章 單式完構式的語意論…………………………………277
24.0個體變數的語意論………………………………………………277
24.1謂詞的語意論……………………………………………………278
24.2單式完構式的語意論……………………………………………279
習題……………………………………………………………………281
第二十五章 量化詞…………………………………………………283
25.0存在量化詞與全稱量化詞………………………………………283
25.1語架Q的文法……………………………………………………284
25.2自由變數與約束變數……………………………………………285
25.5歸納界說的應用…………………………………………………290
習題……………………………………………………………………292
第二十六章 模型論…………………………………………………295
26.0模型：可滿足性與對確性………………………………………295
26.1膨脹定理…………………………………………………………296
26.2羅溫漢定理與分譜問題…………………………………………298
26.3推廣的膨脹定理和羅溫漢-史郭廉定理…………………………300
26.4涵蘊，真值函數和等值關係………………………………………302
習題………………………………………………………………………304
第二十七章 中文論述的邏輯解析……………………………………307
27.0邏輯真句與空域……………………………………………………307
27.1中文述句的討論界域………………………………………………309
27.2將中文譯為Q-語言…………………………………………………311
習題…………………………………………………………………………318
第二十八章 槐英的自然演繹系統(一)…………………………………325
28.0個例……………………………………………………………………325
28.1自然演繹系統與邏輯斯的克系統……………………………………326
28.2前提規則………………………………………………………………327
28.3真值函數規則…………………………………………………………328
28.4全稱例化規則…………………………………………………………329
28.5存在推廣規則…………………………………………………………330
28.6條件化規則……………………………………………………………331
28.7五條對當保持規則……………………………………………………333
習題…………………………………………………………………………335
第二十九章 槐英的自然演繹系統(二)…………………………………339
29.0保守個例………………………………………………………………339
29.1全稱推廣規則…………………………………………………………340
29.2存在例化規則…………………………………………………………342
29.3全稱推廣與例化背後的道理…………………………………………344
29.4殺青演繹，證明和一些後設定理……………………………………345
29.5一貫性定理的證明……………………………………………………350
習題…………………………………………………………………………354
第三十章 自然演繹系統的應用…………………………………………359
30.0演繹策略……………………………………………………………359
30.1省時設計……………………………………………………………362
30.2等同性………………………………………………………………364
30.3約理系統和個體演算………………………………………………367
30.4系統QI的完全性定理…………………………………………… 376
習題………………………………………………………………………380
第三十一章 系統Q之完全性定理證明…………………………………383
31.0史郭廉-格德爾定理之系定理………………………………………383
31.1飽和類，一貫類與ω-完全類………………………………………384
31.2 31.0節裡的預備定理之證明………………………………………387
第三十二章 帶有函數變數的量化論……………………………………389
32.0函數變數和語項………………………………………………………389
32.1系統QIF的自然演繹規則……………………………………………391
32.2皮阿諾算術系統………………………………………………………392
習題…………………………………………………………………………400
第三十三章 判定問題與不完全性………………………………………403
33.0可判定性和邱奇論旨…………………………………………………403
33.1邱奇定理………………………………………………………………407
33.2格德爾不完全定理……………………………………………………410
第三十四章 判定問題的特殊個案………………………………………403
34.0 特殊個案………………………………………………………………413
34.1三段論…………………………………………………………………414
34.2判定問題之化約與前冠範式…………………………………………418
習題…………………………………………………………………………422
附錄
附錄A.集合論………………………………………………………………425
集合論導引……………………………………………………………425
習題……………………………………………………………………428
附錄B.語意圖表……………………………………………………………429
給真值函數邏輯的語意圖表…………………………………………429
習題……………………………………………………………………436
給量化邏輯的語意圖表………………………………………………437
習題……………………………………………………………………442
附錄C.系統P的完全性定理的另一證法…………………………………444
習題……………………………………………………………………447
附錄D.系統P的緊緻性定理的另一證法…………………………………448
習題……………………………………………………………………451
附錄E.系統Q的完全性定理的另一證法…………………………………452
習題……………………………………………………………………457
附錄F.量化詞的語意論的其他說法………………………………………458
習題………………………………………………………………………461
附錄G.帶有模態詞的量化論…………………………………………………463
克利普基1959年的語意與語架Q-M……………………………………463
系統Q-M和帶有模態詞之自然演繹的量化系統………………………467
給帶有模態詞之量化論的另一種語意論(KA)…………………………473
給帶有模態詞的量化論的再一種語意論(KB)…………………………475
習題………………………………………………………………………479
附錄H.時態邏輯………………………………………………………………482
習題………………………………………………………………………491
附錄I.量化論的邏輯斯的克系統……………………………………………493
習題………………………………………………………………………495