| 二值命题逻辑系统中公式的语构真度理论 |
| |
| 引用本文： | 龚加安,吴洪博.二值命题逻辑系统中公式的语构真度理论[J].云南师范大学学报(自然科学版),2009,29(5):17-21. |
| |
| 作者姓名： | 龚加安 吴洪博 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院,陕西,西安,710062 |
| |
| 基金项目： | 国家自然科学基金资助课题，陕西师范大学重点科研基金资助课题 |
| |
| 摘 要： | 从语构的角度给出公式的真度的形式化定义,并由语构真度诱导出相似度和伪距离,给出相似度和伪距离的基本性质,讨论了语构真度在推理中的应用。
|
| 关 键 词： | 命题逻辑系统 语构真度 格值真度 |
Theory of Syntatic Truth Degree in Two Value Propositional Logic System |
| |
| GONG Jia-an,WU Hong-bo.Theory of Syntatic Truth Degree in Two Value Propositional Logic System[J].Journal of Yunnan Normal University (Natural Sciences Edition),2009,29(5):17-21. |
| |
| Authors: | GONG Jia-an WU Hong-bo |
| |
| Institution: | (College of Mathematics and Information Science, Shaanxi Normal University, Xi＇an 710062, China) |
| |
| Abstract: | 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. |
| |
| Keywords: | propositional logic system syntatic truth degree lattice-value truth degree |
| 本文献已被 维普 万方数据 等数据库收录！ |
