| 全抽象事实空间中的单逻辑定理证明 |
| |
| 引用本文： | 周训伟.全抽象事实空间中的单逻辑定理证明[J].北京联合大学学报(自然科学版),2007,21(3):8-10. |
| |
| 作者姓名： | 周训伟 |
| |
| 作者单位： | 北京联合大学,信息技术研究所,北京,100101 |
| |
| 摘 要： | 逻辑定理有2种证明方法:逻辑公理系统方法和自然演绎系统方法。对于单逻定理这种逻辑定理,提出一种新的证明方法:在互逆主义逻辑的全抽象事实空间用二层显式归纳复合方法来证明,这种方法形象、直观。
|
| 关 键 词： | 互逆主义逻辑 周氏坐标系层次 全抽象事实空间 二层显式归纳复合 单逻定理证明 |
| 文章编号： | 1005-0310（2007）03-0008-03 |
| 收稿时间： | 2007-03-27 |
| 修稿时间： | 2007-03-27 |
Single Logical Theorem Proving in Totally Abstract Fact Space |
| |
| ZHOU Xun-wei.Single Logical Theorem Proving in Totally Abstract Fact Space[J].Journal of Beijing Union University,2007,21(3):8-10. |
| |
| Authors: | ZHOU Xun-wei |
| |
| Institution: | Institute of Information Technology of Beijing Union University, Beijing 100101, China |
| |
| Abstract: | There are two ways to prove a logical theorem: logical axiomatic system and natural deduction system.For single logical theorem, a new way to prove is proposed: second level explicit inductive composition in totally abstract fact space in mutually-inversistic logic.This method is clear and straightforward. |
| |
| Keywords: | mutually-inversistic logic Zhou's coordinate systems hierarchy totally abstract fact space second level explicit inductive composition single logical theorem proving |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
