| 摘要 | 第1页 |
| 引言 | 第3-5页 |
| 第一章 扰动模糊命题逻辑系统中的广义重言式 | 第5-15页 |
| ·基本定义 | 第5-7页 |
| ·逻辑系统D|-, D 中的广义重言式的分类 | 第7-13页 |
| ·逻辑系统D|-, D 中的广义矛盾式的分类 | 第13-15页 |
| 第二章 扰动模糊命题逻辑系统中的升级算法 | 第15-21页 |
| ·逻辑系统D|-, D 中的升值算法 | 第15-16页 |
| ·有限扰动模糊逻辑系统D_k中的公式分类及升级算法 | 第16-21页 |
| 第三章 动模糊命题逻辑系统中的广义语义MP 规则和广义语义HS规则 | 第21-28页 |
| ·逻辑系统D|-,D 中的广义语义MP 规则和广义语义HS规则 | 第21-25页 |
| ·逻辑系统D_k中的广义语义MP规则和广义语义HS规则 | 第25-28页 |
| 结束语 | 第28-29页 |
| 致谢 | 第29页 |
| Abstract | 第29-30页 |
| 参考文献 | 第30-32页 |
| 学位论文独创性声明 | 第32页 |
| 学位论文版权的使用授权书 | 第32页 |