二值命题逻辑理论的结论类型和分类

• 作者: 王廷明
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 命题公式 主析取范式 真度 相似度
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 研究、探讨
• 页码范围: 64-65,73
• 页数: 3页
• 分类号: O141.3
• 字数: 4164字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.03.018

摘要

以公式真度为基础,研究了二值命题逻辑系统中有限理论逻辑推出的结论类型和分别基于公式真度以及逻辑等价的分类问题,给出了分类定理以及同一理论结论的相似度的一个下界.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王廷明	青岛大学师范学院	49	91	5.0	7.0