1 files changed, 37 insertions, 0 deletions
diff --git a/semestre 3/logique et notions formelles/td/1-.md b/semestre 3/logique et notions formelles/td/1-.md
new file mode 100644
index 0000000..2d18fea
--- /dev/null
+++ b/semestre 3/logique et notions formelles/td/1-.md
@@ -0,0 +1,37 @@
+---
+tags:
+  - sorbonne
+  - philosophie
+  - logique-notions-formelles
+  - td
+semestre: 3
+---
+20/10 -> premier DS
+08/12 -> deuxième DS
+
+Email en `@ac-creteil.fr`
+
+---
+
+Métal mercure est signe de planète Mercure
+Mercure est symbole de la place publique
+Syphilis est contractée sur la place publique
+-> Syphilis doit être traitée par du mercure
+=> est invalide
+
+Une semaine avant le vote
+Démocrates possèdent une avance de 20 points
+Une avance de 20 points une semaine avant le vote ne peut pas être renversée
+-> Démocrates vont remporter les élections
+=> est valide
+
+Jean > Marie
+Jeanne < Marie
+-> Jean > Marie
+=> est valide si on n'oublie pas la transitivité
+
+Pour montrer qu'un argument est invalide, on peut chercher un contre exemple
+
+A est un gentil et n'est pas beau. D'après l'argument, il est beau. Contradiction.
+
+Soit un losange qui n'est pas carré. Comme un carré est à la fois un losange et un rectangle, ce losange ne peut pas être rectangle. Par conséquent, tous les losanges ne sont pas des rectangles.
+\ No newline at end of file