| MP＊中的等值完全析取范式 |
| |
| 引用本文： | 姚楠.MP＊中的等值完全析取范式[J].南京航空航天大学学报,1998,30(4):359-365. |
| |
| 作者姓名： | 姚楠 |
| |
| 作者单位： | 武汉军事经济学院数学教研室，南京通信工程学院数学教研室，南京空军气象学院数学教研室，南京航空航天大学计算机科学与工程系 |
| |
| 摘 要： | 讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全板范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。
|
| 关 键 词： | 数理逻辑 命题演算 中介逻辑 范式 析取 |
Equivalent Complete Disjunctive Normal Form in an Extension System of the Proposition Calculus of Medium Logic |
| |
| Yao Nan.Equivalent Complete Disjunctive Normal Form in an Extension System of the Proposition Calculus of Medium Logic[J].Journal of Nanjing University of Aeronautics & Astronautics,1998,30(4):359-365. |
| |
| Authors: | Yao Nan |
| |
| Abstract: | |
| |
| Keywords: | mathematical logic propositional calculus medium logic normal form disjunctive |
| 本文献已被 CNKI 维普 等数据库收录！ |
