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 2 : Soit Γ un ensemble de formules propositionnelles<br />
g silos_nucleaires ∨ silos_grains<br />
➠<br />
7 / 16