diff options
Diffstat (limited to 'semestre 3/logique et notions formelles/5- Conséquence logique.md')
| -rw-r--r-- | semestre 3/logique et notions formelles/5- Conséquence logique.md | 18 |
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 |