blob: c69d975a41a4886b036d6bde8f030be1b4ea2d61 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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$
|
