cours/ensemble de formules satisfaisable.md

up, tags, aliases

up	tags	aliases
formule logique	s/maths/logique

[!definition] Définition Soit \mathscr{A} un ensemble de formules du calcul propositionnel \mathscr{A} est satisfaisable (ou consistant, ou non contradictoire) si et seulement s'il existe au moins une valuation qui satisfait \mathscr{A} ^definition