Correction des exercices: traduction, syllogismes se ramenant à des syllogismes aristotéliciens. Négation de formules dépendant d'un quantificateur.