5ème Cours – Initiation au raisonnement déductif
1
1. Les règles du débat mathématique
En mathématiques, pour savoir si un énoncé est vrai ou faux, on utilise certaines règles.
En voici quelques-unes :
(1) Un énoncé mathématique est soit vrai, soit faux
(2) Des exemples qui vérifient un énoncé ne suffisent pas pour prouver que cet énoncé est vrai.
(3) Un exemple qui ne vérifie pas un énoncé suffit pour prouver que cet énoncé est faux. Cet exemple
est appelé un « contre – exemple ».
(4) Une constatation ou des mesures sur un dessin ne suffisent pas pour prouver qu’un énoncé de
géométrie est vrai.
2. Les règles du débat mathématique
En mathématiques on utilise souvent des énoncés de la forme « si …. alors ….. »
Dans ces énoncés, l’expression qui est entre « Si » et « alors » est appelée la condition de l’énoncé et
l’expression qui suit « alors » est appelée la conclusion.
Exemple : Si deux droites sont perpendiculaires alors elles sont sécantes.
La condition de l’énoncé ci-dessus est : « deux droites sont perpendiculaires » ; sa conclusion est : « elles sont
sécantes »
La réciproque de l’énoncé ci-dessus est :
Si deux droites sont sécantes alors elles sont perpendiculaires. Cet énoncé est faux
On trouve la réciproque d’un énoncé en inversant la condition et la conclusion de cet énoncé.
Attention : La réciproque d’un énoncé vrai n’est pas toujours vraie. Par exemple, l’énoncé ci-dessus est vrai
mais sa réciproque est fausse.
3. Contre-exemple
Pour un énoncé de la forme « si …. Alors …. « , un contre-exemple est un cas qui vérifie la condition et qui ne
vérifie pas la conclusion.
Exemple : Pour l’énoncé « Si un nombre est divisible par 5 alors il se termine par 5 », 10 est un contre-exemple
car :
Il vérifie la condition : 10 est divisible âr 5 ;
Mais il ne vérifie pas la conclusion : 10 ne se termine pas par 5
L’énoncé est donc faux.
Condition Conclusion