From 341fc63ff791e08c7d0a00346080067c9bd1d5dd Mon Sep 17 00:00:00 2001 From: Anhgelus Morhtuuzh Date: Sat, 1 Nov 2025 13:27:41 +0100 Subject: Cours du 17 au 21 octobre --- .../logique et notions formelles/1- Introduction.md | 2 +- .../5- Cons\303\251quence logique.md" | 18 ++++++++++++++++++ semestre 3/logique et notions formelles/td/25-10-13.md | 3 ++- 3 files changed, 21 insertions(+), 2 deletions(-) create mode 100644 "semestre 3/logique et notions formelles/5- Cons\303\251quence logique.md" (limited to 'semestre 3/logique et notions formelles') diff --git a/semestre 3/logique et notions formelles/1- Introduction.md b/semestre 3/logique et notions formelles/1- Introduction.md index ccd40bd..f3cede3 100644 --- a/semestre 3/logique et notions formelles/1- Introduction.md +++ b/semestre 3/logique et notions formelles/1- Introduction.md @@ -75,7 +75,7 @@ Argument est constitué de prémisses et d'une conclusion reliées par des expre Validité ici est la *validité déductive* et non inductive -Un argument est dit correct si les prémisses sont vraies et si l'argument est correct +Un argument est dit correct si les prémisses sont vraies et si l'argument est valide Il existe un lien entre validité et vérité |> validité dépend pourtant du rapport entre prémisses et conclusion et non de la valeur de vérité des énoncés diff --git "a/semestre 3/logique et notions formelles/5- Cons\303\251quence logique.md" "b/semestre 3/logique et notions formelles/5- Cons\303\251quence logique.md" new file mode 100644 index 0000000..c69d975 --- /dev/null +++ "b/semestre 3/logique et notions formelles/5- Cons\303\251quence 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 diff --git a/semestre 3/logique et notions formelles/td/25-10-13.md b/semestre 3/logique et notions formelles/td/25-10-13.md index 51e0b38..7e6e20d 100644 --- a/semestre 3/logique et notions formelles/td/25-10-13.md +++ b/semestre 3/logique et notions formelles/td/25-10-13.md @@ -20,4 +20,5 @@ Programme du DS = tout ce qu'on a fait durant les trois premiers cours 2. neutre 3. tautologie 4. neutre -5. \ No newline at end of file +5. tautologie +6. tautologie \ No newline at end of file -- cgit v1.2.3