joeac/joeac.net
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects 1 Releases Wiki Activity

Syntax fix

Browse Source
This commit is contained in:
Joe Carstairs
2024-06-18 15:01:40 +01:00
parent 78a594e5db
commit 2951463f06
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
website/src/content/blog/2024/06/13/llms_do_not_understand_anything.md
View File

@@ -51,7 +51,7 @@ Prove ~~A -> A. <br>
Chat GPT 4o Chat GPT 4o
</dt> </dt>
<dd> <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 1. ⊢ (A → B) → A
2. ⊢ (\~ B → \~ A) → (A → B) 2. ⊢ (\~ B → \~ A) → (A → B)