| 前言 | 第1-10页 |
| 第一章 经典逻辑系统L中的MT问题 | 第10-17页 |
| §1.1 预备知识 | 第11-12页 |
| §1.2 经典逻辑系统L中的GMT和多重GMT规则的语构理论 | 第12-15页 |
| §1.3 经典逻辑系统L中MP与MT问题的相互转化 | 第15-17页 |
| 第二章 命题逻辑系统G_3和П_3中公式的真度理论 | 第17-28页 |
| §2.1 公式真度的定义及性质 | 第17-24页 |
| §2.2 公式真度的推理规则 | 第24-28页 |
| 第三章 命题逻辑系统G_n和П_n中公式间的相似度与伪距离 | 第28-40页 |
| §3.1 预备知识 | 第28-32页 |
| §3.2 公式间三种相似度的定义及性质 | 第32-38页 |
| §3.3 公式间的一种伪距离 | 第38-40页 |
| 总结 | 第40-41页 |
| 参考文献 | 第41-43页 |
| 致谢 | 第43-44页 |
| 攻读硕士学位期间的研究成果 | 第44页 |