Dyadic relations have graph-theoretic representations as labeled directed graphs with loops, also known as labeled pseudo-digraphs in some schools of graph theory. I’ll just call them digraphs here, letting the labels and loops be understood in this logical context.
The figure below shows the digraphs of the 16 dyadic relations on two points, adopting the same arrangement as the previous display of binary matrices.
References
- Peirce, C.S. (1880), “On the Algebra of Logic”, American Journal of Mathematics 3, 15–57. Collected Papers (CP 3.154–251), Chronological Edition (CE 4, 163–209).
- Peirce, C.S., Collected Papers of Charles Sanders Peirce, vols. 1–6, Charles Hartshorne and Paul Weiss (eds.), vols. 7–8, Arthur W. Burks (ed.), Harvard University Press, Cambridge, MA, 1931–1935, 1958. Volume 3 : Exact Logic, 1933.
- Peirce, C.S., Writings of Charles S. Peirce : A Chronological Edition, Peirce Edition Project (eds.), Indiana University Press, Bloomington and Indianapolis, IN, 1981–. Volume 4 (1879–1884), 1986.
Pingback: Peirce’s 1880 “Algebra Of Logic” Chapter 3 • Comment 7.4 | Inquiry Into Inquiry
Pingback: Relations & Their Relatives : 10 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 2 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 3 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 4 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 5 | Inquiry Into Inquiry