Logical Graphs • Formal Development 4 • https://inquiryintoinquiry.com/2024/09/14/logical-graphs-formal-development… Equational Inference — All the initials I₁, I₂, J₁, J₂ have the form of equations. This means the inference steps they license are reversible. The proof annotation scheme employed below makes use of double bars “══════” to mark this fact, though it will often be left to the reader to decide which of the two possible directions is the one required for applying the indicated axiom. The actual business of proof is a far more strategic affair than the routine cranking of inference rules might suggest. Part of the reason for this lies in the circumstance that the customary types of inference rules combine the moving forward of a state of inquiry with the losing of information along the way that doesn't appear immediately relevant, at least, not as viewed in the local focus and short run of the proof in question. Over the long haul, this has the pernicious side‑effect that one is forever strategically required to reconstruct much of the information one had strategically thought to forget at earlier stages of proof, where “before the proof started” can be counted as an earlier stage of the proof in view. This is just one of the reasons it can be very instructive to study equational inference rules of the sort our axioms have just provided. Although equational forms of reasoning are paramount in mathematics, they are less familiar to the student of the usual logic textbooks, who may find a few surprises here. Resources — Survey of Animated Logical Graphs • https://inquiryintoinquiry.com/2024/03/18/survey-of-animated-logical-graphs… Regards, Jon cc: https://www.academia.edu/community/VBYW33 cc: https://mathstodon.xyz/@Inquiry/113129787112676868

Logical Graphs • Formal Development 6 • https://inquiryintoinquiry.com/2024/09/15/logical-graphs-formal-development… Frequently Used Theorems (cont.) — C₂. Generation Theorem — One theorem of frequent use goes under the nickname of the “weed and seed theorem” (WAST). The proof is just an exercise in mathematical induction, once a suitable basis is laid down, and it will be left as an exercise for the reader. What the WAST says is that a label can be freely distributed or freely erased anywhere in a subtree whose root is labeled with that label. The second in our list of frequently used theorems is in fact the base case of the weed and seed theorem. In Laws of Form it goes by the names of Consequence 2 (C₂) or Generation. Generation Theorem • https://inquiryintoinquiry.com/wp-content/uploads/2024/09/generation-theore… Here is a proof of the Generation Theorem. Generation Theorem • Proof • https://inquiryintoinquiry.com/wp-content/uploads/2024/09/generation-theore… Resources — Survey of Animated Logical Graphs • https://inquiryintoinquiry.com/2024/03/18/survey-of-animated-logical-graphs… Regards, Jon cc: https://www.academia.edu/community/l7ednb cc: https://mathstodon.xyz/@Inquiry/113129787112676868

Logical Graphs • Formal Development 8 • https://inquiryintoinquiry.com/2024/09/16/logical-graphs-formal-development… Exemplary Proofs — Using no more than the axioms and theorems recorded so far, it is possible to prove a multitude of much more complex theorems. A number of all‑time favorites are linked below. Peirce's Law • https://inquiryintoinquiry.com/2023/10/18/peirces-law-a/ Blog Series 1. https://inquiryintoinquiry.com/2023/10/19/peirces-law-1/ 2. https://inquiryintoinquiry.com/2023/10/20/peirces-law-2/ 3. https://inquiryintoinquiry.com/2023/10/21/peirces-law-3/ 4. https://inquiryintoinquiry.com/2023/10/22/peirces-law-4/ 5. https://inquiryintoinquiry.com/2023/10/23/peirces-law-5/ 6. https://inquiryintoinquiry.com/2023/10/24/peirces-law-6/ 7. https://inquiryintoinquiry.com/2023/10/25/peirces-law-7/ Praeclarum Theorema • https://inquiryintoinquiry.com/2023/10/05/praeclarum-theorema-a/ Blog Series 1. https://inquiryintoinquiry.com/2023/10/13/praeclarum-theorema-1/ 2. https://inquiryintoinquiry.com/2023/10/14/praeclarum-theorema-2/ 3. https://inquiryintoinquiry.com/2023/10/15/praeclarum-theorema-3/ Proof Animations • https://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_Animations Resources — Survey of Animated Logical Graphs • https://inquiryintoinquiry.com/2024/03/18/survey-of-animated-logical-graphs… Regards, Jon cc: https://www.academia.edu/community/543dbD cc: https://mathstodon.xyz/@Inquiry/113129787112676868