Objectifs de ce TD

• Comprendre et appliquer les principes du raisonnement par contraposée (Exercice 7).
• Maîtriser le raisonnement par récurrence (Exercices 8 et 9).
• Analyser et démontrer des implications logiques simples.