Cours du 17 au 21 octobre

1 files changed, 18 insertions, 0 deletions

diff --git a/semestre 3/logique et notions formelles/5- Conséquence logique.md b/semestre 3/logique et notions formelles/5- Conséquence logique.md
new file mode 100644
index 0000000..c69d975
--- /dev/null
+++ b/semestre 3/logique et notions formelles/5- Conséquence logique.md
@@ -0,0 +1,18 @@
+---
+tags:
+  - sorbonne
+  - philosophie
+  - logique-notions-formelles
+semestre: 3
+---
+Une formule $\phi$ est *conséquence logique* d'un ensemble de formules $\Gamma$ si et seulement si :
+- toute ddv qui rend vraies toutes les formules de $\Gamma$ rend vrai $\phi$
+
+On la note $\Gamma\models\phi$
+|> même symbole que pour les tautologies car une tautologie est la conséquence logique de l'ensemble vide
+
+On peut enlever les accolades dans $\Gamma$ si on veut
+
+Voir le diapo pour des exemples
+
+Pour vérifier si un argument est valide, on doit le retranscrire sous la forme $\Gamma\models\phi$
\ No newline at end of file