论文部分内容阅读
在三值逻辑系统L3^＊中引入了对称三值R0函数的概念，在此基础上给出了对称逻辑公式和准对称逻辑公式的定义．研究了在逻辑等价意义下对称逻辑公式的性质，给出了L3^＊和经典逻辑系统L中对称逻辑公式之间的关系及其计数问题，证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋向于零，且全体对称逻辑公式的真度之集却在[0，1]中稠密．然而全体对称逻辑公式之集是逻辑度量空间中的无处稠密集．