命题演算两个推理系统的等价性
【出 处】:
【作 者】:
宋方敏
[1] ;
殷熙尧
[1]
【摘 要】
摘要:首先介绍命题演算的Gentzen型系统G,然后给出一个命题演算的永真推理系统H,最后证明一个命题在G中可证当且仅当它在H中可证,从而G与H是等价的。
相关热词搜索:
符号逻辑
命题演算
推理系统
symbolic logic ~ propositional logic ~ deduction system
上一篇:RGPS支持的面向方面网络式软件演化方法
下一篇:基于生存能力的节点权值多样化布置算法