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

• 作者: 王国俊 胡明娣
• 来源期刊: 电子学报
• 学科: 数学
• 关键词: 对称逻辑公式 真度 稠密 经典逻辑度量空间 无处稠密
• 年，卷（期）: 2011,（2）
• 页码范围: 419-423
• 分类号: O159
• 字数: 6990字
• 语种: 中文

摘要

将密码学中对称布尔函数的概念引入到计量逻辑学理论之中,定义了对称逻辑公式和准对称逻辑公式.指出二值逻辑公式与布尔函数既密切相关,又有重要区别.证明了n元对称公式占全体n元逻辑公式的比例随n的增大而趋向于零,然而全体对称公式的真度之集却在[0,1]中稠密.最后从拓扑学的观点证明了全体对称公式之集在经典逻辑度量空间中无处稠密.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学研究所	176	2910	25.0	49.0
5	胡明娣	陕西师范大学数学研究所	13	87	6.0	9.0