Peirce's Law • 7
•
https://inquiryintoinquiry.com/2023/10/25/peirces-law-7/
Equational Form (concl.)
The following animation replays the steps of the proof.
Peirce's Law : Strong Form • Proof Animation
•
https://inquiryintoinquiry.files.wordpress.com/2012/01/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/V3pxwL