计量逻辑中真度的均值表示形式及应用
作者:吴洪博;周建仁
作者单位:陕西师范大学数学与信息科学学院,陕西西安710062
加工时间:2014-05-15
信息来源:《电子学报》
关键词:计量逻辑;真度;均值表示;极限定理;对称性定理;规范型;计算公式
摘 要:命题真度是计量逻辑学中的基础概念.本文对真度的性质和计算方法进行了再研究.首先给出了计量逻辑中真度定义的均值表示形式;其次利用真度定义的均值表示形式推广了连接有限值逻辑系统和连续值逻辑系统中真度理论的极限定理,并得到了真度的对称性定理;最后在n-值命题逻辑系统和连续值命题逻辑系统中给出了析取规范型命题和合取规范型命题的真度的计算公式.