对称逻辑公式在逻辑度量空间中的分布.pdfVIP

第卷第期 计 算 机 学 报 ３４ １ 　 　　　　　　　　 Ｖｏｌ．３４Ｎｏ．１ 年月 ２０１１１ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｊａｎ．２０１１ 　  对称逻辑公式在 逻辑度量空间中的分布 犔 ３ ），） ） １２ １ 王庆平 王国俊 　　 ） １（陕西师范大学数学与信息科学学院西安 ） ７１００６２ 　 　 ） ２（聊城大学数学科学学院山东聊城 ） ２５２０５９ 　 　  摘要在三值逻辑系统 中引入了对称三值函数的概念在此基础上给出了对称逻辑公式和准对称逻辑公 犔 犚 ， 　　 ３ ０  式的定义研究了在逻辑等价意义下对称逻辑公式的性质，给出了 和经典逻辑系统中对称逻辑公式之间的关 ． 犔 犔 ３ ， ， 系及其计数问题证明了元对称逻辑公式占全体元逻辑公式的比例随的增大而趋向于零且全体对称逻辑 狀 狀 狀 ［，］ 公式的真度之集却在 中稠密然而全体对称逻辑公式之集是逻辑度量空间中的无处稠密集 ０１ ． ． 关键词 ； ； ； ； 对称三值函数对称逻辑公式准对称逻辑公式同类向量稠密 犚 　 ０ 中图法分类号 号： ／ ＴＰ３０１ 犇犗犐１０．３７２４ＳＰ．Ｊ．１０１６．２０１１．００１０５ 　　　  犇犻狊狋狉犻犫狌狋犻狅狀狅犳狋犺犲犛犿犿犲狋狉犻犮犪犾犔狅犻犮犉狅狉犿狌犾犪狊