[CG] Re: Peirce's Law

Peirce's Law • 6 • https://inquiryintoinquiry.com/2023/10/24/peirces-law-6/ 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. Peirce's Law : Strong Form • Proof • https://inquiryintoinquiry.files.wordpress.com/2023/10/peirces-law-strong-f… 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 • https://oeis.org/wiki/Logical_Graphs Peirce's Law • https://oeis.org/wiki/Peirce%27s_law Logical Graphs • First Impressions • https://inquiryintoinquiry.com/2023/08/24/logical-graphs-first-impressions/ Logical Graphs • Formal Development • https://inquiryintoinquiry.com/2023/09/01/logical-graphs-formal-development… Propositional Equation Reasoning Systems • https://oeis.org/wiki/Propositional_Equation_Reasoning_Systems Regards, Jon cc: https://www.academia.edu/community/5kqx9L