青岛理工大学学报
青島理工大學學報
청도리공대학학보
JOURNAL OF QINGDAO TECHNOLOGICAL UNIVERSITY
2009年
4期
205-208
,共4页
主范式%极小项%极大项%下标
主範式%極小項%極大項%下標
주범식%겁소항%겁대항%하표
极小项和极大项是主范式问题的核心,体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征.讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质,利用主范式的下标集合得到了命题公式蕴涵的几个充要条件.并对命题公式的蕴涵问题进行等价描述;对二值命题逻辑系统的程度化研究中命题公式的真度问题进行讨论.
極小項和極大項是主範式問題的覈心,體現瞭命題公式的成真賦值和成假賦值以及公式類型等諸多特徵.討論瞭命題公式的主析取範式、主閤取範式中的極小項與極大項下標集閤的性質,利用主範式的下標集閤得到瞭命題公式蘊涵的幾箇充要條件.併對命題公式的蘊涵問題進行等價描述;對二值命題邏輯繫統的程度化研究中命題公式的真度問題進行討論.
겁소항화겁대항시주범식문제적핵심,체현료명제공식적성진부치화성가부치이급공식류형등제다특정.토론료명제공식적주석취범식、주합취범식중적겁소항여겁대항하표집합적성질,이용주범식적하표집합득도료명제공식온함적궤개충요조건.병대명제공식적온함문제진행등개묘술;대이치명제라집계통적정도화연구중명제공식적진도문제진행토론.
