|
|||||
|
|
| 二值命题逻辑中限制逻辑等价关系及其应用 | |
| 引用本文： | 亓正坤,王廷明,丁洁玉.二值命题逻辑中限制逻辑等价关系及其应用[J].东北师大学报(自然科学版),2012,44(2):22-25. |
| 作者姓名： | 亓正坤 王廷明 丁洁玉 |
| 作者单位： | 1. 青岛大学国际学院,山东青岛,266061 2. 青岛大学师范学院,山东青岛,266071 3. 青岛大学信息工程学院,山东青岛,266071 |
| 基金项目： | 国家自然科学基金资助项目 |
| 摘 要： | 给出了(F(S),ρ)中公式的一种逻辑等价分解,利用这种逻辑等价分解讨论公式的真度、伪距离和相似度的计算问题,并且引入了(F(S′),ρ)中公式的限制逻辑等价概念,建立了一种等价关系.作为限制逻辑等价关系的应用,得到了(F(S),ρ )中基于真度的τ(A→X) =α型逻辑方程的解集,利用限制逻辑等价关系进行的一种相等“直径”的子集划分结果,为二值命题逻辑系统的逻辑推理和程度化的进一步研究提供了方法. |
| 关 键 词： | 二值命题逻辑 真度 限制逻辑等价 逻辑方程 解集 |
The restricted logic equivalence relation in two-valued propositional logic and its applications |
|
| QI Zheng-kun , WANG Ting-ming , DING Jie-yu.The restricted logic equivalence relation in two-valued propositional logic and its applications[J].Journal of Northeast Normal University (Natural Science Edition),2012,44(2):22-25. | |
| Authors: | QI Zheng-kun WANG Ting-ming DING Jie-yu |
| Institution: | 1.College of International,Qingdao University,Qingdao 266061,China; 2.College of Teachers,Qingdao University,Qingdao 266071,China; 3.College of Information Engineering,Qingdao University,Qingdao 266071,China) |
| Abstract: | A kind of logical equivalence decomposition of the formula in is presented and applied to discuss the calculating issues of the truth degree,pseudo metric and similarity degree of the formula.With the introduction of restricted logic equivalence,an equivalence relation is established and applied to obtain the subset’s partition of the solution set of logical equation based on the truth degree by the equal ’diameter’ method,which provides useful methods for further research of the logical reasoning and grading in two-valued propositional logic system. |
| Keywords: | two-valued propositional logic truth degree restricted logic equivalence logical equation solution set |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |