摘要
首先介绍命题演算的Gentzen型系统G,然后给出一个命题演算的永真推理系统H,最后证明一个命题在G中可证当且仅当它在H中可证,从而G与H是等价的。
Abstract:Firstly, a deduction system G for the propositional calculus in the style of Gentzen is intro- duced. Secondly, a deduction system H for the propositional calculus in the style of Hilbert is proposed. Thirdly, it is proved that G is equivalent to H in the sense that G and H have the same set of theorems.
出处
《计算机工程与科学》
CSCD
北大核心
2013年第9期104-109,共6页
Computer Engineering & Science
基金
江苏省自然科学基金资助项目(2011560)
关键词
符号逻辑
命题演算
推理系统
symbolic logic ~ propositional logic ~ deduction system