邏輯矩陣 逻辑矩阵或者布尔矩阵是由布尔域B   组成的矩阵这样的矩阵可以用来表示一对有限集合之间的二元关系