g - CRIL
g - CRIL
g - CRIL
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Caractérisation logique Solution générale Étude algorithmique Expérimentations<br />
Solution apparente<br />
Solution apparente<br />
Contracter Γ de tous les impliquants stricts f de g puis ajouter g<br />
Exemple 1 : Soit Γ ′ un ensemble de formules propositionnelles<br />
1 interrupteur_on<br />
2 (interrupteur_on ∧ ¬ampoule_cassee) ⇒<br />
piece_eclairee<br />
Γ ′ |= g<br />
➠<br />
7 / 16