二值命题逻辑中逻辑方程解集的数值特征

Numerical Characteristic for the Solution Set of Logic Equation in Two-valued Propositional Logic

二值命题逻辑中τ(A→X)=α型逻辑方程在有限理论结论集的结构研究中有着重要应用.讨论基于真度的τ(A→X)=m/2n型逻辑方程的解在逻辑运算下的相关性质,给出反映其解集结构的几个数值特征的数值表示,为进一步研究该类逻辑方程的解集以及应用提供数值化结果.

In the two-valued propositional logic system, the type of logic equation r（A→X） =α plays an important role in the study of the structure of conclusion set in finite theory. In this paper, we discuss the logic operations and relevant properties based on the truth degree of logic equation like r（A→X） =m/2^n. Meanwhile, we also obtain some numerical expressions of numerical characteristic which can reflect the structure of solution set. And this study can be used to achieve the numerical results of the solution set in the form of this type of logic equation and its application for further study.