| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 前言 | 第6-8页 |
| 第一章 几种命题逻辑系统及其完备性 | 第8-14页 |
| ·命题逻辑系统 | 第8-9页 |
| ·二值命题逻辑系统L | 第9-11页 |
| ·Lukasiewicz命题逻辑系统 | 第11页 |
| ·R_0型命题逻辑系统L_n~*,L~* | 第11-14页 |
| 第二章 命题逻辑公式集上的相似度 | 第14-22页 |
| ·真度 | 第14-15页 |
| ·两种相似度的定义 | 第15-16页 |
| ·正则相似度 | 第16-18页 |
| ·半正则相似度 | 第18-22页 |
| 第三章 伪距离和逻辑度量空间 | 第22-25页 |
| ·伪距离 | 第22页 |
| ·三种度量空间的等价性 | 第22-25页 |
| 第四章 发散度、近似推理和误差 | 第25-37页 |
| ·逻辑理论的发散度 | 第25-26页 |
| ·F(S)中的近似推理理论 | 第26页 |
| ·L中的三种近似推理理论等价 | 第26-37页 |
| 总结 | 第37-38页 |
| 参考文献 | 第38-40页 |
| 致谢 | 第40-41页 |
| 攻读硕士学位期间的研究成果 | 第41页 |