3 files changed, 35 insertions, 1 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
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/25-09-22.md
index 2d18fea..2d18fea 100644
--- a/semestre 3/logique et notions formelles/td/1-.md
+++ b/semestre 3/logique et notions formelles/td/25-09-22.md
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