| 关于命题演算公理系统独立性证明的注记 |
| |
| 引用本文： | 郭方芳,陈图云.关于命题演算公理系统独立性证明的注记[J].辽宁师范大学学报(自然科学版),1999,22(3):258-261. |
| |
| 作者姓名： | 郭方芳 陈图云 |
| |
| 作者单位： | 辽宁师范大学数学系!辽宁大连116029 |
| |
| 摘 要： | 对数理逻辑中命题逻辑公理系统独立性证明做了探讨，给出了算术解释的一种规律，并应用这种规则证明了３个命题演算公理系统的独立性。
|
| 关 键 词： | 数量逻辑 公理系统 命题演算 数理逻辑 |
Anmotation for the Proof Axiomatic Independence of Proposotional Calculas |
| |
| GUO Fang fang,CHEN Tu yun.Anmotation for the Proof Axiomatic Independence of Proposotional Calculas[J].Journal of Liaoning Normal University(Natural Science Edition),1999,22(3):258-261. |
| |
| Authors: | GUO Fang fang CHEN Tu yun |
| |
| Abstract: | This paper is about the proof of axiomtic indepehdence of the propositional calculas.We produced a law for the arithematio explanation and prooved the three propositional ccaulas Axiontic indepandence with this law. |
| |
| Keywords: | mathematioal logic propositional calculas axiomtic independence |
| 本文献已被 CNKI 维普 等数据库收录！ |
