| 二值命题逻辑公式的语构程度化方法 |
| |
| 引用本文： | 张东晓,李立峰. 二值命题逻辑公式的语构程度化方法[J]. 电子学报, 2008, 36(2): 325-330 |
| |
| 作者姓名： | 张东晓 李立峰 |
| |
| 作者单位： | 集美大学理学院,福建厦门,361021;西安邮电学院应用数理系,陕西西安,710061 |
| |
| 摘 要： | 本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画.给出语构真度的实例,说明原来在语义下的真度是语构真度,并且由语构真度诱导的相似度和伪距离具有语义下相似度和伪距离的基本性质.给出τ-相容理论的概念,指出τ-相容理论和相容理论的内在关系.
|
| 关 键 词： | 二值命题逻辑 真度理论 语构真度 τ-相容理论 |
| 文章编号： | 0372-2112（2008）02-0325-06 |
| 收稿时间： | 2007-02-08 |
| 修稿时间： | 2007-10-29 |
Syntactic Graded Method of Two-Valued Propositional Logic Formulas |
| |
| ZHANG Dong-xiao,LI Li-feng. Syntactic Graded Method of Two-Valued Propositional Logic Formulas[J]. Acta Electronica Sinica, 2008, 36(2): 325-330 |
| |
| Authors: | ZHANG Dong-xiao LI Li-feng |
| |
| Affiliation: | 1. School of Science,Jimei University.Xiamen,Fujian 361021,China; 2. Department of Applied Mathematics and Physics,Xi’an College of Posts and Telecommunications.Xi’an,Shaanxi 710061,China |
| |
| Abstract: | From the syntactical point of view,the concept of the syntactic truth degree of formulas is proposed in two-valued propositional logic system.Two equivalent depiction theorems about syntactic truth degree are introduced.Examples of syntactic truth degree illustrate that the original truth degree from semantics is a special syntactic truth degree.It is pointed out that the similarity degree and pseudo-metric induced by syntactic truth degree possess respectively the basic properties of similarity degree and ... |
| |
| Keywords: | two-valued propositional logic truth degree theory syntactic truth degree τ -consistent theory |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载免费的PDF全文 |
