aboutsummaryrefslogtreecommitdiff
path: root/semestre 3/logique et notions formelles/td/25-10-13.md
diff options
context:
space:
mode:
Diffstat (limited to 'semestre 3/logique et notions formelles/td/25-10-13.md')
-rw-r--r--semestre 3/logique et notions formelles/td/25-10-13.md3
1 files changed, 2 insertions, 1 deletions
diff --git a/semestre 3/logique et notions formelles/td/25-10-13.md b/semestre 3/logique et notions formelles/td/25-10-13.md
index 51e0b38..7e6e20d 100644
--- a/semestre 3/logique et notions formelles/td/25-10-13.md
+++ b/semestre 3/logique et notions formelles/td/25-10-13.md
@@ -20,4 +20,5 @@ Programme du DS = tout ce qu'on a fait durant les trois premiers cours
2. neutre
3. tautologie
4. neutre
-5. \ No newline at end of file
+5. tautologie
+6. tautologie \ No newline at end of file