From 13e49708dce0ee6d93dfd0a93a5bce33f15449f0 Mon Sep 17 00:00:00 2001 From: oskar Date: Sat, 13 Sep 2025 20:03:51 +0200 Subject: [PATCH] device-60.home 2025-9-13:20:3:51 --- évaluation d'une formule logique.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/évaluation d'une formule logique.md b/évaluation d'une formule logique.md index d2590229..f16d7582 100644 --- a/évaluation d'une formule logique.md +++ b/évaluation d'une formule logique.md @@ -11,5 +11,5 @@ aliases: > 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 \ No newline at end of file +> On transforme donc $F$ en une formule sans variables propositionnelles, en remplacant chaque variable par sa **valeur** suivant $v$. +> Le [[théorème de lecture unique]] nous indique ensuite la non-ambiguité de la notation, [[local]] et il suffit donc de connaitre les tables de vérité des opérateurs pour en déduire étape par étape la valeur de \ No newline at end of file