逻辑公式的模糊度

摘要：

从判断一个命题正确与否的难易程度入手，在经典的二值逻辑系统中，利用一个命题公式赋值为1与赋值为0的个数，引入了一个反映命题公式清晰程度的量——模糊度。给出了模糊度的相关性质，指出了模糊度与计量逻辑学中真度定义之间的联系与区别，得到如下结论：（1）在一个推理中过程中，随着前提模糊度的降低，结论的模糊度也随之降低；（2）具有相同模糊度的命题公式构成的命题集是一个不相容命题集；（3）两个距离相近的命题公式，其模糊度也十分接近。

关键词：计量逻辑学、模糊度、近似推理、真度

分类号：O235;O153.1(控制论、信息论（数学理论）)

资助基金：The Natural Science Foundation of Shaanxi Province of China under Grant No.2011JQ1015;the Statistical Research Project of Shaanxi Province under Grant No.2014LX05

在线出版日期：2015-06-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：635-640