Corrigé - Université de Strasbourg
Examen Mai 2010. Aucun document autorisé. Le bar`eme est donné `a titre
indicatif. Exercice 1 : résolution (6 points) ... On veut montrer en utilisant la
méthode de la résolution que ?Pierre ne doit pas ... (b) ?x,fievre(x) ? tousse(x)
? grippe(x).