Prof : fayssal Site web : [Link].

com Chapitre 01: Notion de logique 1 Bac sc Page 01

A) Propositions – Fonction propositionnelle Si on remplace les variables par un élément de ces ensembles ,
la fonction proposé devient une proposition
Exemples :
B) Opérations sur les propositions :
1) Le texte mathématique (𝑷): −𝟐 ∈ 𝑰𝑵 , a un sens faux donc on dit ̅
1) Négation d’une propositions : 𝑷
que (𝑷) est une proposition fausse
Définition : La négation de la proposition P est la P ̅
𝑷
2) (𝑸): "𝑷𝒐𝒖𝒓 𝒕𝒐𝒖𝒔 𝒙 𝒅𝒂𝒏𝒔 𝑰𝑹 ; 𝒙𝟐 ≥ 𝟎" est un texte mathématique ̅ ou non P et qui est vraie si P est
proposition noté 𝑷
qui a un sens vrai ;on dit (𝑸) est une proposition vraie V F
fausse et fausse si P est vraie
3) (𝑻): 𝒙 ∈ 𝑰𝑹 ; 𝒙𝟐 − 𝟏 = 𝟎 ; ce texte dépond d’un paramètre x F V
appartient à l’ensemble IR ; on ne peut pas dire est-ce-que (𝑻) Exemples :
est vrai ou faux Proposition : P ̅
Négation : 𝑷
mais par exemple pour la valeur 1 ou -1 , le texte (𝑻) devient une (𝑷): 𝝅 ∈ 𝑰𝑵
proposition vraie et pour les autres valeurs de IR le texte (𝑻)
(𝑷): 𝟏 + 𝟐 = 𝟓
devient une proposition fausse
le texte (𝑻) est appelé une fonction propositionnelle qui est (𝑷): √𝟐 > 𝟏
toujours dépond d’un paramètre d’un ensemble (ou des 2) Conjonction :(𝑷 𝒆𝒕 𝑸) ; disjonction (𝑷 𝒐𝒖 𝑸)
paramètres) ➢ la conjonction de deux propositions P et Q et la proposition
1) Propositions noté (𝑷 𝒆𝒕 𝑸) et qu’est vraie ssi P et Q sont toutes les deux
sont vraies
Définition
➢ la disjonction de deux propositions P et Q et la proposition
On appelle une proposition un énoncé des mots qui a un sens noté (𝑷 𝒐𝒖 𝑸) , et qu’est fausse ssi les deux propositions P et
pouvant être vrai ou faux (mais pas les deux en même temps) Q sont fausses
Valeur de vérité d’une proposition Tableau de vérité de :(𝑷 𝒆𝒕 𝑸) et (𝑷 𝒐𝒖 𝑸)
P
Si la proposition est vraie on note V P Q P et Q P ou Q
V
Si la proposition est fausse on note F V V V V
F
2) Fonction propositionnelle V F F V
Définition F V F V
Une fonction propositionnelle est une expression contenant une ou F F F F
plusieurs variables , qui appartiennent à des ensembles déterminé
 Prof : fayssal Site web : [Link] Chapitre 01: Notion de logique 1 Bac sc Page 02
Propriété : ( loi de MORGAN ) Exercice 3
➢ la négation de la proposition (𝐏 𝐞𝐭 𝐐) est (𝐏 𝐨𝐮 𝐐) 1) Soient 𝒙 un nombre réel , Montrer que :
➢ la négation de la proposition (𝐏 𝐨𝐮 𝐐) est : (𝐏 𝐞𝐭 𝐐) 𝟏 𝟑 𝟏 𝟑
|𝒙 − 𝟐| < ⇒ < <
𝟑 𝟏𝟑 𝒙 + 𝟐 𝟏𝟏
Exercice 1
2) Montrer que : Si m et n sont deux entiers naturels impairs
Etudier la valeur de vérité et déterminer la négation des
alors 𝒎 + 𝒏 est pair
propositions suivantes :
𝟏 3) Monter que ( 𝒂 ∈ ℚ ; 𝒃 ∈ ℚ) ⇒ (𝒂 + 𝒃 ∈ ℚ)
𝑷𝟏 : (𝟒 = 𝟑 𝒐𝒖 𝟔 ≤ 𝟎) ; 𝑷𝟐 : (𝟖 > 𝟓 𝒆𝒕 ∈ ℤ) 𝒙
𝟐 4) Soit 𝒙 ∈ [−𝟏; +∞[ ; montrer que :(√𝒙 + 𝟏 = 𝟏 + ) ⇒ (𝒙 = 𝟎)
𝟐
3) Implication:( 𝑷 ⇒ 𝑸)
1) Equivalence:(𝑷 ⇔ 𝐐)
̅ ou Q) est appelé L’implication de P et Q , et elle
La proposition ( 𝑷
l’équivalence de deux propositions P et Q et la proposition ( 𝑷 ⇒
est noté par : 𝑷 ⇒ 𝑸 et qui est fausse seulement si P est vraie et Q et 𝑸 et 𝑸 ⇒ 𝑷 ) qu’on note par : 𝑷 ⇔ 𝑸 et qui est vraie ssi P et Q
fausse
ont la même valeur de vérité
Remarque 01 : Tableau de vérité de : (𝑷 ⇒ 𝑸) et (𝑷 ⇔ 𝑸)
➢ la proposition 𝑸 ⇒ 𝑷 est appelée l’implication réciproque de
l’implication 𝑷 ⇒ 𝑸 P Q 𝑷⇒ 𝑸 𝑷 ⇔ 𝑸
➢ la proposition 𝑸 ̅⇒ 𝑷 ̅ est appelée l’implication contraposée de V V V V
l’implication 𝑷 ⇒ 𝑸 V F F F
➢ la négation de la proposition (𝑷 ⇒ 𝑸 ) est la proposition:
̅) F V V F
(𝐏 𝐞𝐭 𝑸
F F V V
Exercice 2
Soit la proposition (𝑷 ) suivante : (𝝅 = 𝟑, 𝟏𝟒) ⇒ (𝝅 ∈ ℚ). C)Quantificateur universel: ∀
1) Déterminer la valeur de vérité de (𝑷 ) . Activité
2) Donner la négation de la proposition 𝑷 . Donner la valeur de vérité des propositions
3) Déterminer l’implication réciproque de l’implication (𝑷)
(𝑷): "𝑷𝒐𝒖𝒓 𝒕𝒐𝒖𝒔 𝒙 𝒅𝒂𝒏𝒔 𝑰𝑹 ; 𝒙𝟐 + 𝟐 ≥ 𝟎"
4) Déterminer l’implication contraposée de l’implication (𝑷)
Remarque 02 : (𝑸): "𝑸𝒖𝒆𝒍 𝒒𝒖𝒆 𝒔𝒐𝒊𝒕 𝒙 𝒅𝒂𝒏𝒔 𝑰𝑹 ;Quel que soit y dans IR : 𝒙𝟑 − 𝒚𝟑 =
➢ Pour montrer que la proposition 𝑷 ⇒ 𝑸 est vraie on suppose que (𝒙 − 𝒚)(𝒙𝟐 + 𝒙𝒚 + 𝒚𝟐 )"
P est vraie et on montre Q est vraie (𝑹): "𝑷𝒐𝒖𝒓 𝒕𝒐𝒖𝒔 𝒙 𝒅𝒂𝒏𝒔 𝑰𝑹 ; √𝒙𝟐 = 𝒙 "
 Prof : fayssal Site web : [Link] Chapitre 01: Notion de logique 1 Bac sc Page 03
Définition 𝐏𝟑 ∶ (∃ 𝐱 ∈ ℝ) : 𝐱 𝟐 − 𝟑𝐱 + 𝟐 = 𝟎;
𝟐
➢ ‘Pour tous’ ou ‘quel que soit’ est appelé Quantificateur universel 𝐏𝟒 ∶ (∀ 𝐱 ∈ ℝ) : 𝐱 + 𝐱 + 𝟏 > 𝟎;
et il est noté par ∀ 𝐏𝟓 ∶ (∀ 𝐱 ∈ [𝟏; 𝟔]) : 𝐱 𝟐 − 𝟕𝐱 + 𝟔 ≥ 𝟎
➢ La proposition (∀𝐱 ∈ 𝐄); 𝐩(𝐱) est vraie lorsque , pour tout 𝐱 ∈ 𝐄 Exercice 5
on a : 𝐩(𝐱) est vraie 𝐱 ∈ 𝐄 tel que 𝐩(𝐱) soit vraie 1) Montrer que les propositions sont vraies :
Quantificateur existentiel : ∃ 𝐏𝟏 ∶ (∀ 𝐱 ∈ ℝ) ; (∃ 𝐲 ∈ ℝ) : 𝐱 ≤ 𝐲 ;
𝟏
Activité 𝐏𝟐 (∀ 𝐱 ∈ [𝟏; 𝟐]) ;( ∃ 𝐲 ∈ [ ; 𝟏]) : 𝐱 + 𝟐𝐲 − 𝟑 = 𝟎
𝟐

Donner la valeur de vérité des propositions 𝐏𝟑 ∶ (∃ 𝐲 ∈ ℝ) ; (∀ 𝐱 ∈ ℝ) : 𝐱 𝟐 + 𝐱 + 𝟏 > 𝐲 ;

(𝑷)"𝑰𝒍 𝐞𝐱𝐢𝐬𝐭𝐞 𝐚𝐮 𝐦𝐨𝐢𝐧𝐬 𝐮𝐧 𝐱 𝐝𝐞 𝐈𝐑 , 𝒙𝟐 − 𝟐 = 𝟎" 2) Déterminer la négation de 𝐏𝟐 et 𝐏𝟑
Remarque : ( Résonnement par contre-exemple )
(𝑸): "𝑰𝒍 𝐞𝐱𝐢𝐬𝐭𝐞 𝐚𝐮 𝐦𝐨𝐢𝐧𝐬 𝐮𝐧 𝐱 𝐝𝐞 𝐈𝐑 ; il existe au moins y de IR tel
Pour montrer que la proposition
que : 𝒙 + 𝒚 > 𝟎 ; (𝑹)"𝑰𝒍 𝐞𝐱𝐢𝐬𝐭𝐞 𝐮𝐧 𝐮𝐧𝐢𝐪𝐮𝐞 𝐱 𝐝𝐞 𝐈𝐑 , 𝒙𝟐 − 𝟏 = 𝟎"
(∀𝒙 ∈ 𝑬); 𝒑(𝒙) est fausse , il suffit de montrer que sa négation
Définition ̅̅̅̅̅̅
(∃𝒙 ∈ 𝑬); 𝒑 (𝒙) est vraie
➢ ‘ il existe au moins un’ est appelé quantificateur existentiel et il
est noté par ∃ Exemple : (∀ 𝐱 ∈ ℝ) ; √𝐱 𝟐 = 𝐱 est fausse car sa négation ∃ 𝐱 ∈ ℝ;
➢ la proposition (∃𝐱 ∈ 𝐄); 𝐩(𝐱) est vraie lorsqu’il existe au moins √𝐱 𝟐 ≠ 𝐱 est vrai pour 𝒙 = −𝟏
un 𝐱 ∈ 𝐄 tel que 𝐩(𝐱) soit vraie Exercice 6
➢ Le quantificateur ‘’il existe un unique’’ est noté par : ∃! Soit 𝑷 la proposition suivante :
➢ la proposition ∃! 𝐱 ∈ 𝐄; 𝐩(𝐱) est vraie s’il existe un seul 𝐱 ∈ 𝐄 tel (∀𝒚 ∈ ℝ)(∃𝒙 ∈ ℝ): 𝒙𝟐 + 𝒙𝒚 + 𝒚𝟐 = 𝟎
que 𝐩(𝐱) soit vraie 1) Déterminer la négation de la proposition 𝑷
Propriétés : 2) Montrer que la proposition 𝑷 est fausse
̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅ ̅̅̅̅̅̅
(∀𝒙 ∈ 𝑬); 𝒑(𝒙) ⇔ (∃𝒙 ∈ 𝑬); 𝒑 (𝒙) Exercice 7
̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅ ̅̅̅̅̅̅
(∃𝒙 ∈ 𝑬); 𝒑(𝒙) ⇔ (∀𝒙 ∈ 𝑬); 𝒑 (𝒙) On considère la fonction 𝒇 défini sur ℝ par :
𝒇(𝒙) = 𝒙𝟐 − 𝟐𝒙 − 𝟖
Exercice 4
Et la proposition suivante :
Etudier la valeur de vérité et déterminer la négation des
𝑷 ∶ " ∀(𝒂, 𝒃)𝝐ℝ𝟐 ; 𝒇(𝒂) = 𝒇(𝒃) ⇒ 𝒂 = 𝒃 .
propositions suivantes :
1)Résoudre dans ℝ l’équation 𝒇(𝒙) = 𝟎 .
𝐏𝟏 : (∃ 𝐧 ∈ ℕ) : 𝐧𝟐 = 𝟑𝟔;
2) Déduire que 𝑷 est fausse .
𝐏𝟐 ∶ (∀ 𝐱 ∈ ℝ) : √𝐱 𝟐 = 𝐱 ;
 Prof : fayssal Site web : [Link] Chapitre 01: Notion de logique 1 Bac sc Page 04
D) Lois logique 1) Résonnement par Equivalence
1) Définition Ce type consiste à appliquer la loi suivante :
➢ [(𝑷 ⇔ 𝑸 ] ⇔ [𝑷 ⇔ 𝑹 𝐞𝐭 𝑹 ⇔ 𝑸]
Une loi logique est une proposition qui est vraie quel que soit la
valeur de vérité des propositions qui la constitue. Pratiquement On établit l’équivalence 𝑷 ⇔ 𝐐 à l’aide d’une
chaine d’équivalences successives
3) Quelque lois logique
EXERCICE 10
la commutativité :
√𝒙−𝟏 𝟏
➢ (𝐏 𝐞𝐭 𝐐) ⇔ (𝐐 𝐞𝐭 𝐏) 1) Soit 𝒙 ∈ [𝟏; +∞[ . Montrer que : ≤
𝒙 𝟐
5) (𝐏 𝐨𝐮 𝐐) ⇔ (𝐐 𝐨𝐮 𝐏) 2) Soient 𝒂 𝒆𝒕 𝒃 deux nombres réels positifs
6) (𝐏 ⇔ 𝐐) ⇔ (𝐐 ⇔ 𝐏) Monter que : ( 𝒂 + 𝐛 = 𝟎) ⇔ (𝒂 = 𝟎 et 𝒃 = 𝟎)
la distributivité : 3) Soit 𝒙 ∈ [𝟎; +∞[ et y ∈ [𝟎; +∞[ Montrer que :
7) (𝐏 𝐞𝐭( 𝐐 𝐨𝐮 𝐑)) ⇔ (𝐏 𝐞𝐭 𝐐) 𝒐𝒖(𝐏 𝐞𝐭 𝐑) √𝒙 + √𝒚 =
𝐱+𝐲+𝟐
⇔ 𝐱=𝐲=𝟏
𝟐
8) (𝐏 𝐨𝐮 ( 𝐐 𝐞𝐭 𝐑)) ⇔ (𝐏 𝐨𝐮 𝐐) 𝒆𝒕 (𝐏 𝐨𝐮 𝐑)
4) Soient 𝒂 , 𝒃𝒆𝒕 𝒄 des réels.
Exercice 8 Montrer que 𝒂𝟐 + 𝒃𝟐 + 𝒄𝟐 ≥ 𝒂𝒃 + 𝒃𝒄 + 𝒂𝒄
(𝒙 + 𝟏)(𝒚 − 𝟒) = 𝟎 2) Résonnement par contraposition
Résoudre dansℝ𝟐 le système{
(𝒙 − 𝟑)(𝒚 + 𝟐) = 𝟎 Ce type consiste à appliquer la loi suivante :
Loi de MORGAN ̅⇒𝑷
[𝑷 ⇒ 𝑸 ] ⇔ [𝑸 ̅]
̅̅̅̅̅̅̅̅̅̅̅
➢ (𝐏 ̅ 𝐨𝐮 𝐐
𝐞𝐭 𝐐) ⇔ (𝐏 ̅) Pour montrer que la proposition 𝑷 ⇒ 𝑸 est vraie on montre que
̅̅̅̅̅̅̅̅̅̅̅̅
➢ (𝐏 𝐨𝐮 𝐐) ⇔ (𝐏 ̅)
̅ 𝐞𝐭 𝐐 la proposition 𝑸̅ ⇒𝑷 ̅ est vraie
Loi de transitivité EXERCICE 11 ;
9) ((𝐏 ⇒ 𝐑)𝐞𝐭( 𝐑 ⇒ 𝐐)) ⇔ (𝐏 ⇒ 𝐐) MONTRER QUE :
𝟑 𝒙−𝒚
((𝐏 ⇔ 𝐑)𝐞𝐭( 𝐑 ⇔ 𝐐)) ⇔ (𝐏 ⇔ 𝐐) 1) (∀𝒙 ∈ ℝ∗ )(∀𝒚 ∈ ℝ∗ ): (𝒚 ≠ − 𝒙) ⇒ ( ≠ 𝟕)
𝟒 𝒙+𝒚

E) Types de Résonnement 𝟏 𝟏
2) (∀𝒚 ∈ ℝ)(∀𝒙 ∈ ℝ)(∀𝒛 ∈ ℝ) ; (𝒙 + 𝒚 ≤ 𝒛 ⇒ 𝒙 ≤ 𝒛 𝒐𝒖 𝒚 ≤ 𝒛)
3) Résonnement déductif 𝟐 𝟐

Si P et (𝑷 ⇒ 𝑸) sont vraies alors Q est vraie 3) Pour tous 𝒏 ∈ ℕ : si 𝒏𝟐 est pair alors n est pair
EXERCICE 9 4) (∀𝒙 ∈ ℝ): (𝒙𝟐 + 𝒙 − 𝟐 ≤ 𝟎) ⇒ (𝒙 ≤ 𝟏)
∗
1) Montrer que∶ ∀ 𝐱 ∈ ℝ+ : 𝐱 + 𝟏 ≥ 𝟐√𝐱.
5) ∀(𝒏; 𝒌) ∈ (𝑰𝑵)𝟐 ; (𝒏𝟐 + 𝟏 = 𝒌𝟐 ) ⇒ (𝒌 > 𝒏)
𝟏
2) Montrer que :∀ 𝐱 ∈ ℝ∗+ : 𝐱 + ≥ 𝟐;
𝐱
 Prof : fayssal Site web : [Link] Chapitre 01: Notion de logique 1 Bac sc Page 05
4)Résonnement par disjonction des cas 6) Résonnement par récurrence
Ce type consiste à appliquer la loi suivante : Soit 𝒏 ∈ ℕ ; pour montrer que la proposition
[(𝑷 𝒐𝒖 𝑹) ⇒ 𝑸] ⇔ [𝑷 ⇒ 𝑸 𝐞𝐭 𝑹 ⇒ 𝑸] (∀𝒏 ≥ 𝒏𝟎 ); 𝒑(𝒏) est vraie , on montre que :
Pratiquement : Pour montrer que la proposition ➢ 𝒑(𝒏𝟎 ) est vraie
(∀𝒙 ∈ 𝑬); 𝒑(𝒙) est vraie on montre que 𝒑(𝒙) est vraie pour un partie ➢ La proposition (∀𝒏 ≥ 𝒏𝟎 ); (𝒑(𝒏) ⇒ 𝒑(𝒏 + 𝟏)) est vraie
A de E puis on montre que 𝒑(𝒙) est vraie pour les x n’appartenant EXERCICE 14:
pas à A
Montrer par récurrence que :
EXERCICE 12 1) ∀ 𝐧 ∈ 𝐍 ∗ : « 𝟏𝟎𝐧 − 𝟏 est divisible par 9 »
1) Soit 𝐧 ∈ ℕ ; Montrer que : 𝒏(𝒏 + 𝟏 )est un nombre impair 2) (∀𝒏 ∈ ℕ ) ; 𝟐𝒏 ≥ 𝒏
2) Montrer que : (∀𝒙 ∈ ℝ); 𝒙 − √𝒙𝟐 + 𝟏 ≤ 𝟎 𝐧(𝐧+𝟏)(𝟐𝐧+𝟏)
3)∀ 𝐧 ∈ 𝐍 ∗ : 𝟏𝟐 + 𝟐𝟐 + 𝟑𝟐 + ⋯ + 𝐧𝟐 =
3) Résoudre dans ℝ les équations suivants : 𝟔
F) Symboles : ∑ 𝒆𝒕 ∏
(𝑬𝟎 ): |𝟐𝒙 − 𝟔| − 𝟒 = 𝟎 ; (𝑬𝟏 ): √𝒙 − 𝟏 = 𝒙 − 𝟐
Soient 𝒏 ∈ ℕ et 𝒂𝟎 ; 𝒂𝟏 ; 𝒂𝟐 … . 𝒂𝒏 des nombres réels
4) Résoudre dans ℝ l’inéquation suivante(𝑰) ∶ √𝒙 − 𝟔 ≥ 𝒙 𝒌=𝒏
5) Etudier le signe de fonction f sur ℝ :𝒇(𝒙) = 𝟐𝒙 − 𝟏 − √𝒙𝟐 + 𝟏 ∑ 𝒂𝒌 = 𝒂𝟎 + 𝒂𝟏 + 𝒂𝟐 + ⋯ + 𝒂𝒏−𝟏 + 𝒂𝒏
6) Résonnement par l’absurde 𝒌=𝟎
𝒌=𝒏
Ce type consiste à appliquer la loi suivante :
̅ ⇒ (𝑸 𝐞𝐭 𝑸
[𝑷 ̅) ] ⇒ 𝑷 ∏ 𝒂𝒌 = 𝒂𝟏 × 𝒂𝟐 × … … .× 𝒂𝒏−𝟐 × 𝒂𝒏−𝟏 × 𝒂𝒏
Pour montrer que la proposition 𝑷 est vraie On suppose que 𝑷 ̅ est 𝒌=𝟏
Propriétés :
vraie et on montre que cela entraine une proposition
𝒌=𝒏 𝒌=𝒏 𝒌=𝒏 𝒌=𝒏 𝒌=𝒏
̅ ) (contradiction)
fausse (𝑸 et 𝑸 ∑(𝒂𝒌 + 𝒃𝒌 ) = ∑ 𝒂𝒌 + ∑ 𝒃𝒌 ; ∑(𝒂𝒌 + 𝒄) = ∑ 𝒂𝒌 + 𝒄(𝒏 + 𝟏)
Donc on conclut que 𝑷 est vraie 𝒌=𝟎 𝒌=𝟎 𝒌=𝟎 𝒌=𝟎 𝒌=𝟎

EXERCICE 13 • ∏𝒌=𝒏 𝒌=𝒏 𝒌=𝒏

𝒌=𝟏 (𝒂𝒌 × 𝒃𝒌 ) = ∏𝒌=𝟏 𝒂𝒌 × ∏𝒌=𝟏 𝒃𝒌
• ∏𝒌=𝒏 𝒏 𝒌=𝒏
𝒌=𝟏 (𝒄 × 𝒂𝒌 ) = 𝒄 × ∏𝒌=𝟏 𝒂𝒌
1) On considère un triangle 𝐀𝐁𝐂 tel que
𝐀𝐁 = 𝟒𝐚 , 𝐀𝐂 = 𝟑𝐚 et 𝐁𝐂 = 𝟕𝐚 ( 𝐚 > 𝟎). EXERCICE 𝟏𝟓
Montrer que 𝐀𝐁𝐂 n’est pas rectangle en 𝐀. 1) Montrer par récurrence que ∀𝒏 ∈ ℕ∗ :∑𝒌=𝒏
𝟏
=
𝒏
𝐧+𝟑 𝒌=𝟏 𝒌(𝒌+𝟏) (𝒏+𝟏)
2) Soit 𝐧 ∈ ℕ. Montrer que ≠𝟏 𝟏 𝟏 𝟏
𝐧+𝟓 ∗)
2) a) Montrer que : (∀𝒌 ∈ ℕ = −
𝒌(𝒌+𝟏) 𝒌 𝒌+𝟏
3) Montrer que √𝟐 ∉ ℚ
b) Retrouver la question 1) sans récurrence