LSF

Devoir Maison à rendre le vendredi 6 octobre : Élimination de connecteurs logiques (correction partielle)

Devoir Maison à rendre le vendredi 13 octobre (court)

Démontrez que la résolution préserve la satisfaisabilité.
  1. Connaissance nécessaire pour faire l'exercice :
    • Définition de la règle de résolution
    • Définition de la satisfaisabilité
    • Définition de l'évaluation d'une formule dans une interprétation
  2. Rédaction soignée du QDD ? (Que doit-on démontrer)
  3. Rédaction soignée de la preuve

Exercices corrigés


Révision : Synthèse et exercices corrigés


Corrigés des devoirs

Enoncés de TD et corrigés

Exercices supplémentaires