---
up:
  - "[[valuation d'une formule logique|valuation]]"
tags:
  - s/maths/logique
aliases:
  - satisfiable
sibling:
  - "[[formule logique satisfaite par une valuation]]"
---

> [!definition] Définition
> Soit $F$ une fomule logique
> On dit que $F$ est **satisfiable** si il existe une valuation $v$ qui [[formule logique satisfaite par une valuation|satisfait]] $F$
> Autrement dit si :
> $\exists v \in \{ 0, 1 \}^{V},\quad v(F) = 1$
> où $V$ est l'ensemble des variables propositionnelles
^definition