diff options
| author | Joe Carstairs <jcarstairs@scottlogic.com> | 2024-06-18 15:01:40 +0100 |
|---|---|---|
| committer | Joe Carstairs <jcarstairs@scottlogic.com> | 2024-06-18 15:01:40 +0100 |
| commit | 2951463f0635ee96d8d82b49f406c8d1344d1b12 (patch) | |
| tree | de31f96a228001da1b7dd70c553e1aedf39819c5 /website/src/content | |
| parent | 78a594e5db69059f37da8cad651228e067ebbf4e (diff) | |
Syntax fix
Diffstat (limited to 'website/src/content')
| -rw-r--r-- | website/src/content/blog/2024/06/13/llms_do_not_understand_anything.md | 2 |
1 files changed, 1 insertions, 1 deletions
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. <br> Chat GPT 4o </dt> <dd> -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) |