关于主范式的下标集合及其应用  

On A Set of Suffixes of Principal Normal Form and Its Application

作　　者：亓正坤[1] 王廷明[2] 

机构地区：[1]青岛大学国际学院,青岛266071 [2]青岛大学师范学院,青岛266071

出　　处：《青岛理工大学学报》2009年第4期205-208,共4页Journal of Qingdao University of Technology

摘　　要：极小项和极大项是主范式问题的核心,体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征.讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件.并对命题公式的蕴涵问题进行等价描述;对二值命题逻辑系统的程度化研究中命题公式的真度问题进行讨论.The minimum term and maximum term defined by the propositional variations, are the core problems of expressions and applications stemmed from the propositional formula. They manifest the truth/false valuations and many other characteristics, such as the formula patterns and so on. With respect to the principal disjunctive normal form and the principal conjunctive normal form, we also approach the properties of the subscript sets derived from the minimum term and maximum term. Meanwhile we gain some necessary and sufficient conditions of the propositional formula implications in virtue of the subscript sets of the principal normal form. Then we get the equivalent descriptions of the implication problems from the propositional formula. Furthermore, we discuss the truth degree of the propositional formula in two-valued propositional logic system.

关 键 词：主范式 极小项 极大项 下标 

分 类 号：O141.1[理学—数学]