Logique et Programmation Logique

Exercice 1 : résolution (8 points). On veut formaliser un tournoi de tennis en utilisant la logique des prédicats. Pour cela, on introduit.

Corrigé du devoir n°2 du 11 octobre 2016