4.3 矛盾矩阵