Logique Travaux Dirigés - Partie 3 Corrigés - Université Bretagne Sud
Exercice 1 : résolution (8 points). On veut formaliser un tournoi de tennis en utilisant la logique des prédicats. Pour cela, on introduit.
Exercice 1 : résolution (8 points). On veut formaliser un tournoi de tennis en utilisant la logique des prédicats. Pour cela, on introduit.