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) | -