首页 | 本学科首页   官方微博 | 高级检索  
     

对称逻辑公式在经典逻辑度量空间中的分布
引用本文:胡明娣,王国俊.对称逻辑公式在经典逻辑度量空间中的分布[J].电子学报,2011,39(2):419-423.
作者姓名:胡明娣  王国俊
作者单位:陕西师范大学数学研究所;上海市高可信计算重点实验室华东师范大学;
基金项目:国家自然科学基金(No.10771129); 陕西师范大学研究生培养创新基金(No.2009CXB006)
摘    要:将密码学中对称布尔函数的概念引入到计量逻辑学理论之中,定义了对称逻辑公式和准对称逻辑公式.指出二值逻辑公式与布尔函数既密切相关,又有重要区别.证明了n元对称公式占全体n元逻辑公式的比例随n的增大而趋向于零,然而全体对称公式的真度之集却在0,1]中稠密.最后从拓扑学的观点证明了全体对称公式之集在经典逻辑度量空间中无处稠...

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

Distribution of the Symmetrical Logic Formulas in the Classical Logic Metric Space
HU Ming-di,WANG Guo-jun.Distribution of the Symmetrical Logic Formulas in the Classical Logic Metric Space[J].Acta Electronica Sinica,2011,39(2):419-423.
Authors:HU Ming-di  WANG Guo-jun
Affiliation:HU Ming-di1,WANG Guo-jun1,2(1.Institute of Mathematics,Shaanxi Normal University,Xi'an,Shaanxi 710062,China,2.Shanghai Key Laboratory of Trustworthy Computing,East China Normal University,Shanghai 200062,China)
Abstract: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 prove...
Keywords:symmetric logic formula  truth degree  dense  classical logic metric space  nowhere dense  
本文献已被 CNKI 万方数据 等数据库收录!
点击此处可从《电子学报》浏览原始摘要信息
点击此处可从《电子学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号