aboutsummaryrefslogtreecommitdiff
path: root/semestre 3/logique et notions formelles/td/1-.md
blob: 2d18feadec8726302819bbe4f99cee005634b38b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
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.