diff --git a/计算机逻辑基础/2024秋期末考试（部分）题目.md b/计算机逻辑基础/2024秋期末考试（部分）题目.md
index 654349b..e378e96 100644
--- a/计算机逻辑基础/2024秋期末考试（部分）题目.md
+++ b/计算机逻辑基础/2024秋期末考试（部分）题目.md
@@ -25,7 +25,7 @@
 2. Prove the following sequent doesn't hold using semantical evaluation:
   $\forall x \exists y P(x,y) \models \exists y \forall x P(x,y)$
 
-3. Prove the total correctness of the following hoare triplet: $\{ x \geq 0 \wedge y > 0 \} Div \{ y=d*x+r \wedge r < y \}$
+3. Prove the total correctness of the following hoare triplet: $\\{ x \geq 0 \wedge y > 0 \\} Div \\{ y=d*x+r \wedge r < y \\}$
 
 ```cpp
 Div: