Médaille
N°1 pour apprendre & réviser du collège au lycée.
Flèches de raisonnements logiques
Découvrez, sur SchoolMouv, des milliers de contenus pédagogiques, du CP à la Terminale, rédigés par des enseignants de l’Éducation nationale.
Les élèves de troisième, de première ou de terminale bénéficient, en plus, de contenus spécifiques pour réviser efficacement leur brevet des collèges, leur bac de français ou leur baccalauréat édition 2023.
Bien rédiger

Introduction

Lors de la rédaction des démonstrations et calculs, les liens entre les différents éléments (implications, équivalences, etc.) sont représentés par des symboles qui permettent de simplifier la lecture.

Description

Soient AA et BB des affirmations mathématiques vraies ou fausses.

Symbole

Notation

Définition

Exemple

\Rightarrow \Leftarrow ABA\Rightarrow B BAB \Leftarrow A Cette flèche signifique « implique ».

Ici, AA est vrai implique BB est vrai.

La réciproque n’est pas forcément vraie :

  • si AA n’est pas vrai, on ne peut rien dire sur BB ;
  • si on ne connaît que BB, on ne peut rien dire sur AA.
Pour tout xRx \in \mathbb R :

x>4Ax>0B\underbrace{x > 4}A \Rightarrow \underbrace{x > 0}B

Réciproque fausse :

  • pour x=2x=2 : AA est faux mais BB est vrai ;
  • pour x=2x=-2 : AA est faux et BB est faux.
\Leftrightarrow ABA\Leftrightarrow B BAB\Leftrightarrow A Cette double flèche signifie « équivaut à ».

Ici, AA est vrai si et seulement si / équivaut à / signifie que BB est vrai.

Une équivalence est une implication dans les deux sens : la réciproque est toujours vraie.

Pour tout xRx\in \mathbb R :

x2=1{x=1oux=1x^2=1\Leftrightarrow \left \lbrace \begin{array}{ccc} &x=1 \ &\text{ou} \ &x=-1\end{array}\right.

\mapsto xyx \mapsto y Cette flèche signifique « associe à ».

Ici, à xx on associe yy.

Cette notation est principalement utilisée pour définir des fonctions :

[ff la fonction qui à xx associe f(x)f(x)]\Leftrightarrow [f:xf(x)f : x \mapsto f(x)]

Soit f:x4x+1f : x \mapsto 4x + 1 définie sur R\mathbb R.