6.4 矛盾矩阵