对称逻辑公式在L4＊逻辑度量空间中的分布

Distribution of Symmetrical Logic Formulas in L4＊-logic Metric Space

在四值逻辑系统L*4中引入了对称逻辑公式。运用Matla软件研究了对称逻辑公式在L*4逻辑度量空间中的计数问题,给出了3n元、3n+1元、3n+2元对称逻辑公式的个数。证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋于零。

In four-valued logic system L4＊ , the concept of symmetric logic formulas was given. The counting problem of the symmetrical logic formulas in the L4＊ - logic metric space was studied by using Matlab, and the numbers of symmet- ric logic formulas with 3n, 3n＋1 and 3n＋2 atoms were given. It was proved that the ratio of the number of symmetric formulas with n atoms over the numbers of all formulas with n atoms converges to zero when n tends to infinite.