MP^M中的等值完全析取范式  

EQUIVALENT COMPLETE DISJUNCTIVE NORMAL FORM IN MPM

作　　者：凌方[1] 王建东[1] 

机构地区：[1]南京航空航天大学信息科学与技术学院，江苏南京210016

出　　处：《广西师范大学学报（自然科学版）》2003年第1期148-152,共5页Journal of Guangxi Normal University:Natural Science Edition

摘　　要：主要讨论中介逻辑命题演算系统MPM中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾项两部分,形式简洁,为规范化研究该系统中的合式公式提供了一种工具.此外,还给出了构造中介逻辑命题演算系统MPM的联结词的归约.

关 键 词：MP^M 等值完全析取范式 数理逻辑 中介逻辑命题演算系统 中介数学系统 联结词 

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