公式真度的推广及其L-系统单原子生成真值函数的特征.pdfVIP

陈熙：公式真度的推广及p系统中单原子生成真值函数的特征 1 摘要 IIIIII i II IIIIJfllllllIII 众所周知，数理逻辑的特点在于形式化和符号化，无论是二值逻辑还是多值逻辑， 都注重形式推理，而较少关心数值计算．2001年王国俊教授基于均匀概率的思想在经典二 值命题逻辑中引入了公式真度概念，将数值计算引入数理逻辑中使其具有某种灵活性从 而扩大其应用范围． 本文以公式真度的概念为基础，主要做了三方面工作．其一，以 匀概率基础上的，本文采用更一般的非均匀概率来定义公式真度概念，从而扩大真度的 实用性．其三，研究逻辑系统p中真值函数的特征．通过真值函数的研究，我们可以更 好地把握公式真度的概念和逻辑公式的类型． 第二章以Lukasiewiez三值命题逻辑中命题真度理论为基础，提出了逻辑方程概念， 并给出了逻辑方程解的存在性定理．我们就某些类型逻辑方程进行了探讨，给出了它们解 的等价类个数公式．证明了某类逻辑方程全体解经合取连接后生成的公式是一个矛盾式． 值命题逻辑系统G3中引入更为一般的公式真度概念．得到了逻辑系统L3和G3中由单原