From 9cb070097ebf4692ae2bcb23e854a3e4ffdccd53 Mon Sep 17 00:00:00 2001 From: Anhgelus Morhtuuzh Date: Fri, 26 Sep 2025 12:24:19 +0200 Subject: Cours du 22 au 26 septembre --- semestre 3/logique et notions formelles/td/1-.md | 37 ++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 semestre 3/logique et notions formelles/td/1-.md (limited to 'semestre 3/logique et notions formelles/td/1-.md') diff --git a/semestre 3/logique et notions formelles/td/1-.md b/semestre 3/logique et notions formelles/td/1-.md new file mode 100644 index 0000000..2d18fea --- /dev/null +++ b/semestre 3/logique et notions formelles/td/1-.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 -- cgit v1.2.3