01 1let Logique Cour
01 1let Logique Cour
01 1let Logique Cour
Quelques motivations
Les mathématiques est un langage pour s’exprimer rigoureusement, qui rend les calculs exacts
et véritables. Le raisonnement est le moyen de valider ou d’infirmer une hypothèse et de
l’expliquer.
1. PROPOSITION :
Une proposition est une phrase soit vraie, soit fausse, pas les deux en même temps.
Exemples :
– « Je suis plus grand que toi. »
–« 2+2 =4 »
–« 2×3 =5 »
– « Pour tout x , on a x 2 0 »
2. OPERATIONS LOGIQUES :
Si P est une proposition et Q est une autre proposition, nous allons définir de nouvelles
propositions construites à partir de P et de Q.
2-1) L’opérateur logique «et »
La proposition « P et Q » est vraie si P est vraie et Q est vraie. La proposition « P et Q » est
fausse sinon. On résume ceci en une table de vérité
En posant : x = on aura :
donc La proposition P est vraie donc P est fausse
2 2 2
3) Raisonnement par équivalence :
Le raisonnement par équivalence repose sur le principe suivant : pour montrer que P est vraie on
montre que : « P Q » est vraie et Q est vraie donc on déduit que P est vraie.
Exemple : Montrer que : x 0 x + 1 2
x
1 x +1 x +1
2 2
Solution : x + 2 2 2
x x x
x 2 +1 x 2 + 1 − 2x
−20 0
x x
( x − 1)
2
x 2 + 1 − 2x
0 0
x x
Et puisque on a : (
x − 1)
2
1
0 donc x 0 x+ 2
x x
4) Raisonnement par l’absurde :
x ² −1
Exemple : Montrer que : ( x ): 1
x ² +1
x ² −1
Solution : Nous raisonnons par l’absurde en supposant que ( x ): =1
x ² +1
x ² −1
Comme = 1 alors x ² − 1 = x ² + 1
x ² +1
Donc −1 = +1
Cela conduit à une contradiction.
x ² −1
Conclusion : ( x ) : 1
x ² +1