From 2951463f0635ee96d8d82b49f406c8d1344d1b12 Mon Sep 17 00:00:00 2001 From: Joe Carstairs Date: Tue, 18 Jun 2024 15:01:40 +0100 Subject: [PATCH] Syntax fix --- .../content/blog/2024/06/13/llms_do_not_understand_anything.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website/src/content/blog/2024/06/13/llms_do_not_understand_anything.md b/website/src/content/blog/2024/06/13/llms_do_not_understand_anything.md index 078c5f5..529b3f7 100644 --- a/website/src/content/blog/2024/06/13/llms_do_not_understand_anything.md +++ b/website/src/content/blog/2024/06/13/llms_do_not_understand_anything.md @@ -51,7 +51,7 @@ Prove ~~A -> A.
Chat GPT 4o
-To prove \~\~ A → A, we will use the given axioms and inference rules. Let's denote the axioms as follows: +To prove ~~ A → A, we will use the given axioms and inference rules. Let's denote the axioms as follows: 1. ⊢ (A → B) → A 2. ⊢ (\~ B → \~ A) → (A → B)