Démonstration directe
Apprends à construire des démonstrations directes en déduisant logiquement des conclusions à partir d'hypothèses données, en utilisant des définitions, des axiomes et des théorèmes prouvés.
Définition
- Commencer en supposant que est vrai
- Utiliser des déductions logiques pour montrer que doit aussi être vrai
Essaie tout de suite
Exemples résolus
Prouve : Si et sont des entiers pairs, alors est pair.
Énoncer l'hypothèse
Supposons que et sont des entiers pairs → Donné : et sont pairs
Appliquer la définition de pair
Un entier pair peut s'écrire pour un entier → et pour des entiers
Additionner les deux nombres
→
Factoriser le facteur commun
→
Appliquer à nouveau la définition de pair
Puisque est un entier, est pair par définition → est pair
Réponse: Donc, la somme de deux entiers pairs est toujours paire. CQFD
Erreurs courantes
Utiliser des exemples spécifiques au lieu d'une preuve générale
Pourquoi c'est faux: Montrer que (pair) ne prouve rien sur TOUS les nombres pairs. Une preuve doit fonctionner pour tous les cas possibles.
Correct: Utilise des variables et des définitions. Écris 'Soit pour un entier ' pour représenter N'IMPORTE QUEL nombre pair.
Supposer ce qu'on veut prouver
Pourquoi c'est faux: Tu ne peux pas utiliser la conclusion dans ton raisonnement. C'est une logique circulaire.
Correct: Commence seulement par l'hypothèse et avance. N'écris jamais 'Puisque est pair...' tant que tu ne l'as pas prouvé.
Sauter des étapes logiques
Pourquoi c'est faux: Chaque étape doit suivre logiquement des étapes précédentes. Les lacunes dans le raisonnement peuvent cacher des erreurs.
Correct: Justifie chaque étape avec une définition, un axiome ou un théorème déjà prouvé.
Visuel interactif
Table de vérité
| P | Q | P ∧ Q |
|---|---|---|
| F | F | F |
| F | T | F |
| T | F | F |
| T | T | T |
T= VraiF= Faux
Bac à sable interactif
Calculateur d'expressions
Essayez ceux-ci:
Historique
Aucun calcul encore
Exercices pratiques
17 exercicesQuelle est la première étape d'une démonstration directe ?
Pourquoi c'est important
- Fondement des mathématiques : Chaque théorème que tu utilises a été prouvé par démonstration directe ou des méthodes similaires
- Informatique : Les preuves de correction d'algorithmes utilisent souvent le raisonnement direct
- Arguments juridiques : Les avocats construisent des arguments des preuves vers la conclusion
- Méthode scientifique : Déduire des prédictions à partir d'hypothèses utilise la même structure logique
- Résolution de problèmes : Décomposer des problèmes complexes en étapes logiques
Applications dans le monde réel
Vérification de logiciel
Les programmeurs utilisent la logique de démonstration directe pour vérifier que leur code fonctionne correctement pour toutes les entrées.
Exemple:
Pour prouver qu'un algorithme de tri produit toujours une sortie triée, nous montrons : si l'entrée est une liste, la sortie a les mêmes éléments en ordre non décroissant.
Un programme double chaque nombre dans une liste. Nous devons prouver : si tous les nombres en entrée sont positifs, tous les nombres en sortie sont positifs.
Complète cette démonstration directe.
Étape 1 : Écrivez l'expression mathématique
Si , alors
Raisonnement juridique
Les avocats construisent des arguments qui mènent logiquement des preuves aux conclusions.
Exemple:
Si le contrat stipule que le paiement est dû à la livraison, et que la livraison a eu lieu le 1er mars, alors le paiement était dû le 1er mars.
Loi : Tous les citoyens de plus de 18 ans peuvent voter. Fait : Alex est citoyen. Fait : Alex a 21 ans.
Prouve qu'Alex peut voter.
Étape 1 : Écrivez l'expression mathématique
Structure l'argument logique
Points clés
- 1Une démonstration directe suppose que l'hypothèse est vraie et déduit la conclusion par des étapes logiques
- 2Utilise des définitions pour traduire les mots en expressions mathématiques (par exemple, pair = )
- 3Chaque étape doit suivre logiquement des étapes précédentes en utilisant l'algèbre, des définitions ou des théorèmes
- 4La preuve se termine quand tu atteins la forme exacte de la conclusion
- 5CQFD (ce qu'il fallait démontrer) marque la fin d'une preuve
Questions fréquentes
Glossaire
- Démonstration directe
- Une méthode de preuve qui suppose l'hypothèse et utilise la déduction logique pour dériver la conclusion
- Hypothèse
- La partie 'si' d'un énoncé conditionnel ; ce que nous supposons être vrai
- Conclusion
- La partie 'alors' d'un énoncé conditionnel ; ce que nous voulons prouver
- CQFD
- Abréviation de 'ce qu'il fallait démontrer', marquant la fin d'une preuve
- Théorème
- Un énoncé mathématique qui a été prouvé comme vrai
- Axiome
- Un énoncé accepté comme vrai sans preuve ; un point de départ pour le raisonnement