命题演算两个推理系统的等价性

• 作者: 宋方敏 殷熙尧
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 符号逻辑 命题演算 推理系统
• 年，卷（期）: 2013,（9）
• 所属期刊栏目: 软件工程
• 页码范围: 104-109
• 页数: 6页
• 分类号: TP393
• 字数: 3973字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2013.09.017

摘要

首先介绍命题演算的Gentzen型系统G,然后给出一个命题演算的永真推理系统H,最后证明一个命题在G中可证当且仅当它在H中可证,从而G与H是等价的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋方敏	南京大学计算机科学与技术系	29	191	9.0	13.0
2	殷熙尧	南京大学计算机科学与技术系	2	0	0.0	0.0