Macierz logiczna – macierz, której elementy należą do dwuelementowego zbioru {0, 1}. Wartości 1 i 0 interpretuje się kolejno jako wartości logiczne prawda i fałsz. Taka macierz może być wykorzystywana do reprezentacji relacji dwuargumentowej pomiędzy parą skończonych zbiorów.
Macierzowa reprezentacja relacji Niech będzie relacją dwuargumentową pomiędzy skończonymi zbiorami indeksowanymi i (więc ), wówczas może być reprezentowane przez macierz sąsiedztwa Przyjmijmy, że to liczba całkowita z zakresu od 1 do moc zbioru a jest liczbą całkowitą z zakresu od 1 do mocy zbioru Niech Odpowiednie elementy macierzy są zdefiniowane jako:
Przykład Niech będzie relacją dwuargumentową określoną na zbiorze Niech Można z tego wywnioskować, że:
Odpowiadający zapis w postaci macierzy logicznej: