From 27376273d9f85993377486f3bb272ccb08ec653a Mon Sep 17 00:00:00 2001 From: Takuyama Date: Sat, 1 Feb 2025 20:56:01 +0800 Subject: [PATCH] =?UTF-8?q?Update=202024=E7=A7=8B=E6=9C=9F=E6=9C=AB?= =?UTF-8?q?=E8=80=83=E8=AF=95=EF=BC=88=E9=83=A8=E5=88=86=EF=BC=89=E9=A2=98?= =?UTF-8?q?=E7=9B=AE.md?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- 计算机逻辑基础/2024秋期末考试（部分）题目.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: