具体描述
著者信息
图书目录
作者序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. 小特书站 版权所有