5.3 2003矛盾矩阵及应用