命题矩阵
... 命题函数(项) sentential function; propositional function; 命题矩阵 proposition matrix; 命题逻辑 propositional logic; ...
对DFL归结方法作进一步的研究,阐述了DF命题的矩阵归结的理论。
Proposition that the inverse matrix of the sub transposed matrix is similar to the sub transposed matrix.用次转置矩阵与次对称矩阵等概念推出了次转置矩阵的逆矩阵与次转置矩阵相似等有关命题。