逻辑公式的模糊度
来源：计算机科学与探索杂志2015年第5期北京时间：
作者：于鹏
单位：陕西科技大学 理学院，西安 710021
摘要：从判断一个命题正确与否的难易程度入手，在经典的二值逻辑系统中，利用一个命题公式赋值为1与赋值为0的个数，引入了一个反映命题公式清晰程度的量——模糊度。给出了模糊度的相关性质，指出了模糊度与计量逻辑学中真度定义之间的联系与区别，得到如下结论：（1）在一个推理中过程中，随着前提模糊度的降低，结论的模糊度也随之降低；（2）具有相同模糊度的命题公式构成的命题集是一个不相容命题集；（3）两个距离相近的命题公式，其模糊度也十分接近。
关键词：计量逻辑学,模糊度,近似推理,真度
