diff options
Diffstat (limited to 'semestre 3/logique et notions formelles/td/25-09-22.md')
| -rw-r--r-- | semestre 3/logique et notions formelles/td/25-09-22.md | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/semestre 3/logique et notions formelles/td/25-09-22.md b/semestre 3/logique et notions formelles/td/25-09-22.md new file mode 100644 index 0000000..2d18fea --- /dev/null +++ b/semestre 3/logique et notions formelles/td/25-09-22.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 |