逻辑矩阵（或者布尔矩阵）是由布尔域B = {0, 1}组成的矩阵。这样的矩阵可以用来表示一对有限集合之间的二元关系。

如果R是有限集合X和Y之间的一个二元关系（ R ⊆ X×Y），那幺R可以用矩阵M来表示，M的行索引和列索引由X和Y两个集合分别给出。M的元素定义如下：

注意，在以上定义中，假设了矩阵索引可以出自任意有限集合。如果要求索引是来自某集合 {1, 2, ..., n}的整数，必须用一个n维的有限集合与集合 {1, 2, ..., n}的双射（一一对应）来把原来集合的元素表示成整数。

A logical matrix, binary matrix, relation matrix, Boolean matrix, or (0,1) matrix is a matrix with entries from the Boolean domain B = {0, 1}. Such a matrix can be used to represent a binary relation between a pair of finite sets.