From 28ff9b02d789ab6dec2fb096e8e51f40a368a31b Mon Sep 17 00:00:00 2001 From: Luc Dartois Date: Tue, 26 Sep 2023 10:09:06 +0200 Subject: [PATCH] Update 'README.md' --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 17923ad..08a4ac7 100644 --- a/README.md +++ b/README.md @@ -7,12 +7,13 @@ | 1 : 06/09 - 10/09 | [Formes propositionelles](./cours/1logique1.pdf) | [td1](./td/td1.pdf) | | 2 : 13/09 - 17/09 | [Formes normales, simplification](./cours/2logique2.pdf) | [td2](./td/td2.pdf) | | 3 : 20/09 - 24/09 | [Formes prédicatives](./cours/3logique3.pdf) | [td3](./td/td3.pdf) | -