Logique mathématique et raisonnement

1. Raisonnement par contraposée

Soit une implication si P alors Q, notée \( P \Rightarrow Q \). La contraposée est la proposition si non Q alors non P, soit \( eg Q \Rightarrow eg P\).

Ce raisonnement est équivalent à l'implication initiale. En d'autres termes :

\[ P \Rightarrow Q \quad \Longleftrightarrow \quad eg Q \Rightarrow eg P \]

Exemple :
Si un nombre est premier, alors il n'est pas divisible par 4 (sauf 2). La contraposée :
si un nombre n'est pas divisible par 4, alors il n'est pas premier si c'est 4. Cette démarche permet souvent de prouver une implication en prouvant sa contraposée.

2. Disjonction de cas

La disjonction de cas consiste à diviser une propriété ou un problème en plusieurs cas mutuellement exclusifs pour faciliter la démonstration ou la résolution.

Par exemple : pour prouver une propriété P(x) pour tout x, on peut :

• diviser en cas 1 : x appartient à un certain ensemble,
• cas 2 : x appartient à un autre ensemble, etc.

Puis montrer que P(x) est vrai dans chaque cas. Si tous les cas sont couverts, alors P(x) est vrai dans tous les cas.

3. Récurrence

La récurrence est une méthode de démonstration permettant d'établir qu'une propriété P(n) est vraie pour tous les entiers n à partir d'un certain rang.

Étapes :

1. Initialisation : prouver que P(n₀) est vraie pour un rang de départ n₀.
2. Hérédité : supposer que P(k) est vraie pour un entier k ≥ n₀, puis prouver que P(k+1) est aussi vraie.

Conclusion : par principe de récurrence, P(n) est vraie pour tous n ≥ n₀.

Exemple : montrer que la somme des n premiers nombres entiers naturels est \(rac{n(n+1)}{2}\).

Résumé

• Le raisonnement par contraposée permet de prouver une implication en utilisant sa contraposée, équivalente.
• La disjonction de cas facilite la preuve en divisant le problème en sous-cas distincts.
• La récurrence est un outil puissant pour établir des propriétés sur l'ensemble des nombres entiers.