对称逻辑公式在经典逻辑度量空间中的分布  

Distribution of the Symmetrical Logic Formulas in the Classical Logic Metric Space

作　　者：胡明娣[1] 王国俊[1,2] 

机构地区：[1]陕西师范大学数学研究所,陕西西安710062 [2]上海市高可信计算重点实验室,华东师范大学,上海200062

出　　处：《电子学报》2011年第2期419-423,共5页Acta Electronica Sinica

基　　金：国家自然科学基金(No.10771129);陕西师范大学研究生培养创新基金(No.2009CXB006)

摘　　要：将密码学中对称布尔函数的概念引入到计量逻辑学理论之中,定义了对称逻辑公式和准对称逻辑公式.指出二值逻辑公式与布尔函数既密切相关,又有重要区别.证明了n元对称公式占全体n元逻辑公式的比例随n的增大而趋向于零,然而全体对称公式的真度之集却在[0,1]中稠密.最后从拓扑学的观点证明了全体对称公式之集在经典逻辑度量空间中无处稠密.The concept of symmetric Boolean functions treated in cryptology is transplanted into quantitative logic,and the concepts of symmetric logic formulas and pseudo-symmetric logic formulas are introduced.It is pointed out that logic formulas in two valued logic are closely related to Boolean functions while they have crucial differences.It is proved that the ratio of the number of symmetric formulas with n atoms over the number of all formulas with n atoms converges to zero when n tends to infinite.It is proved that the set of truth degrees of symmetric logic formulas is dense in .It is proved from the viewpoint of topology that the set consisting of all symmetric logic formulas is a nowhere dense set in the classical logic metric space.

关 键 词：对称逻辑公式 真度 稠密 经典逻辑度量空间 无处稠密 

分 类 号：O159[理学—数学]