From 2574cbaee14f833ff2683027e80bd98c0c909137 Mon Sep 17 00:00:00 2001 From: Claude Date: Sat, 7 Nov 2026 00:28:22 +0000 Subject: [PATCH] Use the unused substitution example and set aside three duplicates The four proof-writing theorem files that #88 listed are already included from the equivalence-and-negation chapter, but four of the example files are not. Three of them reuse ids that the chapter's own examples carry (exm-distributive, exm-conditional-as-or, exm-negate-conditional), so including them would duplicate those ids. Those three move to chapters/outtakes/, which keeps their text. The fourth, exm-substitution-logic, has its own id and shows a case the chapter's example does not (combining double negation with substitution), so the chapter now includes it right after that example. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_019xfc9pMBq15Hq3DgNBx1ox --- chapters/equivalence-negation.qmd | 4 ++++ .../outtakes}/_conditional-as-or_exm.qmd | 0 .../proof-writing => chapters/outtakes}/_distributive_exm.qmd | 0 .../outtakes}/_negate-conditional_exm.qmd | 0 4 files changed, 4 insertions(+) rename {_subfiles/proof-writing => chapters/outtakes}/_conditional-as-or_exm.qmd (100%) rename {_subfiles/proof-writing => chapters/outtakes}/_distributive_exm.qmd (100%) rename {_subfiles/proof-writing => chapters/outtakes}/_negate-conditional_exm.qmd (100%) diff --git a/chapters/equivalence-negation.qmd b/chapters/equivalence-negation.qmd index 41d6df5f..81d17704 100644 --- a/chapters/equivalence-negation.qmd +++ b/chapters/equivalence-negation.qmd @@ -124,6 +124,10 @@ the exercises are new. {{< slidebreak >}} +{{< include ../_subfiles/proof-writing/_substitution-logic_exm.qmd >}} + +{{< slidebreak >}} + {{< include ../_subfiles/proof-writing/_de-morgan-logic_thm.qmd >}} {{< slidebreak >}} diff --git a/_subfiles/proof-writing/_conditional-as-or_exm.qmd b/chapters/outtakes/_conditional-as-or_exm.qmd similarity index 100% rename from _subfiles/proof-writing/_conditional-as-or_exm.qmd rename to chapters/outtakes/_conditional-as-or_exm.qmd diff --git a/_subfiles/proof-writing/_distributive_exm.qmd b/chapters/outtakes/_distributive_exm.qmd similarity index 100% rename from _subfiles/proof-writing/_distributive_exm.qmd rename to chapters/outtakes/_distributive_exm.qmd diff --git a/_subfiles/proof-writing/_negate-conditional_exm.qmd b/chapters/outtakes/_negate-conditional_exm.qmd similarity index 100% rename from _subfiles/proof-writing/_negate-conditional_exm.qmd rename to chapters/outtakes/_negate-conditional_exm.qmd