Correction des exercices: négation de propositions en logique des prédicats, formalisation de propositions simples. Connecteurs et quantificateurs.