aboutsummaryrefslogtreecommitdiff
path: root/semestre 3/logique et notions formelles/td/1-.md
diff options
context:
space:
mode:
authorAnhgelus Morhtuuzh <william@herges.fr>2025-10-05 16:28:33 +0200
committerAnhgelus Morhtuuzh <william@herges.fr>2025-10-05 16:28:33 +0200
commit85fbaa4d9381e435be129aa7bc4ea6a472acb2b2 (patch)
treea5d0149a7e70ec1ec24edd2fc0a6c2971e94130a /semestre 3/logique et notions formelles/td/1-.md
parent4c4b68ac62514cad87e023b877571d1952588d4e (diff)
Cours du 29 au 3 octobre
Diffstat (limited to 'semestre 3/logique et notions formelles/td/1-.md')
-rw-r--r--semestre 3/logique et notions formelles/td/1-.md37
1 files changed, 0 insertions, 37 deletions
diff --git a/semestre 3/logique et notions formelles/td/1-.md b/semestre 3/logique et notions formelles/td/1-.md
deleted file mode 100644
index 2d18fea..0000000
--- a/semestre 3/logique et notions formelles/td/1-.md
+++ /dev/null
@@ -1,37 +0,0 @@
----
-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