Logical matrix: Difference between revisions

Revision as of 08:45, 11 July 2023

Revision as of 08:46, 11 July 2023

Line 15:

===Example===

T{{

T{{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)

:<math>\begin{pmatrix}

1 & 1 & 1 & 1 \\

0 & 1 & 0 & 1 \\