Graphical Representation

Representing propositions in the language of logical graphs, and operating under the existential interpretation, Peirce’s law is expressed by means of the following formal equivalence or logical equation.

Reference

• Peirce, Charles Sanders (1885), “On the Algebra of Logic : A Contribution to the Philosophy of Notation”, American Journal of Mathematics 7 (1885), 180–202.  Reprinted (CP 3.359–403), (CE 5, 162–190).

Resources

• Logical Graphs • Peirce’s Law
• Logical Graphs • First Impressions
• Logical Graphs • Formal Development
• Metamath Proof Explorer • Peirce’s Axiom
• Propositional Equation Reasoning Systems

cc: FB | Logical Graphs • Laws of Form • Mathstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science