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