From 85fbaa4d9381e435be129aa7bc4ea6a472acb2b2 Mon Sep 17 00:00:00 2001 From: Anhgelus Morhtuuzh Date: Sun, 5 Oct 2025 16:28:33 +0200 Subject: Cours du 29 au 3 octobre --- ...2- Le langage de la logique propositionnelle.md | 6 +++- semestre 3/logique et notions formelles/td/1-.md | 37 ---------------------- .../logique et notions formelles/td/25-09-22.md | 37 ++++++++++++++++++++++ .../logique et notions formelles/td/25-09-29.md | 30 ++++++++++++++++++ 4 files changed, 72 insertions(+), 38 deletions(-) delete mode 100644 semestre 3/logique et notions formelles/td/1-.md create mode 100644 semestre 3/logique et notions formelles/td/25-09-22.md create mode 100644 semestre 3/logique et notions formelles/td/25-09-29.md (limited to 'semestre 3/logique et notions formelles') diff --git a/semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md b/semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md index 10a142f..bba380b 100644 --- a/semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md +++ b/semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md @@ -23,4 +23,8 @@ Les énoncés complexes sont des compositions d'énoncés atomiques connectés a Tout énoncé est soit vrai, soit faux. -**Rattraper le cours d'énoncé vrai / faux à la fin du cours 2** +**Rattraper le cours d'énoncé vrai / faux du cours 2** + +**On doit donner la clé de retranscription** +|> i.e. ce qui permet de passer d'une phrase à l'énoncé logique +|> e.g., $p$: Pierre est content, $q$: Marie est triste \ No newline at end of file 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 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 diff --git a/semestre 3/logique et notions formelles/td/25-09-29.md b/semestre 3/logique et notions formelles/td/25-09-29.md new file mode 100644 index 0000000..fcdc2f1 --- /dev/null +++ b/semestre 3/logique et notions formelles/td/25-09-29.md @@ -0,0 +1,30 @@ +--- +tags: + - sorbonne + - philosophie + - logique-notions-formelles + - td +semestre: 3 +--- +$p$ -> Pierre aime Paul +$q$ -> Paul aime Pierre + +$\lnot p\land q$ -> Pierre n'aime pas Paul et Paul aime Pierre +$\lnot (p\lor q)$ -> Pierre n'aime pas Paul et c'est réciproque +$p \leftrightarrow q$ -> Pierre et Paul s'aiment ou se détestent mutuellement +$\lnot (p\land q)$ -> Pierre n'aime pas Paul ou c'est l'inverse +$\lnot p\rightarrow q$ -> Pierre n'aime pas Paul, donc Paul aime Pierre +$\lnot (p\rightarrow q)$ -> Pierre aime Paul et Paul n'aime pas Pierre +$\lnot\lnot p$ -> Pierre aime Paul +$\lnot (p\leftrightarrow q)$ -> Pierre et Paul ne partagent pas les mêmes sentiments +$(p\land\lnot q)\rightarrow p$ -> Pierre aime Paul et Paul n'aime pas Pierre, donc Pierre l'aime + +$p\land q$ +$\lnot p\land\lnot q$ +$p\land\lnot q$ +$\lnot (q\land\lnot p)$ i.e. $p\rightarrow q$ +$q\land\lnot p$ +$\lnot p\lor\lnot q$ +$\lnot(p\land q)$ + +Parce que ne possède pas de valeur de vérité car son sens dépend du contexte \ No newline at end of file -- cgit v1.2.3