saf123 Posté(e) le 12 novembre 2009 Signaler Share Posté(e) le 12 novembre 2009 Bonjour je suis en licence informatique et je bloque sur un exercice: Démontrer le théorème suivant à l’aide de la méthode de résolution de Robinson. { Pour tout X.S(X.X) => U(X.X), Pour tout X, Z. NON (T(Z,F(X)) ET U (Z, F(X))), Pour tout Y,Z.R(Y,Z) OU S (Y,Z) } |- Il existe X, Y.T(X,Y) => R(X,Y) Un peu d'aide serait la bienvenue^^ Merci!! Lien vers le commentaire Partager sur d’autres sites More sharing options...
Messages recommandés
Archivé
Ce sujet est désormais archivé et ne peut plus recevoir de nouvelles réponses.