Logical matrix: Difference between revisions

Revision as of 14:25, 11 April 2023

Revision as of 08:45, 11 July 2023

Line 16:

===Example===

The binary relation ''R'' on the set {{nowrap|{1, 2, 3, 4}{{null}}}} is defined so that ''aRb'' holds if and only if ''a'' [[divides]] ''b'' evenly, with no remainder. For example, 2''R''4 holds because 2 divides 4 without leaving a remainder, but 3''R''4 does not hold because when 3 divides 4, there is a remainder of 1. The following set is the set of pairs for which the relation ''R'' holds.

:{(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 4), (3, 3), (4, 4)}.

The corresponding representation as a logical matrix is

:<math>\begin{pmatrix}