2 files changed, 63 insertions, 0 deletions
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
new file mode 100644
index 0000000..10a142f
--- /dev/null
+++ b/semestre 3/logique et notions formelles/2- Le langage de la logique propositionnelle.md
@@ -0,0 +1,26 @@
+---
+tags:
+  - sorbonne
+  - philosophie
+  - logique-notions-formelles
+semestre: 3
+---
+Ce qui définit la forme logique d'un argument sont les mots logiques
+
+Il y a deux types de mots logiques :
+- les quantifieurs : "tous", "certains"
+- les connecteurs propositionnelles : "si ..., alors ...", "... ou ..."
+
+La logique propositionnelle est celle des connecteurs propositionnelles
+La logique du premier ordre (ou des prédicats) est celle des quantifieurs
+
+On formalise la logique propositionnelle pour les analyser
+-> permet de dire si les arguments sont valides
+
+Un énoncé atomique ne contient pas de connecteurs propositionnelles
+|> il n'est pas possible de le décomposer
+Les énoncés complexes sont des compositions d'énoncés atomiques connectés avec des connecteurs propositionnelles
+
+Tout énoncé est soit vrai, soit faux.
+
+**Rattraper le cours d'énoncé vrai / faux à la fin du cours 2**
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