| 摘要 | 第6-8页 |
| Abstract | 第8-9页 |
| 第1章 绪论 | 第12-29页 |
| 1.1 本文的学术背景 | 第12-13页 |
| 1.2 国内外研究现状 | 第13-17页 |
| 1.2.1 计量命题逻辑的研究现状 | 第14-15页 |
| 1.2.2 计量一阶逻辑的研究现状 | 第15-17页 |
| 1.3 命题逻辑系统的基本计量化研究成果 | 第17-22页 |
| I.3.1 二值命题逻辑系统基础知识 | 第17-20页 |
| 1.3.2 计量命题逻辑的基本内容 | 第20-22页 |
| 1.4 一阶逻辑系统基础知识 | 第22-26页 |
| 1.5 本文的主要内容 | 第26-29页 |
| 第2章 一阶逻辑公式关于有限解释相对真度的算式定义 | 第29-45页 |
| 2.1 相对真度的测度定义形式 | 第30-32页 |
| 2.2 相对真度的算式定义形式 | 第32-38页 |
| 2.3 一阶逻辑公式的准真度 | 第38-44页 |
| 2.4 本章小结 | 第44-45页 |
| 第3章 基于准真度的近似推理研究 | 第45-74页 |
| 3.1 一阶逻辑公式间的准相似度 | 第46-56页 |
| 3.1.1 一阶逻辑公式间关于有限解释的相对相似度 | 第46-51页 |
| 3.1.2 一阶逻辑公式间的准相似度 | 第51-56页 |
| 3.2 逻辑度量空间(F,(?)) | 第56-65页 |
| 3.2.1 一阶公式间的有限逻辑等价关系 | 第56-58页 |
| 3.2.2 逻辑度量空间(F,(?)) | 第58-65页 |
| 3.3 逻辑度量空间(F,(?))上的近似推理 | 第65-73页 |
| 3.4 本章小结 | 第73-74页 |
| 第4章 一阶逻辑公式的n-真度与真度向量 | 第74-104页 |
| 4.1 一阶逻辑公式的n-真度与真度向量 | 第75-90页 |
| 4.2 n-真度的和谐定理 | 第90-97页 |
| 4.3 关于一阶逻辑公式公理化真度的注记 | 第97-100页 |
| 4.4 关于一阶逻辑公式真度向量的未来工作 | 第100-103页 |
| 4.5 本章小结 | 第103-104页 |
| 第5章 基于n-真度的近似推理研究 | 第104-120页 |
| 5.1 一阶逻辑公式间的n-相似度与相似度向量 | 第104-109页 |
| 5.2 基于n-真度的逻辑度量空间(F,ρ_n) | 第109-115页 |
| 5.3 逻辑度量空间(F,ρ_n)上的近似推理 | 第115-118页 |
| 5.4 本章小结 | 第118-120页 |
| 结论与展望 | 第120-123页 |
| 致谢 | 第123-125页 |
| 参考文献 | 第125-133页 |
| 攻读博士学位期间的科研工作 | 第133-135页 |