0% ont trouvé ce document utile (0 vote)
291 vues1 page

Logique Debbagh

Ce document contient des exercices de logique portant sur la négation de propositions, l'implication, l'équivalence, le raisonnement par l'absurde, le raisonnement par disjonction des cas, le raisonnement par déduction et le raisonnement par récurrence.

Transféré par

Noelle Silva
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
0% ont trouvé ce document utile (0 vote)
291 vues1 page

Logique Debbagh

Ce document contient des exercices de logique portant sur la négation de propositions, l'implication, l'équivalence, le raisonnement par l'absurde, le raisonnement par disjonction des cas, le raisonnement par déduction et le raisonnement par récurrence.

Transféré par

Noelle Silva
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

Lycée : Série n

o 1 Prof:DEBBAGH YOUNESS

Mohamed Aabd Aljabri Notions de logique 1er Année bac Sc exp

Négation d'une proposition et valeur de vérité

exercice 1 : exercice 6:
1). Donner la négation des propositions suivantes : 1). Soient a, b et c des nombres réels :

P1 (∀(a, b) ∈
: : R2 ) a2 +b2
≥ ab ou |a|+|b| ≥ |a+b|. Montrer que : a + b > 2c ⇒ a > c ou b > c.
P2 : (∃n ∈ Z) : n + 1 > n2 . 2). Montrer que :

P3 : (∀n ∈ R) : n ∈ Z ⇒ n ∈ N.
3 x−y
(∀(x, y) ∈ R2∗ ) : y 6= − x ⇒ 6= 7.
P4 : (∀x ∈ R)(∃n ∈ N) : x < n.
4 x+y √
+ x
3). Montrer que : (∀x ∈ R ) : x 6= 4 ⇒ x − 1 6=
P5 : (∀x ∈ R) : x > 4 ⇒ x > 2. 4.
4). Montrer que : (∀x ∈ R) :
P6 : (∀n ∈ N) : (n est pair) ou (n est impair).
x2 + y 2
P7 : (∀n ∈ N : n est pair) ou (∀n ∈ N : n est impair). x 6
= 1 ou y 6= 1 ⇒ 6= x + y − 1.
√ 2
5
P8 : (∃x ∈ R) : cos(x) = .
2 Raisonnement par l'absurde
2). Déterminer la valeur de vérité des propositions

précédentes. exercice 7 :
√ x2
exercice 2 : Implication et équivalence 1). Montrer que : (∀x ∈ R∗ ) :
1 + x2 6= 1 + .
2
Soient x∈R et y ∈ R. 2).
2
Montrer que : (∀x ∈ R) : x + 1 6= 2x − 1.
x2 +y 2 ∗ 2
1). Montrer que : = xy ⇔ x = y .
2 3). Soit a ∈ N , montrer que n + 1 n'est pas un

2). Montrer que : 1 + xy = x + y ⇔ x = 1 ou y = 1. carré parfait.



3). Soit x ∈ R : montrer que : x +
1
x > 0 ⇔ x > 0. 4). Soit f une fonction strictement croissante sur un
2
4). Soient (x, y) ∈ R+ . Montrer que :
√ intervalle I et soient a et b deux éléments de I, tels

(x + y + 2 = 2 x + 2 y) ⇒ (x = y = 1). que : f (a) = f (b), montrer que a = b.
5). Montrer que :
1 √
(∀x ∈ R+ ) : √ = 1 − x ⇒ x = 0. Raisonnement par disjonction des cas
1+ x
exercice 8 :
Raisonnement par contre-exemple
x2 + 1
1). Montrer que : (∀x ∈ R) : |x| ≤ .
exercice 3 : 2
2). Montrer que :
Montrer à l'aide d'un raisonnement par contre-exemple

que les propositions suivantes sont fausses :


(∀x ∈ R) : x = 2 ou y = 2 ⇒ xy + 4 = 2y + 2x.
3). Résoudre les équations suivantes :
Q1 : (∀n ∈ N∗ ) : n2 + n + 1 est un entier premier.
Q2 : (∀n ∈ N) : n2 + n + 41 est un entier premier. (a). |x − 2| = 2x + 4.
Q3 : (∀x ∈ R) : x2 + x ≥ 0. (b). x2 + 2|x − 1| − 1 = 0.
(c). |x − 2| + |x − 1| + |x| = 3.
2
4). Montrer que : (∀x ∈ R) : |x − 1| < x + x + 3.
exercice 4 : Raisonnement par équivalence

Montrer les propositions suivantes :


9
P : (∀x ∈ R∗+ ) : x + ≥ 6. Raisonnement par récurrence
x
Q : (∀x ∈ R) :
exercice 9 :
(cos(x) + sin(x))2 − 1
= cos(x) · sin(x). Montrer les propositions suivantes :
2 n(n + 1)
x2 + 1 1). (∀n ∈ N∗ ) : 1 + 2 + · · · + n = .
R : (∀x ∈ R) : ≥ x. 2
2 n(n + 1)(2n + 1)
∗ 2 2
2). (∀n ∈ N ) : 1 +2 +· · ·+n =
2 .
6
Raisonnement par déduction
∗ 2 n 3n+1 − 1
3). (∀n ∈ N ) : 1 + 3 + 3 · · · + 3 = .

5:
exercice n
2
4). (∀n ∈ N) : 6 − 1 est un multiple de 5.
a et b deux nombres 2 2
Soient
√ réels tels que a +b = 1. n
5). (∀n ∈ N) : 4 + 6n − 1 est un multiple de 9.
Montrer que : |a + b| ≥ 2. 2n
6). (∀n ∈ N) : 3 − 2n est un multiple de 7.

7). (∀n ∈ N − {1}) : 9
n−1 − 1 est un multiple de 8.

Raisonnement par contra-posé

Année Scolaire: 2020/2021 1 Gmail : [email protected]

Vous aimerez peut-être aussi