Cours du 6 au 10 octobre

2 files changed, 78 insertions, 0 deletions

diff --git a/semestre 3/logique et notions formelles/3- Logique des prédicats.md b/semestre 3/logique et notions formelles/3- Logique des prédicats.md
new file mode 100644
index 0000000..f4d48bc
--- /dev/null
+++ b/semestre 3/logique et notions formelles/3- Logique des prédicats.md
@@ -0,0 +1,45 @@
+---
+tags:
+  - sorbonne
+  - philosophie
+  - logique-notions-formelles
+semestre: 3
+---
+Différence entre logique propositionnelle et celle des prédicats est la présence des quantificateurs
+
+Sans quantificateur, on ne peut pas bien retranscrire tous les arguments
+
+- Tous les philosophes sont des mammifères
+- Descartes est un philosophe
+-> Descartes est un mammifère
+
+La version formelle est "`p` et `q`, donc `r`"
+|> impossible de vérifier formellement
+-> la logique des prédicats décompose les énoncés atomiques pour se libérer de ce problème
+
+"Léon voit la Tour Eiffel"
+|> deux désignateurs/termes : "Léon" et "Tour Eiffel"
+|> prédicat "voit" relie les deux
+-> on touche au langage non logique
+
+L'arité est le nombre de termes utilisés par un prédicat
+|> unaire, binaire, ternaire, 4-aire...
+|> on indique l'arité en exposant, i.e. $A^2$ indique que le prédicat $A$ est binaire
+
+Pour écrire "Thomas aime Marie", on ***doit*** l'écrire comme ça :
+- $A^2$ : ...aime...
+- $t$ : Thomas
+- $m$: Marie
+- $A^2tm$
+
+> [!warning] L'ordre est important !
+
+$\forall$ permet de traduire les "tous"
+$\exists$ permet de traduire les "certains", "il existe"...
+
+Les quantificateurs sont toujours utilisés comme ça :
+$$ \forall x(Ax\to Bx) $$
+Les parenthèses ne viennent pas des quantificateurs, elles viennent toujours des relations binaires
+|> elles sont obligatoires
+
+$\forall e,\exists o(P^2eo)$
\ No newline at end of file
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)$