Peirce's Law • 3
•
https://inquiryintoinquiry.com/2023/10/21/peirces-law-3/
Graphical Proof —
Using the axiom set given in the articles on logical graphs,
Peirce's law may be proved in the following manner.
Peirce's Law • Proof
•
https://inquiryintoinquiry.files.wordpress.com/2023/10/peirces-law-e280a2-p…
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/lz7Nj5