Eléments de logique

École thématiqueUne théorie mathématiques n'est pas le rassemblement de résultats sans liens les uns avec les autres. A partir de résultats considérés comme acquis le raisonnement mathématique permet d'en démontrer d'autres. Ce raison-nement s'effectueràeffectuer`effectuerà l'aide de certaines régles que vous utilisez consciemment ou non depuis plusieur années et qui sont les régles de la logique. Il nous faut donc commencer, en utilisant des exemples mathématiques que vous con-naissez, par mettre enévidenceenévidence certaines de ces régles : c'est le contenu de la section I. Nous indiquerons ensuite les principaux types d'´ enoncés et les divers modes usuels de raisonnement mathématique, ` a la section II