| 命题演算两个推理系统的等价性 |
| |
| 引用本文： | 宋方敏,殷熙尧.命题演算两个推理系统的等价性[J].计算机工程与科学,2013,35(9):104. |
| |
| 作者姓名： | 宋方敏 殷熙尧 |
| |
| 作者单位： | 南京大学计算机科学与技术系,江苏南京,210023 |
| |
| 基金项目： | 江苏省自然科学基金资助项目 |
| |
| 摘 要： | 首先介绍命题演算的Gentzen型系统G,然后给出一个命题演算的永真推理系统H,最后证明一个命题在G中可证当且仅当它在H中可证,从而G与H是等价的.
|
| 关 键 词： | 符号逻辑 命题演算 推理系统 |
On the equivalence between deduction systems H and G in propositional calculus |
| |
| SONG Fang-min
,
YIN Xi-yao.On the equivalence between deduction systems H and G in propositional calculus[J].Computer Engineering & Science,2013,35(9):104. |
| |
| Authors: | SONG Fang-min YIN Xi-yao |
| |
| Abstract: | |
| |
| Keywords: | symbolic logic propositional logic deduction system |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
|
