Annexe - Notations Et Raisonnements Mathématiques
Annexe - Notations Et Raisonnements Mathématiques
Annexe - Notations Et Raisonnements Mathématiques
Il s’agit de présenter d’une part des symboles et notations et d’autre part, quelques principes de raisonnement. L’élaboration
d’un cours de logique avec toute la rigueur qui s’impose est ici hors sujet. Si l’utilisation n’est pas exigible, on ne doit pas s’en
priver ; les réserver cependant à des exposés synthétiques.
I ET – OU - Ensembles
A et B étant deux ensembles de nombres, l’ensemble noté A B est le produit cartésien de A par B . C’est l’ensemble des
couples de nombres de la forme ( a, b) où A et b décrit B .
2
Exemple est l’ensemble des couples (a, b) de réels.
désigne l’appartenance à un ensemble et désigne le non-appartenance à un ensemble.
Exemple √2 ∈ ℝ et √2 ∉ ℕ.
On dit qu’un ensemble F est inclus dans un ensemble E, et on note 𝐹 ⊂ 𝐸, pour exprimer que tout élément de F est également
élément de E.
Exemple On a l’inclusion importante : ℕ ⊂ ℤ ⊂ 𝔻 ⊂ ℚ ⊂ ℝ .
On appelle réunion de A et B l’ensemble formé des éléments qui appartiennent à A ou à B. Cet ensemble se note 𝐴⋃𝐵 et se lit
« A union B ».
Exemple Soit 𝐴 = {𝑥: 𝑥 ∈ ℝ tel que 𝑥 ≥ 0} et 𝐵 = {𝑥: 𝑥 ∈ ℝ tel que 𝑥 ≥ 0}, alors 𝐴 ∪ 𝐵 = ℝ.
On appelle intersection de A et B l’ensemble formé des éléments qui appartiennent à A et à B. Cet ensemble se note 𝐴 ∩ 𝐵 et se
lit « A inter B ».
Exemple Soit 𝐴 = [1; 3] et 𝐵 = [2; 4], alors 𝐴 ∩ 𝐵 = [2; 3].
On appelle complémentaire de l’ensemble A l’ensemble des éléments qui ne sont pas dans A. Cet ensemble se note 𝐴̅ et se lit
« A barre ».
Exemple Soit 𝐴 = {𝑥: 𝑥 ∈ ℝ tel que 𝑥 ≥ 0}, alors 𝐴̅ = {𝑥: 𝑥 ∈ ℝ tel que 𝑥 < 0}.
Si 𝐴 ⊂ 𝐵 et 𝐵 ⊂ 𝐴 , alors on a A = B et réciproquement.
On utilise souvent, en mathématiques, les expressions, « il existe », « quel que soit » appelés quantificateurs. Par exemple : Quel
que soient les réels a et b, (𝑎 − 𝑏)2 = 𝑎2 + 𝑏 2 − 2𝑎𝑏, il existe un réel 𝑥 tel que
2𝑥 − 1 = 1.
1
https://maths-stcyr.jimdo.com/ Annexe - Notations et raisonnements mathématiques
On pourra noter « il existe » de la façon suivante : ∃.
De même, on pourra noter « quel que soit » : ∀.
Exemples 1) ∃ 𝑥 ∈ ℝ ; 𝑥 2 − 1 = 0
2) ∀ 𝑥 ∈ ℝ ; (1 + 𝑥)2 = 1 + 2𝑥 + 𝑥 2 .
Une proposition est une phrase (avec un verbe) qui peut être vraie ou fausse.
Exemples 1) La négation de « 2 est un nombre pair » (vraie) est « 2 n’est pas un nombre pair » (fausse).
2) La négation de « 𝑥 ≥ 1 » est « 𝑥 < 1 ».
V L’implication et la réciproque
Remarque Quand on sait que « si A alors B » est vraie (c’est par exemple une propriété du cours), on est sûr que lorsque la
proposition A est vraie, la proposition B est automatiquement vraie.
Attention, lorsque la proposition A est fausse, on ne peut rien dire sur B ! Elle peut être, indifféremment, vraie ou fausse.
Exemples 1) La réciproque du théorème de Pythagore : « Si 𝐴𝐵2 + 𝐴𝐶 2 = 𝐵𝐶 2 alors le triangle ABC est rectangle en A.
2) Soit la proposition : « Si 𝑥 = 3 alors 2𝑥 = 6 » (vraie). Sa réciproque est : « Si 2𝑥 = 6 alors 𝑥 = 3» (vraie).
3) Soit la proposition : « Si 𝑥 = 3 alors 𝑥 2 = 9 » (vraie). Sa réciproque est : « Si 𝑥 2 = 9 alors 𝑥 = 3» (fausse).
2
https://maths-stcyr.jimdo.com/ Annexe - Notations et raisonnements mathématiques
VI La démonstration par le contre-exemple
Pour démontrer que l’implication « 𝐴 ⇒ 𝐵 » est fausse, on montre que 𝐴 peut être vérifiée
alors que 𝐵 n’est pas vérifiée. Pour cela, on trouve un contre-exemple.
Exemples 1) Pour démontrer que la proposition « pour tout nombre 𝑥, on a 𝑥 2 − 2 ≥ 0 » est fausse, on cherche un contre-
exemple, c’est-à-dire trouver un nombre 𝑥 tel 𝑥 2 − 2 < 0. Le contre-exemple 𝑥 = 1 convient.
2) Démontrons que la proposition « pour tout nombre 𝑥, (𝑥 + 1)2 = 𝑥 2 + 1 » est fausse. Il suffit de donner un contre-exemple :
pour 𝑥 = 2, (𝑥 + 1)2 = 9 et 𝑥 2 + 1 = 5 donc (𝑥 + 1)2 ≠ 𝑥 2 + 1 ».
VII L’équivalence
On commence par supposer que l’hypothèse est fausse pour aboutir à un résultat absurde (ou faux) alors on aura démontré que
le résultat attendu était juste.
Exemple S’il existe un réel 𝑥 tel que 𝑥 2 + √2=0 alors 𝑥 2 = −√2 or c’est impossible car un carré est toujours positif, donc
l’équation 𝑥 2 + √2=0 n’admet pas de solution réelle.
1 1
Exemple Soit la fonction 𝑓définie sur ℝ par 𝑓(𝑥) = 𝑥 si 𝑥 > 0 et 𝑓(𝑥) = − si 𝑥 ≤ 0.
2 2
La résolution de l’équation 𝑓(𝑥) = 2 implique de différencier deux cas :
* Si 𝑥 > 0, alors la solution est 𝑥 = 4.
* Si 𝑥 ≤ 0, alors il n’y a pas de solution.
Donc l’ensemble solution est : 𝒮 = {4}.
3
https://maths-stcyr.jimdo.com/ Annexe - Notations et raisonnements mathématiques
X QCM
1. La négation de la proposition « f est croissante sur I » est :
A. f est constante sur I.
B. f est décroissante sur I.
C. f n’est ni croissante, ni décroissante sur I.
D. f est croissante puis décroissante sur I.
2. L’écriture à l’aide des quantificateurs la proposition suivante : « f est décroissante sur I » est :
A. ∀ 𝑎, 𝑏 ∈ 𝐼; 𝑎 ≤ 𝑏 ⟹ 𝑓(𝑎) ≤ 𝑓(𝑏)
B. ∀ 𝑎, 𝑏 ∈ 𝐼; 𝑎 ≤ 𝑏 ⟹ 𝑓(𝑎) ≥ 𝑓(𝑏)
C. ∃ 𝑎, 𝑏 ∈ 𝐼; 𝑎 ≤ 𝑏 ⟹ 𝑓(𝑎) ≤ 𝑓(𝑏)
D. ∃ 𝑎, 𝑏 ∈ 𝐼; 𝑎 ≤ 𝑏 ⟹ 𝑓(𝑎) ≥ 𝑓(𝑏)
3. L’écriture à l’aide des quantificateurs de la proposition suivante : « tout entier naturel est pair ou impair » est :
A. ∃ 𝑛 ∈ ℕ; 𝑛 = 2𝑝; 𝑝 ∈ ℕ
B. ∀𝑛 ∈ ℕ; 𝑛 = 2𝑝; 𝑝 ∈ ℕ
C. ∀𝑛 ∈ ℕ; 𝑛 = 2𝑝 𝑜𝑢 𝑛 = 2𝑝 + 1; 𝑝 ∈ ℕ
D. ∃ 𝑛 ∈ ℕ; 𝑛 = 2𝑝 𝑜𝑢 𝑛 = 2𝑝 + 1; 𝑝 ∈ ℕ
4. Si 𝑓(−1) = 0 alors :
A. L’expression de 𝑓 peut être définie sur ℝ par 𝑓(𝑥) = 𝑥 2 + 𝑥.
B. L’expression de 𝑓 peut être définie sur ℝ par 𝑓(𝑥) = −𝑥 2 + 𝑥.
C. L’antécédent de −1 est 0.
D. L’image de 0 est −1.
5. Soit la proposition suivante : « Si f est une fonction décroissante sur [1 ;3], alors 𝑓(1) ≥ 𝑓(3) ».
A. Cette proposition est vraie.
B. Cette proposition est fausse.
6. Soit la proposition suivante : « Si deux polynômes ont les mêmes racines, alors ils sont égaux ».
A. Cette proposition est vraie.
B. Cette proposition est fausse.
A. On a (𝑃) ⇒ (𝑄)
B. On n’a pas (𝑄) ⇒ (𝑃)
C. On n’a pas (𝑃) ⇒ (𝑄)
4
https://maths-stcyr.jimdo.com/ Annexe - Notations et raisonnements mathématiques
10. Soit l’équivalence suivante : √𝑥 + 3 = 𝑥 + 1 ⇔ 𝑥 = (𝑥 − 2)2 𝑒𝑡 𝑥 ≥ 2.
5
https://maths-stcyr.jimdo.com/ Annexe - Notations et raisonnements mathématiques
Réponses :
1. B
2. B
3. C
4. A
5. A
6. B
7. B
8. A
9. B
10.A
6
https://maths-stcyr.jimdo.com/ Annexe - Notations et raisonnements mathématiques