Que veulent dire les termes d’implication, d’équivalence, de réciproque, de contraposée? Qu’est qu’une démonstration directe, par l’absurde, par récurrence ?
