| 关于数理逻辑中的可靠性、完备性及协调性的讨论 |
| |
| 引用本文： | 孙林,王迪吉.关于数理逻辑中的可靠性、完备性及协调性的讨论[J].新疆师范大学学报(自然科学版),2004,23(2):1-4. |
| |
| 作者姓名： | 孙林 王迪吉 |
| |
| 作者单位： | 新疆师范大学,数理信息学院,新疆,乌鲁木齐,830054 |
| |
| 摘 要： | 本讨论了命题逻辑和一阶逻辑中应用可靠性定理和完备性定理所解决的一些代表性问题，还讨论了极大协调集在建立可靠性定理和完备性定理的证明过程中所起的作用。
|
| 关 键 词： | 数理逻辑 可靠性 完备性 协调性 命题逻辑 一阶逻辑 极大协调集 |
| 文章编号： | 1008-9659-(2004)-01-0001-05 |
| 修稿时间： | 2004年2月23日 |
A Discussion on Soundness,Completeness and Consistency in Logic for Mathernaticians |
| |
| SUN Lin,WANG Diji.A Discussion on Soundness,Completeness and Consistency in Logic for Mathernaticians[J].Journal of Xinjiang Normal University(Natural Sciences Edition),2004,23(2):1-4. |
| |
| Authors: | SUN Lin WANG Diji |
| |
| Abstract: | In thes paper,firstly some respresentative problems in propositional logic and first-order logic by applying the theories of soundness and completeness are solved, and the roles which the set of maximal consistency plays in establishing the proofs of the aboe two theories are demorstrated |
| |
| Keywords: | Soundness Completeness Consistency the set of maximal consistency |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
