三值逻辑系统G_3中的随机化研究  

Stochastic study in the ternary logic system G_3

作　　者：王庆平[1] 张兴芳[1] 王大全[1] 

机构地区：[1]聊城大学数学科学学院,山东聊城252059

出　　处：《山东大学学报（理学版）》2008年第2期101-108,112,共9页Journal of Shandong University(Natural Science)

基　　金：教育部科学技术研究重点基金资助项目(206089)

摘　　要：利用赋值集的随机化方法,在三值逻辑G3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DG3-相似度与伪距离的概念,并建立了DG3-逻辑度量空间,证明了此空间没有孤立点。DG3-stochastic truth degree of formulae in the ternary logic G3 was presented by using stochastic method on evaluation sets. It was proved that the set of stochastic truth degree of all formulae has no isolated point. The conceptions of DG3-similarity degree and pseudo-metric on two formulae were given. DG3 -logic metric space was built. It was proved that this space has no isolated point.

关 键 词：DG3-随机真度 DG3-相似度 DG3-逻辑度量空间 

分 类 号：O141[理学—数学] TP309[理学—基础数学]