Dans cette communication, l’autrice défend l’importance de la prise en compte des relations entre vérité mathématique et validité logique dans l’activité mathématique. Dans un premier volet elle présente brièvement le point de vue sémantique en logique : son essor à partir de Frege ; les apports de Wittgenstein et Tarski sur l’articulation entre validité logique et vérité dans une interprétation ; la déduction naturelle de Copi. Le second volet est consacré à l’analyse logique et mathématique de quatre preuves du point de vue de l’articulation entre vérité et validité, afin de mettre en lumière la pertinence des analyses logiques pour les études didactiques.