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

> [!definition] Définition
> Soit $F$ une formule logique et $v$ une valuation.
> On dit que $F$ est **satisfaite** par $v$ si $F(v) = 1$ (autrement dit, si la valuation rend vraie la formule).
^definition