摘要
从语构的角度给出公式的真度的形式化定义,并由语构真度诱导出相似度和伪距离,给出相似度和伪距离的基本性质,讨论了语构真度在推理中的应用。
This paper define the synatactic truth degree of formulas from the synatactical point of view. it is pointed out that the similarity degree and pseudo-metric. Finally, the application of syntactic truth degree in reasoning are also discussed.
出处
《云南师范大学学报（自然科学版）》
2009年第5期17-21,共5页
Journal of Yunnan Normal University:Natural Sciences Edition
基金
国家自然科学基金资助课题(10471083)
陕西师范大学重点科研基金资助课题(995130)
关键词
命题逻辑系统
语构真度
格值真度
propositional logic system
syntatic truth degree
lattice-value truth degree
