| 对称逻辑公式在L*3逻辑度量空间中的分布 |
| |
| 引用本文： | 王庆平,王国俊.对称逻辑公式在L*3逻辑度量空间中的分布[J].计算机学报,2011,34(1):105-114. |
| |
| 作者姓名： | 王庆平 王国俊 |
| |
| 作者单位： | 1. 陕西师范大学数学与信息科学学院,西安,710062;聊城大学数学科学学院,山东,聊城,252059
2. 陕西师范大学数学与信息科学学院,西安,710062 |
| |
| 基金项目： | 国家自然科学基金(10771129)资助 |
| |
| 摘 要： | 在三值逻辑系统L*3中引入了对称三值R0函数的概念,在此基础上给出了对称逻辑公式和准对称逻辑公式的定义.研究了在逻辑等价意义下对称逻辑公式的性质,给出了L*3和经典逻辑系统L中对称逻辑公式之间的关系及其计数问题,证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋向于零,且全体对称逻辑公式的真度之集却在0,1...
|
| 关 键 词： | 对称三值R0函数 对称逻辑公式 准对称逻辑公式 同类向量 稠密 |
Distribution of the Symmetrical Logic Formulas in the L*3-Logic Metric Space |
| |
| WANG Qing-Ping,WANG Guo-Jun.Distribution of the Symmetrical Logic Formulas in the L*3-Logic Metric Space[J].Chinese Journal of Computers,2011,34(1):105-114. |
| |
| Authors: | WANG Qing-Ping WANG Guo-Jun |
| |
| Abstract: | In three-valued logic system L*3,the concept of symmetric three-valued R0 function is proposed,and the concepts of symmetric logic formulas and pseudo-symmetric logic formulas are given.The properties of symmetric logic formulas under logically equivalence are studied.The relationship of symmetric logic formulas in L*3 and classical logical system L,and the number of them are given.It is proved that the ratio of the number of symmetric formulas with n atoms over the number of all formulas with n atoms conve... |
| |
| Keywords: | symmetric three-valued R0 function symmetric logic formulas pseudo-symmetric logic formulas vectors of the same kind dense |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
