---
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$