Cours du 6 au 10 octobre

1 files changed, 33 insertions, 0 deletions

diff --git a/semestre 3/logique et notions formelles/td/25-10-06.md b/semestre 3/logique et notions formelles/td/25-10-06.md
new file mode 100644
index 0000000..0cf7c35
--- /dev/null
+++ b/semestre 3/logique et notions formelles/td/25-10-06.md
@@ -0,0 +1,33 @@
+---
+tags:
+  - sorbonne
+  - philosophie
+  - logique-notions-formelles
+  - td
+semestre: 3
+---
+$L^1$: ...est un logicien
+$C^1$: ... est célèbre
+$g$: Gödel
+$(L^1g\land C^1g)$
+
+$P^1$: ...est une porte
+$O^1$: ... est ouvert
+$\forall p(P^1p\to O^1p)$
+$\exists p(P^1p\to \lnot O^1p)$
+$\forall p(P^1p\to \lnot O^1p)$
+
+$C^1$: ...est un grand chien
+$G^1$: ...est gentil
+$\exists c(C^1c\land G^1c)$
+
+$E^1$: ...est un économiste
+$R^1$: ... est riche
+$\varphi^1$: ...est un philosophe
+$S^1$: ...est sage
+$(\exists e(E^1e\land R^1e)\to \exists\phi (\varphi^1\phi\land S^1\phi))$
+
+$t$: Tom
+$V^1$: ...est une voiture
+$P^2$: ...possède...
+$\exists v (V^1v\to P^2tv)$