Il s’agit d’un devoir, assez inhabituel dans sa forme, qui tente de balayer au travers d’exercices plus ou moins ardus les formes de raisonnement les plus couramment utilisés en mathématiques :
Négation d’une proposition (utile en probabilités)
Implication
Implication réciproque
Contraposée
Equivalence logique ...
Implication
Implication réciproque
Contraposée
Equivalence logique ...
Ce devoir peut-être traité à tous les niveaux de collège et de lycée !