命题公式类型的判定

• 作者: 徐荣聪 林运国
• 来源期刊: 福建电脑
• 学科: 工学
• 关键词: 重言式 矛盾式 可满足式 遗忘理论
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 基金项目论文
• 页码范围: 23
• 页数: 1页
• 分类号: TP3
• 字数: 1594字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-2782.2008.03.014

摘要

本文提出如何判断一个公式为重言式、矛盾式、可满足式的方法.基于遗忘理论提出遗忘合式公式方法,在保持逻辑等值的条件下,遗忘掉公式的冗余命题变元,使得公式包含更少的命题变元,为判定命题公式类型提供一种能行的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐荣聪	福州大学数学与计算机科学学院	29	267	8.0	16.0
2	林运国	福州大学数学与计算机科学学院	3	12	2.0	3.0