Logical matrix: Difference between revisions

Revision as of 19:25, 11 March 2025

Revision as of 19:26, 11 March 2025

Line 14:

In order to designate the row and column numbers of the matrix, the sets ''X'' and ''Y'' are indexed with positive [[integer]]s: ''i'' ranges from 1 to the [[cardinality]] (size) of ''X'', and ''j'' ranges from 1 to the cardinality of ''Y''. See the article on [[indexed set]]s for more detail.

InThe the case[[transpose]] of athe [[logical matrix]] representingof a [[binary relation]] R, the transposematrix corresponds to the [[converse relation]] R^T.<ref>[[Irving Copi|Irving M. Copilowish]] (December 1948) "Matrix development of the calculus of relations", [[Journal of Symbolic Logic]] 13(4): 193–203 [https://www.jstor.org/stable/2267134?seq=1#page_scan_tab_contents Jstor link]</ref>

===Example===