5.4.4 逻辑推理中的矩阵