具體描述
著者信息
圖書目錄
作者序iii
第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反推的技巧143
7-5等值規則（一）149
7-6等值規則（二）157
本章綜閤練習165
第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釋模法235
第11章述詞邏輯的證明243
11-1全稱個例化規則244
11-2存在通則化規則252
11-3存在個例化規則258
11-4全稱通則化規則266
11-5量限號互換規則270
11-6邏輯真理的證明272
本章綜閤練習276
第12章關係述詞邏輯281
12-1關係的邏輯錶達式282
12-2關係述詞論證的證明288
12-3對稱性、遞移性與自反性292
12-4等同298
12-5確定描述詞305
習題解答309
名詞索引365
推論規則378
圖書序言
圖書試讀
用戶評價
相關圖書
本站所有內容均為互聯網搜尋引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 ttbooks.qciss.net All Rights Reserved. 小特书站 版權所有