Logique : ENSIIE 1A - contrôle final - CORRIGÉ Mardi 11 mai 2010
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.