首页 > 期刊 > 计算机工程与科学 > 命题演算两个推理系统的等价性 【正文】
摘要：摘要：首先介绍命题演算的Gentzen型系统G，然后给出一个命题演算的永真推理系统H，最后证明一个命题在G中可证当且仅当它在H中可证，从而G与H是等价的。
关键词：符号逻辑 命题演算 推理系统
单位：南京大学计算机科学与技术系 江苏南京210023
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
相关期刊
北大期刊
￥624.00
购物车(0)