Correction des exercices du TD1

Etant donné qu'il s'agit d'une forme équivalente, elle doit s'exprimer pour les mêmes quantificateurs. Page 3. Q4 : Comparaison des résultats des questions 1 et ...