摘要 | 第1-5页 |
Abstract | 第5-7页 |
前言 | 第7-9页 |
第一章 预备知识 | 第9-12页 |
·?ukasiwicz命题逻辑系统 | 第9-10页 |
·G?del命题逻辑系统 | 第10-12页 |
第二章 三值 ?ukasiewicz命题逻辑系统中公式的T - 绝对真度理论 | 第12-19页 |
·公式的T - 绝对真度 | 第12-15页 |
·公式间的T - 绝对相似度和伪距离 | 第15-19页 |
第三章 三值 ?ukasiewicz命题逻辑系统中公式的向量表示形式 | 第19-30页 |
·公式真度的等价形式与公式间的相似度 | 第19-23页 |
·公式间的伪距离及F(S) 中运算关于? 的连续性 | 第23-30页 |
第四章 四值G?del命题逻辑系统中公式的概率真度理论 | 第30-45页 |
·公式的概率真度 | 第30-39页 |
·公式间的相似度和概率逻辑度量空间 | 第39-45页 |
总结 | 第45-46页 |
参考文献 | 第46-49页 |
致谢 | 第49-50页 |
攻读硕士学位期间已发表论文 | 第50页 |