论文部分内容阅读
以二值命题逻辑的真度理论为基础，提出了基于真度理论的逻辑方程的概念，并给出了此种逻辑方程解的存在性定理，并就τ（A→x）=α的逻辑方程展开了讨论，其中，A是含有，1个原子公式的合式公式，X是待定的公式，A的真度τ（A）=k/2^n,α=m/2^2,且1-τ（A）〈α≤1,我们得到了如下结论：（1）以上逻辑方程的解的等价类个数为Gk^n＋k-2^n,2^z^n-k（2）α≠1时，上述方程的解集合是不相容的。（3）解集合中公式的相似度最大值为1-1/2^n，相似度的最小值为｜2^n＋1-2m-k＋/2^n。（