| 前言 | 第1-10页 |
| 第一章 关于PI证明的若干注记 | 第10-16页 |
| §1．1 预备知识 | 第10-12页 |
| §1．2 关于PI证明的若干注记 | 第12-16页 |
| 第二章 两个三值命题逻辑系统中命题的真度理论 | 第16-26页 |
| §2．1 G(o|¨)del三值命题逻辑中命题的真度理论 | 第16-23页 |
| §2．2 Kleene三值命题逻辑中命题的真度理论 | 第23-26页 |
| 第三章 二值谓词逻辑中公式的一类准真度理论 | 第26-40页 |
| §3．1 预备知识 | 第26-28页 |
| §3．2 谓词公式的相对真度 | 第28-35页 |
| §3．3 谓词公式的准真度 | 第35-40页 |
| 总结 | 第40-41页 |
| 参考文献 | 第41-43页 |
| 致谢 | 第43-44页 |
| 攻读硕士学位期间的研究成果 | 第44-45页 |