diff options
Diffstat (limited to 'semestre 3/logique et notions formelles/td/1-.md')
| -rw-r--r-- | semestre 3/logique et notions formelles/td/1-.md | 37 |
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 |