首页--数理科学和化学论文--数学论文--数理逻辑、数学基础论文--数理逻辑(符号逻辑)论文--命题演算、谓词演算、类演算论文

命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论

摘要第1-5页
Abstract第5-8页
前言第8-10页
第1章 预备知识第10-16页
   ·二值命题逻辑中的真度第10页
   ·相似度、伪距离及发散度第10-11页
   ·F(S)中的近似推理第11-12页
   ·命题逻辑中根的理论第12页
   ·多值逻辑系统中的基本知识第12-16页
第2章 二值命题逻辑中公式的Γ蕴涵真度理论第16-34页
   ·公式的Γ蕴涵真度第16-18页
   ·Γ蕴涵真度的性质第18-23页
   ·公式间的相对Γ相似度及伪距离第23-26页
   ·基于Γ蕴涵真度的三种近似推理模式第26-29页
   ·三种近似推理模式的等价性第29-31页
   ·概率逻辑学与Γ蕴涵真度的融合第31-34页
第3章 四种命题逻辑系统中公式的相对Γ-重言度理论第34-50页
   ·公式的相对Γ-重言度理论第34-39页
   ·Γ-相似度、伪距离及近似推理模式第39-44页
   ·多值逻辑中的若干结论第44-47页
   ·近似推理模式间的内在联系第47-50页
总结第50-52页
参考文献第52-56页
致谢第56-58页
攻读硕士学位期间的研究成果第58页

论文共58页,点击 下载论文
上一篇:逻辑代数上的滤子及反向三I算法统一形式的研究
下一篇:论孟子仁政思想的内涵及其实质