Initiation au raisonnement mathématique
Ce cours présente les notions fondamentales du raisonnement en mathématiques, en s’appuyant sur la logique propositionnelle et la théorie des ensembles. Chaque section développe un concept clé, illustré par des exemples et des explications détaillées.
1. Assertions et propositions
En mathématiques, une assertion est toute phrase qui possède une valeur de vérité. Une proposition est une assertion dont la vérité peut être évaluée comme vraie ou fausse. Ainsi, toute proposition est une assertion, mais le terme « proposition » insiste sur la possibilité d’attribuer une valeur de vérité.
2. Valeur de vérité et tables de vérité
La valeur de vérité d’une proposition indique si elle est vraie ou fausse. Les connecteurs logiques combinent des propositions et déterminent la valeur de vérité du résultat selon des règles précises.
- Conjonction (∧) : vraie uniquement si les deux propositions P et Q sont vraies.
- Disjonction (∨) : fausse uniquement si les deux propositions P et Q sont fausses (le « ou » est inclusif).
- Implication (⇒) : fausse uniquement lorsque P est vraie et Q est fausse.
Ces règles se résument dans les tables de vérité suivantes :
| P | Q | P ∧ Q | P ∨ Q | P ⇒ Q |
|---|---|---|---|---|
| V | V | V | V | V |
| V | F | F | V | F |
| F | V | F | V | V |
| F | F | F | F | V |
3. Notions de condition nécessaire et suffisante
Une condition nécessaire pour P est une proposition Q telle que P ne peut être vraie sans que Q le soit. En d’autres termes, Q doit être vraie chaque fois que P est vraie.
4. Principes de preuve
Les mathématiques utilisent plusieurs méthodes de démonstration :
- Preuve directe : on suppose P et on montre Q.
- Preuve par contraposée : on suppose ¬Q et on montre ¬P. La contraposée de P ⇒ Q est Q ⇒ P.
- Preuve par contradiction : on suppose que la proposition à démontrer est vraie, on dérive une contradiction, ce qui montre que l’hypothèse initiale était fausse.
- Principe de récurrence : se compose de deux étapes essentielles :
- Initialisation : vérifier que la propriété est vraie pour le premier indice (souvent n = 0 ou n = 1).
- Hérédité : démontrer que si la propriété est vraie pour un indice n, alors elle l’est aussi pour n+1.
5. Ensembles, opérations et symboles
Un ensemble est une collection d’objets distincts. Les notations et opérations de base sont :
- L’ensemble vide se note ∅.
- Union (∪) : l’ensemble des éléments appartenant à E ou à F (ou aux deux).
- Intersection (∩) : l’ensemble des éléments communs à E et F.
- Produit cartésien (E × F) : l’ensemble des couples ordonnés (x, y) avec x ∈ E et y ∈ F.
6. Égalité d’ensembles
Deux ensembles E et F sont égaux s’ils contiennent exactement les mêmes éléments. La méthode standard consiste à établir une double inclusion : montrer E ⊂ F et F ⊂ E. Lorsque les deux inclusions sont vérifiées, on conclut E = F.
7. Erreurs fréquentes à éviter
Il est important de distinguer certains concepts souvent confondus :
- Le « ou » logique est inclusif, contrairement à l’usage courant où il peut être exclusif.
- L’implication P ⇒ Q ne correspond pas à « donc » en français ; elle exprime une condition, pas une conclusion directe.
- En preuve par contradiction, on ne cherche pas à prouver la proposition de départ, mais à montrer que son hypothèse conduit à une impossibilité.
8. Synthèse
Maîtriser le raisonnement mathématique repose sur la compréhension des valeurs de vérité, des connecteurs logiques, des méthodes de preuve et des opérations sur les ensembles. En appliquant ces principes de façon rigoureuse, on peut construire des démonstrations solides et développer une pensée analytique fiable.
