Résolution
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
resolution
a sound and complete method for obtaining proofs by contradiction. The axioms and the negation of the desired conclusion are converted to a set of clauses in conjunctive normal form. Pairs of clauses from the set are resolved, and the resolvents are added to the set. If the empty clause is produced, the theorem is proved.
Contributeurs: Patrick Drouin, wiki
