Examen Janvier 2011 - Université de Strasbourg
Exercice 1 : résolution (5 points). En utilisant la méthode de la résolution, ... F3. ?x [q(x) ? ?y s(x, y)] ? [?y (r(y) ? p(x, y))]. Correction :.
Exercice 1 : résolution (5 points). En utilisant la méthode de la résolution, ... F3. ?x [q(x) ? ?y s(x, y)] ? [?y (r(y) ? p(x, y))]. Correction :.