| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 前言 | 第7-9页 |
| 第1章 预备知识 | 第9-13页 |
| ·L_n系统和L_n~*系统中公式真度的定义及等价形式 | 第9-10页 |
| ·L_n系统和L_n~*系统中公式间相似度,伪距离的定义及性质 | 第10-13页 |
| 第2章 L_n系统和L_n~*系统中公式真度理论的共有性质 | 第13-21页 |
| ·L_n系统和L_n~*系统中公式真度的共有性质 | 第13-17页 |
| ·L_n系统和L_n~*系统中公式相似度的共有性质 | 第17-18页 |
| ·L_n系统和L_n~*系统中公式间伪距离的共有性质 | 第18-21页 |
| 第3章 L_n系统中公式真度及相似度的特殊性质 | 第21-29页 |
| ·L_n系统中公式真度的特殊性质 | 第21-23页 |
| ·L_n系统中公式相似度的特殊性质 | 第23-29页 |
| 第4章 L_n~*系统中公式的近似推理理论 | 第29-33页 |
| 第5章 L_n系统,L_n~*系统以及L~*系统中关于相似度命题的反例及命题的修正 | 第33-39页 |
| ·L_n和L系统中关于命题的反例 | 第33-34页 |
| ·L_n~*系统中关于命题的反例 | 第34-35页 |
| ·L~*系统中关于命题的反例 | 第35-36页 |
| ·L_n系统,L_n~*系统以及L~*系统中命题的修正 | 第36-39页 |
| 结论 | 第39-41页 |
| 参考文献 | 第41-45页 |
| 致谢 | 第45-47页 |
| 攻读硕士学位期间的研究成果 | 第47页 |
