Update preliminaries

pitmonticone · Jun 6, 2024 · 17710c7 · 17710c7
1 parent 67155ad
commit 17710c7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/blueprint/src/chapters/1-preliminaries.tex b/blueprint/src/chapters/1-preliminaries.tex
@@ -12,7 +12,7 @@ \section{Notation}
 \midrule
 $\lnot$ & Logical negation \\
 $\top$  & Logical truth / Tautology \\
-$\bot$  & Logical falsehood / Contradiction \\
+$\bot$  & Logical falsity / Contradiction \\
 $\land$ & Logical conjunction \\
 $\lor$ & Logical inclusive disjunction \\
 $:=$   & Definition \\