From fcfdbdc0682a0061bd036a239d91074a69e14d0a Mon Sep 17 00:00:00 2001
From: augustin64 <me.git@augustin64.fr>
Date: Thu, 16 May 2024 11:33:48 +0200
Subject: [PATCH] \neg \neg A

---
 RapportPresentation/ex-presentation.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/RapportPresentation/ex-presentation.tex b/RapportPresentation/ex-presentation.tex
index 358d77b..5170b3a 100644
--- a/RapportPresentation/ex-presentation.tex
+++ b/RapportPresentation/ex-presentation.tex
@@ -49,7 +49,7 @@
   Prouvable
   $$A \rightarrow B \rightarrow (A \wedge B)$$
   Pas prouvable
-  $$A \rightarrow \neg \neg A$$
+  $$\neg \neg A \rightarrow A$$
 
 \end{frame}