From a5ff74d2b904fc4a8b633897fe5fb33d36717aea Mon Sep 17 00:00:00 2001 From: Stratis Markou Date: Sat, 5 Apr 2025 14:09:24 +0100 Subject: [PATCH] Typo in logic and set theory The domain of w is P, but the original statement would mean the domain needs to be L. Presumably w and its extension, v, only need to agree on P? --- II_L/logic_and_set_theory.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/II_L/logic_and_set_theory.tex b/II_L/logic_and_set_theory.tex index 28bbf64..07d2bb3 100644 --- a/II_L/logic_and_set_theory.tex +++ b/II_L/logic_and_set_theory.tex @@ -127,7 +127,7 @@ \subsection{Semantic entailment} \begin{prop}\leavevmode \begin{enumerate} \item If $v$ and $v'$ are valuations with $v(p) = v'(p)$ for all $p\in P$, then $v = v'$. - \item For any function $w: P \to \{0, 1\}$, we can extend it to a valuation $v$ such that $v(p) = w(p)$ for all $p\in L$. + \item For any function $w: P \to \{0, 1\}$, we can extend it to a valuation $v$ such that $v(p) = w(p)$ for all $p\in P$. \end{enumerate} \end{prop}