From 1707faf4238b7a302049e1f39992eb27d4d942d5 Mon Sep 17 00:00:00 2001 From: Jan Liam Verter <6469748+lambduli@users.noreply.github.com> Date: Mon, 22 Apr 2024 11:59:20 +0200 Subject: [PATCH] Update TALK.md --- resources/14/logic/TALK.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/14/logic/TALK.md b/resources/14/logic/TALK.md index 45d3b95..00f0740 100644 --- 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 |-----