J4 ›› 2013, Vol. 35 ›› Issue (9): 104-109.
• 论文 • Previous Articles Next Articles
SONG Fangmin，YIN Xiyao
Online:
Published:
Abstract:
Firstly, a deduction system G for the propositional calculus in the style of Gentzen is introduced. 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.
Key words: symbolic logic；propositional logic；deduction system
SONG Fangmin，YIN Xiyao. On the equivalence between deduction systems H and G in propositional calculus [J]. J4, 2013, 35(9): 104-109.
0 / / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://joces.nudt.edu.cn/EN/
http://joces.nudt.edu.cn/EN/Y2013/V35/I9/104
