cours/évaluation d'une formule logique.md

up, tags, aliases

up	tags	aliases
valuation d'une formule logique	s/maths/logique	évaluation

[!proposition]+ Soit F une formule logique a variables propositionnelles dans V Soit v \in \{ 0, 1 \}^{V} une valuation d'une formule logique On cherche à évaluer F(v). 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