TY - JOUR TI - La déduction naturelle de Copi comme outil didactique pour l’analyse de preuves mathématiques AU - Chellougui, Faïza T2 - Recherches En Didactique Des Mathématiques AB - The paper presents a methodological study in Didactics of Mathematics, invoving mainly predicate calculus and Copi's natural deduction as didactical tolos to analyse a piece of mathematical reasoning. We hypothesize that teaching natural deduction has the potential to equip students with means to verify the validity of proofs. In the first part of the paper, we present the rules of the system of natural deduction developed by Copi, especially the rules for introducing and eliminating quantifiers. This enables us to illustrate the pertinence of the methodology which we adopt to carry out a refined analysis of some student work, using this system. In the second part, we present an experimental study involving first year undergraduate students of mathematics, who have followed some teaching on the system of natural deduction, illustrated by examples of logical proofs. Based on this study, we argue that this teaching contributes positively to the students' capacity to analyse mathematical proofs from the point of view of logical validity. DA - 2020/// PY - 2020 VL - 40 IS - 3 J2 - RDM LA - FR SN - 0246–9367 UR - https://revue-rdm.com/2020/la-deduction-naturelle-de-copi-comme-outil-didactique-pour-lanalyse-de-preuves-mathematiques/ ER -