Bonjour,svp j'ai une question en ce qui concerne la méthode de résolution de robinson en logique mathématique
Comment peut-on savoir qu'il est impossible d'avoir une clause vide à partir d'un ensemble pour éviter de tomber sur un travail à l'infini..
Méthode de résolution
1 message
- Page 1 sur 1
1 message
- Page 1 sur 1
Qui est en ligne
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 101 invités
Tu pars déja ?
Fais toi aider gratuitement sur Maths-forum !
Créé un compte en 1 minute et pose ta question dans le forum ;-)
Identification
Pas encore inscrit ?
Ou identifiez-vous :