LEM

Lipen · Dec 8, 2023 · d23df52 · d23df52
1 parent 3ec6995
commit d23df52
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cheat4.tex b/cheat4.tex
@@ -538,7 +538,7 @@ \subsection{Natural Deduction Rules}
         \end{flusheqs}
     \end{formalboxderived}
     \vfill
-    \begin{formalboxderived}{Excluded middle}
+    \begin{formalboxderived}{Law of excluded middle}
         \begin{flusheqs}
         \begin{nd}
             \open