符號邏輯：語法、語義和證明

叢書序
致謝

導言
0.1 什麼是符號邏輯學？
0.2 為什麼學習邏輯學？
0.3 如何學習邏輯學？
0.4 本書結構如何編排？

第1章 命題、論證和邏輯屬性
1.1 命題
1.2 論證
1.3 演繹有效論證
1.4 總結

第2章 語言、句法和語義學
2.1 真值函數
2.2 PL符號和真值函數算子
2.3 PL句法
2.4 析取、蘊涵、等值蘊涵
2.5 高級轉換

第3章 真值表
3.1 賦值（真值賦值）
3.2 命題的真值表
3.3 命題真值表分析
3.4 命題集的真值表分析
3.5 蘊涵條件解釋
3.6 論證真值表分析
3.7 無效短真值表測試

第4章 真值樹
4.1 真值樹的建構和解構
4.2 真值樹解構規則
4.3 剩余解構規則
4.4 基本策略
4.5 真值樹走查
4.6 真值樹的邏輯性質

第5章 命題邏輯推導
5.1 證明的建構
5.2 前提和目標命題
5.3 Intelim推導規則
5.4 證明的策略
5.5 附加推導規則（PD+）
5.6 額外推導策略

第6章 謂詞語言、句法和語義學
6.1 謂詞邏輯的表達能力
6.2 RL語言
6.3 RL句法
6.4 謂詞語義學
6.5 從句子到謂詞邏輯的翻譯
6.6 混合和重復量詞

第7章 謂詞邏輯樹
7.1 四個新的解構規則
7.2 解構樹的策略
7.3 邏輯性質
7.4 不可判定性和謂詞樹方法的局限性

第8章 謂詞邏輯推導
8.1 四個量詞規則
8.2 量詞否定（QN）
8.3 樣例說明

附錄
命題邏輯
謂詞邏輯
補充書目
邏輯哲學和哲學邏輯
模態邏輯
非經典邏輯、推演邏輯和自由邏輯
非推演邏輯
高階邏輯
邏輯學的歷史
邏輯學與替代符號
人名與名詞（英漢對照）
作者簡介