diff options
Diffstat (limited to 'website/src/content/blog')
| -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) |