cours/formule logique satisfaite par une valuation.md

up, tags, aliases, sibling

up	tags	aliases	sibling
valuation d'une formule logique	s/maths/logique	satisfait satisfaite	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