研究一类含有有限个未知量且含有蕴涵算子的格蕴涵代数方程,给出方程有解的充分必要条件。在方程的解集非空时,讨论解集的一些结构性质。并刻画出方程在具有某种限制条件下的整个解集。最后,相关结论被应用到一个数值例子。
In this paper, a class of lattice implication algebraic equations, which contain finite unknown quantities and implication operator, is investigated, the sufficient and necessary conditions for existence of solution for the equations are given. When its solution set is nonempty, some structural properties of solution set is considered. Under some restricted conditions, the whole solution set of equations are represented. Finally, the corresponding results are applied to a numerical example.