Développement : Complétude de la méthode de résolution

Détails/Enoncé :

Soit $\Sigma$ un ensemble de clauses contradictoires. Alors il existe un arbre de réfutation de $\Sigma$.

Recasages pour l'année 2019 :

Versions :