| 二值命题逻辑理论的结论类型和分类 |
| |
| 引用本文： | 王廷明.二值命题逻辑理论的结论类型和分类[J].计算机工程与应用,2009,45(3):64-65. |
| |
| 作者姓名： | 王廷明 |
| |
| 作者单位： | 青岛大学 师范学院，山东 青岛 266071 |
| |
| 基金项目： | 王廷明（1963-）,男,副教授,主要研究领域为经典逻辑. |
| |
| 摘 要： | 以公式真度为基础，研究了二值命题逻辑系统中有限理论逻辑推出的结论类型和分别基于公式真度以及逻辑等价的分类问题，给出了分类定理以及同一理论结论的相似度的一个下界。
|
| 关 键 词： | 命题公式 主析取范式 真度 相似度 |
| 收稿时间： | 2008-1-7 |
| 修稿时间： | 2008-4-28
|
Type of conclusions and classification of theories in two-valued propositional logic |
| |
| WANG Ting-ming.Type of conclusions and classification of theories in two-valued propositional logic[J].Computer Engineering and Applications,2009,45(3):64-65. |
| |
| Authors: | WANG Ting-ming |
| |
| Affiliation: | Department Mathematics，College of Teachers，Qingdao University，Qingdao，Shandong 266071，China |
| |
| Abstract: | Based on the notion of truth degrees of formulas,type of conclusions deduced by finite theories in two-valued proposi- tional logic is investigated.Classification of theories based on the truth degrees of formulas,respectively,based on logical equiva- lence is studied.Especially,a theorem about classification is obtained and the similarity relation between conclusions deduced by one theory is given. |
| |
| Keywords: | propositional formula principal disjunctive normal form truth degree similarity degree |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
