计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (3): 64-65.DOI: 10.3778/j.issn.1002-8331.2009.03.018
• 研究、探讨 • 上一篇 下一篇
王廷明
收稿日期:
修回日期:
出版日期:
发布日期:
通讯作者:
WANG Ting-ming
Received:
Revised:
Online:
Published:
Contact:
摘要： 以公式真度为基础，研究了二值命题逻辑系统中有限理论逻辑推出的结论类型和分别基于公式真度以及逻辑等价的分类问题，给出了分类定理以及同一理论结论的相似度的一个下界。
关键词: 命题公式, 主析取范式, 真度, 相似度
Abstract: Based on the notion of truth degrees of formulas，type of conclusions deduced by finite theories in two-valued propositional logic is investigated.Classification of theories based on the truth degrees of formulas，respectively，based on logical equivalence is studied.Especially，a theorem about classification is obtained and the similarity relation between conclusions deduced by one theory is given.
Key words: propositional formula, principal disjunctive normal form, truth degree, similarity degree
王廷明. 二值命题逻辑理论的结论类型和分类[J]. 计算机工程与应用, 2009, 45(3): 64-65.
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.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://cea.ceaj.org/CN/10.3778/j.issn.1002-8331.2009.03.018
http://cea.ceaj.org/CN/Y2009/V45/I3/64
