Logical matrix: Difference between revisions

Revision as of 18:37, 13 June 2024

Revision as of 23:15, 23 July 2024

Line 43:

==Some properties==

[[File:Matrix multiply.png|thumb|Multiplication of two logical matrices using [[booleanBoolean algebra]].]]

The matrix representation of the [[Equality (mathematics)|equality relation]] on a finite set is the [[identity matrix]] ''I'', that is, the matrix whose entries on the diagonal are all 1, while the others are all 0. More generally, if relation ''R'' satisfies {{math|I ⊆ ''R'',}} then ''R'' is a [[reflexive relation]].