8.4 矛盾矩阵