命题逻辑及谓词逻辑推理证明中的化归法

• 作者: 张锦华
• 来源期刊: 福建电脑
• 关键词: 命题逻辑 谓词逻辑 化归法
• 年，卷（期）: 2009,（9）
• 所属期刊栏目: 应用与开发
• 页码范围: 167-168
• 页数: 2页
• 字数: 1758字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-2782.2009.09.107

摘要

离散数学中的命题逻辑及谓词逻辑在计算机科学中有着广泛的应用.本文,提出了一种用于命题逻辑及谓词逻辑推理证明中统一的方法--化归法