二值逻辑的D-条件真度理论
文章在二值命题逻辑中公式的D-随机真度和条件真度的基础上,在D-逻辑度量空间(F(S),ρD)提出了D-条件真度的概念,同时讨论了D-条件真度的有关性质,并引入了基于Γ的矛盾式与重言式的概念和公式A与B基于Γ逻辑等价的概念;进一步给出了公式间D-条件相似度和D-条件逻辑伪距离的概念,同时讨论了它们的性质.
作 者: 高香妮 王国俊 GAO Xiang-ni WANG Guo-jun 作者单位: 陕西师范大学数学与信息科学学院,陕西,西安,710062 刊 名: 云南师范大学学报(自然科学版) ISTIC 英文刊名: JOURNAL OF YUNAN NORMAL UNIVERSITY(NATURAL SCIENCES EDITION) 年,卷(期): 2009 29(6) 分类号: O141.1 关键词: D-随机真度 D-条件真度 D-条件相似度 D-条件逻辑伪距离