论文部分内容阅读
首先介绍命题演算的Gentzen型系统G,然后给出一个命题演算的永真推理系统H,最后证明一个命题在G中可证当且仅当它在H中可证,从而G与H是等价的。
命题演算两个推理系统的等价性
【摘 要】
：
首先介绍命题演算的Gentzen型系统G,然后给出一个命题演算的永真推理系统H,最后证明一个命题在G中可证当且仅当它在H中可证,从而G与H是等价的。
【机 构】
：
南京大学计算机科学与技术系
【出 处】
：
计算机工程与科学
【发表日期】
：
2013年09期
其他文献
本文详细介绍了靖远县农业标准化建设的基本情况,分析了其发展中存在的主要问题,提出了推进农业标准化工作的对策及建议,以期为靖远县农业产业的健康发展提供参考。
20世纪60年代以来,人类为解决未来能源的供应和生存环境问题,以绿色能源利用为目的"能源革命"的呼声日渐高涨."能源革命"包括新能源和可再生能源逐步代替资源有限、对环境产
目前我国基础教育课程教学改革呈现出一种单一的“理念推广”模式，热衷于宣传和普及种种“新理念”，但却忽视了通过对教学技术的研究和提升来促进理念的落实，甚至贬低技术研究的
10月19日,国家网信办公布的信息显示,三季度,全国网信系统依法查处网上各类违法违规行为,累计约谈网站1211家,警告网站954家,暂停更新网站489家,会同电信主管部门取消违法网
词汇的表示问题是自然语言处理的基础研究内容。目前单语词汇分布表示已经在一些自然语言处理问题上取得很好的应用效果，然而在跨语言词汇的分布表示上国内外研究很少，针对这个
<正>今年1月,日本松下公司开发出用于运输和临时保存新冠肺炎疫苗的便携式低温冷藏箱。该冷藏箱不使用电源,依靠干冰等制冷剂最长可维持18天-70℃的环境,可用于需要低温管理
期刊