1 - Déterminer la valeur logique d'une proposition mathématique
2 - Ecrire une expression en utilisant les bons quantificateurs logiques
3 - Maîtriser la négation des propositions mathématiques
4 - Connaître le raisonnement par récurrence
5 - Ecrire la contraposée d'une implication