Prof: HICHAM ROUIOUIH La Logique Ahmed Al Bouanani

Niveau : 1BACSE Semestre 1 Année scolaire: 2022 − 2023

Exercice 1
Ecrire à l’aide des quantificateurs et les connecteurs logiques les propositions suivantes :

ˆ Le cube de tous les réels est positif.
ˆ Pour tout réel x, il existe un unique entier relatif p tel
que p ≤ x < p + 1.
ˆ Il existe un rationnel dont le carré vaut 2.
ˆ Tout entier naturel est pair ou impair.
ˆ Certains réels sont strictement supérieurs à leur carré.
ˆ Etant donné trois réels, il y en a au moins deux de même
signe.
ˆ Le produit de deux réels est nul si et seulement si au
moins l’un d’entre eux est nul.
ˆ Si un nombre réel est inférieur à 1 alors il est strictement
négatif.
ˆ L’équation sinx = x a une et une seule solution réelle.

Exercice 2
Donner la négation et la valeur de vérité des propositions suivantes :
√
ˆ (P1 ) : ( 2 = 4) et (∃x ∈ R : 5x7 − x5 + 8x3 + 1 = 0). ˆ (P7 ) : (∃x ∈ Q : x2 − 2 = 0).
n n
ˆ (P2 ) : (3 ∈ N) ou (∀n ∈ N : ∈ N). ˆ (P8 ) : (∀n ∈ N) : ∈ N.
n+2 2
ˆ (P3 ) : π ∈ Q ⇒ (∃x ∈ R : πx ∈ Q). ˆ (P9 ) : (∃!x ∈ R) : x2 − 4 = 0.
ˆ (P4 ) : (∀x ∈ R) : (1 < x < 2 ⇒ x = 2). ˆ (P10 ) : (∀x ∈ R)(∃y ∈ R) : (x2 + xy + y 2 = 0).
ˆ (P5 ) : (∀x ∈ R : x2 > 0).
ˆ (P ) : (∀x ∈ R)(∃y ∈ R) : (x + y > 0).
ˆ (P6 ) : (∀x ∈ R)(∃y ∈ R) : (x ≤ y ou (x3 + xy 2 − y 3 + 5 = 0). Haitam CHEDDADI
11

ˆ (P12 ) : (∀x ∈ R)(∃y ∈ R) : (y ⩽ x < y + 1).

Exercice 3

1. Soit x un réel.

1 2 1 2 (b) A-t-on l’équivalence ?

(a) Montrer que |x − 1| < ⇒ < < .
2 5 x+1 3

2. En utilisant le raisonnement par contraposée montrer que :

1 √ (c) (∀(a; b) ∈ R2 ) : (a ̸= b et a+b ̸= 2) ⇒ a2 −2a ̸= b2 −2b.

(a) (∀x ∈ R) (x ̸= 0 ⇒ √ ̸= 1 − x).
1+ x
3 x−y √ x
(b) (∀(x; y) ∈ R2 ) : y ̸= − x ⇒ ̸= 7. (d) (∀x ∈ R) (x ̸= 0 ⇒ x + 1 ̸= 1 + ).
4 x+y 2

Exercice 4

1. Résoudre dans R les équations suivantes :

|x − 2| + x − 4 = 0 ; x2 − |x − 2| + 5 = 0 ; |x| + |x − 1| − |x − 2| = 7 ; |x2 − 3x + 2| + |2x − 1| = 3
√
2. En utilisant la disjonction des cas montrer que : (∀x ∈ R) : x2 + 1+x > 0; (∀(x; y) ∈ R2 ) : x2 +xy +y 2 > 0.

Exercice 5
Soit n un entier naturel, montrer par récurrence que :
n2 (n + 1)2
1) (∀n ∈ N∗ ) : 1 + 23 + 33 + .... + n3 = 2) (∀n ≥ 4) : n2 ≤ 2n
4
1 1 1 n
3) (∀n ≥ 3) : + + .... + = 4) (∀n ∈ N) : 6 divise n(n2 + 5)
1×2 2×3 n(n + 1) n+1