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