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