Equational Form (cont.)

Using the axioms and theorems listed in the entries on logical graphs, the equational form of Peirce’s law may be proved in the following manner.

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