Le raisonnement déductif est une des formes les plus travaillées dans l’enseignement, à l’occasion de tâches de types : « démontrer que », justifier » (Fabert & Grenier, 2011). De plus, Tanguy et Mathieu –Soucy (2015) pensent que les professeurs gagneraient à éviter les évidences et à être aussi explicites et clairs que possible dans l’utilisation des notions de logique et de raisonnement. Or dans certains pays, comme le Sénégal, la logique n’est pas explicitement dans les programmes de mathématiques au moyen secondaire. Plusieurs recherches en didactiques des mathématiques sont faites sur l’implication illustrant les difficultés de son usage (Deloustal-Jorrand, 2004 ; Durand-Guerrier & Njomgang Ngansop, 2009 ; Fabert & Grenier, 2011). Cependant, nous avons constaté presque une absence de recherche sur l’utilisation de la loi de curryfication notée (P⟹(Q⟹R))⟺((P∧Q)⇒R) dans les pratiques de classe. Cette étude vise à identifier et analyser les obstacles épistémologiques et didactiques des apprenants dans l'appropriation de cette loi. L'objectif principal de cette communication est d'élaborer une organisation mathématique et didactique pour l'enseignement de cette loi, basée sur le cadre théorique de la Théorie Anthropologique du Didactique. Après l'analyse des programmes de mathématiques du Sénégal et de manuels scolaires, 400 et 500 questionnaires ciblés ont été soumis respectivement aux enseignants et aux élèves dont 380 réponses obtenues auprès des élèves et 475 auprès des enseignants.