Les énoncés si... alors
Apprends à écrire des énoncés sous la forme si... alors, à repérer l'hypothèse et la conclusion, et à décider quand une implication est fausse.
Définition
- La partie après "si" est l'hypothèse (), la condition.
- La partie après "alors" est la conclusion (), ce qui doit en découler.
- Hypothèse : un nombre se termine par 0
- Conclusion : ce nombre est divisible par 10
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
Essaie tout de suite
Exemples résolus
Repère l'hypothèse et la conclusion : "Si un triangle a un angle droit, alors c'est un triangle rectangle."
Trouve la partie après "si"
"un triangle a un angle droit" → Hypothèse : un triangle a un angle droit
Trouve la partie après "alors"
"c'est un triangle rectangle" → Conclusion : le triangle est rectangle
Écris-la en symboles
La condition vient d'abord, le résultat ensuite →
Réponse: Hypothèse : un triangle a un angle droit. Conclusion : c'est un triangle rectangle. En symboles : .
Erreurs courantes
Prendre la première partie de la phrase pour l'hypothèse, comme dans "Je prends un parapluie s'il pleut" → hypothèse "je prends un parapluie"
Pourquoi c'est faux: L'hypothèse est la partie qui suit le mot "si" (ou "quand", "chaque fois que"), où qu'elle se trouve dans la phrase.
Correct: Trouve d'abord la condition : "il pleut". Puis écris : S'il pleut, alors je prends un parapluie.
Penser que est fausse dès que l'hypothèse est fausse
Pourquoi c'est faux: Une implication ne promet quelque chose que dans le cas où se réalise. Si ne se réalise pas, la promesse ne peut pas être rompue.
Correct: n'est fausse que dans le cas V → F. Quand est fausse, l'implication est vraie, quelle que soit .
Utiliser comme contre-exemple un nombre qui ne vérifie pas l'hypothèse, par exemple contre "si , alors "
Pourquoi c'est faux: Pour , la conclusion est fausse, mais l'hypothèse est fausse elle aussi, donc ce cas ne peut pas réfuter l'énoncé.
Correct: Un contre-exemple doit rendre l'hypothèse vraie et la conclusion fausse. Pour "si , alors ", un tel nombre n'existe pas, donc l'énoncé est vrai.
Croire qu'un exemple qui marche prouve l'énoncé
Pourquoi c'est faux: "Si est un entier naturel, alors est premier" marche pour () et (), mais donne , qui n'est pas premier.
Correct: Les exemples peuvent seulement appuyer un énoncé. Pour le prouver, il faut un argument général, mais un seul contre-exemple suffit pour le réfuter.
Visuel interactif
Table de vérité
| p | q | p → q |
|---|---|---|
| F | F | V |
| F | V | V |
| V | F | F |
| V | V | V |
V= VraiF= Faux
Table de vérité
| p | q | p → q |
|---|---|---|
| F | F | |
| F | V | |
| V | F | |
| V | V |
V= VraiF= Faux
Bac à sable interactif
Calculatrice d'expressions
Essaie ceux-ci :
Historique
Aucun calcul pour l'instant
Exercices pratiques
18 exercicesQuelle est l'hypothèse de l'énoncé "S'il pleut, alors le match de foot est annulé" ?
Pourquoi c'est important
- Achats : "Si ta commande atteint au moins 40 €, alors la livraison est gratuite."
- Règles et jeux : "Si tu fais un 6, alors tu rejoues."
- Sciences : "Si on chauffe de l'eau à 100 °C au niveau de la mer, alors elle bout."
- Programmation : chaque application est pleine de commandes comme "si le mot de passe est correct, alors ouvre le compte".
- Mathématiques : presque chaque règle et chaque théorème est une implication, par exemple "si un triangle a un angle droit, alors " (où est le plus grand côté).
Applications dans le monde réel
Achats en ligne
Les boutiques utilisent des règles si... alors pour la livraison gratuite, les réductions et les cadeaux. Pour profiter de l'offre, tu dois rendre l'hypothèse vraie.
Exemple:
"Si ta commande atteint au moins 40 €, alors la livraison est gratuite." Une commande de 52 € rend l'hypothèse vraie, donc la livraison doit être gratuite.
Une boutique promet : si ta commande atteint au moins 40 €, alors la livraison est gratuite. Ton panier contient un t-shirt à 18 € et une casquette à 15 €.
Combien d'euros dois-tu encore dépenser pour que l'hypothèse devienne vraie ?
Étape 1 : Écris l'expression mathématique
Soustrais ton total de 40 :
Tester des affirmations en mathématiques
Les mathématiciens testent une implication en cherchant un contre-exemple. S'ils en trouvent un, l'affirmation est fausse.
Exemple:
"Si un nombre est premier, alors il est impair" est faux, car 2 est premier et pair.
Un camarade affirme : si un entier naturel est un multiple de 3, alors il est impair.
Quel est le plus petit contre-exemple positif ?
Étape 1 : Écris l'expression mathématique
Les multiples de 3 sont 3, 3 + 3, 3 + 3 + 3, ... Écris le deuxième :
Maison connectée et programmation
Un thermostat fonctionne avec une implication : si la pièce est plus froide qu'une valeur réglée, alors le chauffage s'allume.
Exemple:
"Si la température est inférieure à 18 °C, alors le chauffage s'allume." À 17 °C, l'hypothèse est vraie, donc le chauffage doit s'allumer. À 20 °C, rien n'est promis.
La règle est : si la température est inférieure à 18 °C, alors le chauffage s'allume. À 7 h, la pièce est à 22 °C et elle se refroidit de 3 °C par heure.
Quelle est la température après 2 heures, et le chauffage est-il allumé ?
Étape 1 : Écris l'expression mathématique
Pars de 22 et soustrais 3 deux fois :
Points clés
- 1Une implication a la forme "si , alors ", qu'on écrit
- 2L'hypothèse est la condition après "si" ; la conclusion est le résultat après "alors"
- 3Beaucoup de phrases cachent une implication : "tout A est B" veut dire "si quelque chose est un A, alors c'est un B"
- 4 n'est fausse que si est vraie et est fausse (V → F) ; dans les trois autres cas, elle est vraie
- 5Un contre-exemple rend l'hypothèse vraie et la conclusion fausse, et un seul suffit pour réfuter un énoncé
- 6Des exemples qui marchent appuient un énoncé, mais ils ne le prouvent pas
Questions fréquentes
Glossaire
- Énoncé conditionnel
- Un énoncé de la forme "si , alors ", aussi appelé énoncé si... alors
- Hypothèse
- La condition d'une implication, la partie après "si" ()
- Conclusion
- Le résultat d'une implication, la partie après "alors" ()
- Implication
- Autre nom de l'énoncé conditionnel ; se lit " implique "
- Contre-exemple
- Un cas où l'hypothèse est vraie et la conclusion fausse ; il montre qu'une implication est fausse
- Valeur de vérité
- Le fait qu'un énoncé soit vrai (V) ou faux (F)
Carte des formules
Implication
Se lit "si $p$, alors $q$" : $p$ est l'hypothèse, $q$ la conclusion
Seul cas faux
Une implication n'est fausse que si l'hypothèse est vraie et la conclusion fausse
Contre-exemple
Un seul cas de ce type suffit pour réfuter $p \to q$