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