摘要：在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念，在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念,其次。基于演绎定理建立了程度化的近似推理理论,最后，提出了有限逻辑理论的相容度理论。

关键词：命题逻辑 诱导函数 真度 近似推理 相容度 

单位：陕西师范大学数学研究所; 陕西西安710062; 西安交通大学基础科学研究中心; 陕西西安710049; 西安高技术研究所; 陕西西安710025