Update 2024秋期末考试（部分）题目.md

2025-02-01 20:56:01 +08:00 · 2025-02-01 20:56:01 +08:00 · 27376273d9
parent b52a63e1b1
commit 27376273d9
1 changed files with 1 additions and 1 deletions
--- 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: