| 关于主范式的下标集合及其应用 |
| |
| 引用本文： | 亓正坤,王廷明.关于主范式的下标集合及其应用[J].青岛理工大学学报,2009,30(4):205-208. |
| |
| 作者姓名： | 亓正坤 王廷明 |
| |
| 作者单位： | 1. 青岛大学国际学院,青岛,266071
2. 青岛大学师范学院,青岛,266071 |
| |
| 摘 要： | 极小项和极大项是主范式问题的核心,体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征.讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件.并对命题公式的蕴涵问题进行等价描述;对二值命题逻辑系统的程度化研究中命题公式的真度问题进行讨论.
|
| 关 键 词： | 主范式 极小项 极大项 下标 |
On A Set of Suffixes of Principal Normal Form and Its Application |
| |
| QI Zheng-kun,WANG Ting-ming.On A Set of Suffixes of Principal Normal Form and Its Application[J].Journal of Qingdao Technological University,2009,30(4):205-208. |
| |
| Authors: | QI Zheng-kun WANG Ting-ming |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
