论文部分内容阅读
计量逻辑理论是王国俊教授于21世纪初期建立的一种新型逻辑理论，真度理论在计量逻辑理论中发挥着关键的作用。该文将真度概念加以推广，在（3n＋1）-值模糊命题逻辑系统 R0中引入了公式相对于含有限个命题变元的理论的Γ-真度；讨论了与析取连接词、合取连接词、蕴含连接词、否定连接词等基本逻辑连接词相关的Γ-真度性质；讨论了与分离规则 MP，三段论规则 HS 等推理规则相关的Γ-真度性质。该文的工作为将计量逻辑的思想融入（3n＋1）-值模糊命题逻辑系统 R0并建立基于给定理论的近似推理基本框架和相关的逻辑度量空间奠定了基础。