排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
首先介绍命题演算的Gentzen型系统G,然后给出一个命题演算的永真推理系统H,最后证明一个命题在G中可证当且仅当它在H中可证,从而G与H是等价的. 相似文献
2.
1