第1章数理逻辑简介 1
1.1现代逻辑的基本理论 1
1.2数理逻辑的产生 6
1.3数理逻辑的内容 7
1.4数理逻辑史 8
1.5数理逻辑的发展 9
1.6逻辑演算 10
1.7数理逻辑研究现状 11
1.8辩证逻辑的形式化 13
1.9错误逻辑体系 14
错误逻辑符号体系 14
错误集合 16
数理错误命题逻辑 17
错误逻辑转化联结词与外延联结词的关系 17
错误逻辑转化联结词与内涵联结词的关系 17
错误谓词逻辑 18
错误逻辑的应用 18
第2章错误集 19
2.1错误集简介 19
错误集的概念及分类 19
错误集的运算及其规律 22
2.2错误集合的变换 23
变换的定义 24
变换的运算 25
变换的类型及其运算律 25
变换与错误的消除 37
2.3经典错误集 38
经典错误的概念 38
经典错误集的分类 39
经典错误集的运算及其规律 39
2.4模糊错误集 40
模糊错误集的概念 40
模糊错误集的运算及其规律 41
具有临界点的错误集 43
2.5多元错误集 43
问题的提出 43
二元错误集 43
变换的类型及其运算规律 48
第3章错误逻辑转化联结词 51
3.1错误逻辑相似转化联结词 52
基本概念 52
基本运算 55
错误逻辑相似转化联结词的概念 64
错误逻辑论域相似转化联结词的性质 66
错误逻辑事物相似转化联结词的性质 74
错误逻辑特性相似转化联结词的性质 87
错误逻辑空间相似转化联结词的性质 99
错误逻辑量值相似转化联结词的性质 111
错误逻辑错误值相似转化联结词的性质 123
错误逻辑规则相似转化联结词的性质 133
错误逻辑函数相似转化联结词的性质 146
错误逻辑时间相似转化联结词的性质 157
错误逻辑全面相似转化联结词 170
3.2错误逻辑分解转化联结词 171
错误逻辑分解转化联结词的概念 171
错误逻辑论域分解转化词 179
错误逻辑事物分解转化联结词 188
错误逻辑空间分解转化联结词 206
错误逻辑特性分解转化联结词 225
错误逻辑量值分解转化联结词 243
错误逻辑错误值分解转化联结词 263
错误逻辑函数分解转化联结词 282
错误逻辑时间分解转化联结词 301
错误逻辑规则分解转化联结词 323
错误逻辑全部分解转化词 342
3.3错误逻辑置换转化联结词 342
错误逻辑置换转化联结词的概念 342
错误逻辑论域置换转化联结词的性质 345
错误逻辑事物置换转化联结词 353
3.4错误逻辑增加转化联结词 357
错误逻辑增加转化联结词的概念 357
错误逻辑错误值增加转化联结词的增加原则 360
错误逻辑错误值增加转化联结词的性质 360
3.5错误逻辑毁灭转化联结词 377
错误逻辑毁灭转化联结词的概念 377
毁灭原则 379
毁灭方式 379
毁灭层次 379
错误逻辑论域毁灭转化联结词Th的特性 380
错误逻辑事物毁灭转化联结词 390
错误逻辑特性毁灭转化联结词 401
错误逻辑产生转化联结词 410
第4章数理错误命题逻辑 424
4.1错误逻辑命题概念 424
4.2原子命题 424
4.3基本运算 426
4.4复合命题 442
原子命题 442
错误逻辑复合命题 443
4.5错误逻辑推理的基本规则 447
公理集合 447
推理规则 447
4.6错误逻辑命题范式 449
第5章错误谓词逻辑 455
5.1错误谓词逻辑的形式 455
错误谓词逻辑概念 455
错误谓词逻辑主词、谓词和量词 455
错误谓词逻辑命题的常项、变项、命题函项和量化式 456
5.2错误谓词逻辑形式语言 459
谓词逻辑个体符号 459
错误谓词逻辑个体符号 459
错误谓词逻辑项符号 460
错误谓词逻辑公式符号 460
5.3错误谓词逻辑表达式的语意解释 460
参考文献 462