Update TALK.md

lang-talk · Apr 22, 2024 · 1707faf · 1707faf
1 parent 7a5c1a4
commit 1707faf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/resources/14/logic/TALK.md b/resources/14/logic/TALK.md
@@ -81,7 +81,7 @@ Gentzen's [Natural Deduction](https://en.wikipedia.org/wiki/Natural_deduction) i
 ```
 
 
-#### Iimplication Introduction
+#### Implication Introduction
 ```
   | A
   |-----