本文应用形式矩阵的计算技巧，得到李善兰恒等式的一个等价命题，进而给出李善兰恒等式的一个初等证明。
In this article we apply formal matrices technique to get a equivalent proposition of Li Shanian identity, and hence give an elementary proof for Li Shanlan identity.
对DFL归结方法作进一步的研究，阐述了DF命题的矩阵归结的理论。
This paper mainly discusses the dynamic fuzzy logic(DFL) resolution method, and expends on the theory of matrix resolution method of dynamic fuzzy proposition.
利用齐次线性方程组解的理论讨论矩阵的秩，给出几个关于矩阵秩的著名不等式的证明，并证明了两个命题。
The article discusses rank of a matrix by the solution theorem of system of homogeneous linear equations, and proves several famous inequalities and two propositions on rank of a matrix.
应用推荐