Méthode de résolution
Bonjour,
je lis dans le tome 1 du Cori Lascar la méthode de résolution (page 268-269). Je ne comprends pas la nécessité d'avoir au préalable des clauses séparées (c'est-à-dire n'ayant aucune variable commune). Est-ce pour simplifier la recherche d'un unificateur principal ?
Merci d'avance pour votre aide.
je lis dans le tome 1 du Cori Lascar la méthode de résolution (page 268-269). Je ne comprends pas la nécessité d'avoir au préalable des clauses séparées (c'est-à-dire n'ayant aucune variable commune). Est-ce pour simplifier la recherche d'un unificateur principal ?
Merci d'avance pour votre aide.
Connectez-vous ou Inscrivez-vous pour répondre.