Ce travail de recherche examine les difficultés logiques rencontrées par les étudiants lors de l’apprentissage de la démonstration mathématique à la transition secondaire-université. Il identifie plusieurs obstacles, tels que la manipulation des variables liées, la négation, la quantification implicite et la distinction entre contraposée et réciproque. L’étude analyse comment ces difficultés sont traitées dans les cours d’initiation à la démarche mathématique en Fédération Wallonie-Bruxelles et propose des perspectives de poursuite du projet.