--- up: - "[[valuation d'une formule logique]]" tags: - s/maths/logique aliases: - évaluation --- > [!proposition]+ > Soit $F$ une [[formule logique]] a variables propositionnelles dans $V$ > Soit $v \in \{ 0, 1 \}^{V}$ une [[valuation d'une formule logique|valuation]] > On cherche à **évaluer** $F(v)$. > Pour cela, on utilise le [[théorème de lecture unique]] et le fait que l'on connaît les tables de vérité des opérateurs logiques. > On transforme donc $F$ en une formule sans variables propositionnelles, en remplacant chaque variable par sa