From 4ed8060318b1807638c12b8b43660bb98fc99fba Mon Sep 17 00:00:00 2001
From: Anhgelus Morhtuuzh <william@herges.fr>
Date: Fri, 10 Oct 2025 23:15:18 +0200
Subject: Cours du 6 au 10 octobre

---
 .../logique et notions formelles/td/25-10-06.md    | 33 ++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 semestre 3/logique et notions formelles/td/25-10-06.md

(limited to 'semestre 3/logique et notions formelles/td/25-10-06.md')

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)$
-- 
cgit v1.2.3