lectures.alex.balgavy.eu

commit e5eef87c4dfe82b93ed5c2ce7a0be1caf954d237
parent 7842b4c4c006088f2f73196b308104f4e9c2c007
Author: Alex Balgavy <alex@balgavy.eu>
Date:   Tue, 15 Feb 2022 18:12:57 +0100

To get negative space working in MathJax I need to double-backslash

Diffstat:
M
content/advanced-logic-notes/lecture-3.md
 | 
6
+++---

1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/content/advanced-logic-notes/lecture-3.md b/content/advanced-logic-notes/lecture-3.md
@@ -16,11 +16,11 @@ But validity in a frame is preserved under substitution: if F ⊨ φ, then $F \m
 Validity is closed under substitution: if F ⊨ φ, then $F \models \phi^{\sigma}$ for any substitution σ.
 
 ### Alternative semantics
-The interpretation $[\![ \phi ]\!] _{M}$ of a formula φ in model M = (W,R,V) is set of worlds in which φ is true.
+The interpretation $[\\![ \phi ]\\!] _{M}$ of a formula φ in model M = (W,R,V) is set of worlds in which φ is true.
 
-M, w ⊨ φ iff $w \in [\![\phi]\!]_{M}$
+M, w ⊨ φ iff $w \in [\\![\phi]\\!]_{M}$
 
-M ⊨ φ iff $[\![\phi]\!]_{M} = W$
+M ⊨ φ iff $[\\![\phi]\\!]_{M} = W$
 
 ### Preservation of truth and validity
 Local truth preserved by modus ponens: if M, w ⊨ φ → ψ and M, w ⊨ φ then M, w ⊨ ψ