| 二值命题逻辑中的极大命题集与完备命题集 |
| |
| 引用本文： | 任燕,王洪涛.二值命题逻辑中的极大命题集与完备命题集[J].模糊系统与数学,2009,23(3). |
| |
| 作者姓名： | 任燕 王洪涛 |
| |
| 作者单位： | 河南理工大学,河南,焦作,454000 |
| |
| 基金项目： | 河南理工大学青年骨干教师资助项目 |
| |
| 摘 要： | 系统讨论了二值命题逻辑系统中极大命题集与完备命题集,给出了两种命题集的等价描述和表示定理,揭示了极大命题集和完备命题集的深刻内涵和联系.
|
| 关 键 词： | 二值命题逻辑系统 极大命题集 完备命题集 模型 |
Maximal Proposional Sets and Complete Proposional Sets in the Classical Proposional Logical Systems |
| |
| REN Yan,WANG Hong-tao.Maximal Proposional Sets and Complete Proposional Sets in the Classical Proposional Logical Systems[J].Fuzzy Systems and Mathematics,2009,23(3). |
| |
| Authors: | REN Yan WANG Hong-tao |
| |
| Institution: | College of Mathematics Information Science;Henan Polytechnic University;Jiaozuo 454000;China |
| |
| Abstract: | This paper discusses systematic maximal proposional sets and complete proposional sets in the classical proposional logical systems.Equivalent conditions about the two proposional sets will be given and the relations on the two proposional sets will be siown,too. |
| |
| Keywords: | The Classical Logical System Maximal Proposional Sets Complete Proposional Sets Mode |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
