November 8, 2014MiscellaneousCorrection des exercices: négation de propositions en logique des prédicats, formalisation de propositions simples. Connecteurs et quantificateurs.