首页 | 本学科首页   官方微博 | 高级检索  
     检索      

计量逻辑中真度的均值表示形式及应用
引用本文:吴洪博,周建仁.计量逻辑中真度的均值表示形式及应用[J].电子学报,2012,40(9):1822-1828.
作者姓名:吴洪博  周建仁
作者单位:陕西师范大学数学与信息科学学院,陕西西安,710062
基金项目:国家自然科学基金,陕西省教育厅专项科研计划项目
摘    要: 命题真度是计量逻辑学中的基础概念.本文对真度的性质和计算方法进行了再研究.首先给出了计量逻辑中真度定义的均值表示形式;其次利用真度定义的均值表示形式推广了连接有限值逻辑系统和连续值逻辑系统中真度理论的极限定理,并得到了真度的对称性定理;最后在n-值命题逻辑系统和连续值命题逻辑系统中给出了析取规范型命题和合取规范型命题的真度的计算公式.

关 键 词:计量逻辑  真度  均值表示  极限定理  对称性定理  规范型  计算公式
收稿时间:2011-11-03

The Form of Mean Representation of Truth Degree with Applications in Quantitative Logic
WU Hong-bo , ZHOU Jian-ren.The Form of Mean Representation of Truth Degree with Applications in Quantitative Logic[J].Acta Electronica Sinica,2012,40(9):1822-1828.
Authors:WU Hong-bo  ZHOU Jian-ren
Institution:(College of Mathematics and Information Science,Shaanxi Normal Universtity,Xi′an,Shaanxi 710062,China)
Abstract:The truth degree of formula is the basic concept in quantitative logic from which other concepts are derived.In the present paper the properties and the computation method of truth degree are investigated more in-depth.Firstly,a form of mean representation of definition of truth degree of formula is given in quantitative logic;secondly,with the help of the form of mean representation,the limit theorem is generalized that is a connection of the theories of truth degrees in n-valued logic system and continuity-valued logic system,and the symmetrical characteristic of truth degree is obtained;thirdly,the computational formulas of truth degrees of the propositions with normal forms is given.
Keywords:quantitative logic  truth degree  mean representation  limit theorem  symmetry theorem  normal form  calculation formula
本文献已被 CNKI 万方数据 等数据库收录!
点击此处可从《电子学报》浏览原始摘要信息
点击此处可从《电子学报》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号