Cours du 29 au 3 octobre

2 files changed, 30 insertions, 0 deletions

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