19-2020 Exercices de logique

Exercice 1 Exercice 5
Montrer que chacune des propositions suivantes En utilisant un raisonnement par contraposée
est fausse en justifiant par un contre-exemple montrer que :
i) ( ∀ (a,b ) ∈ ℝ ) (a + b ) = a + b
2
2
2 2
(∀ (a,b ) ∈ ℝ ) : (a ≠ −1 et b ≠ −1) ⇒ ab + a + b ≠ −1
2

ii ) ( ∀ ( x , y ) ∈ ℝ ) x + y = x + y
2

cos 2α


( )    ( ) (
 ∀ x , y ∈ 2, +∞ 2  : x ≠ y ⇒ x 2 + 4x ≠ y 2 + 4y
)
iii ) ( ∀α ∈ ℝ ) = cos α
2 ( )
 ∀x ∈ ℝ :a < x ⇒ b ≤ x  ⇒ a ≥ b
  ( )
Exercice 2
Exercice 6
Déterminer la négation des propositions
suivantes et donner leurs valeurs de vérité 1) soient a , b et c des entiers relatifs .

( )(
p " ∃x ∈ ℤ ∃y ∈ ℤ ) 2x − 3y = 2 " on considère l’équation E ( ) ax 2 + bx + c = 0

q " ( ∀y ∈ ℝ )( ∃x ∈ ℝ ) x 2 + xy + y 2 = 0 " Montrer que si c est impair alors l’équation E ( )

 1 3   n’admet pas de solution pair
( )
r " ∀x ∈  0,2   ∃y ∈  ,   xy − x + 2y − 1 = 0 "
2 4  
4x − 2y < 0
 2) montrer que le système  n’admet
Exercice 3 y − 2x ≤ −3
pas de solution dans ℝ 2
Dans chacun des cas suivant , déterminer la 3)
proposition vraie parmi les deux propositions
P ; Q

(
1) P " ∀x ∈ ℕ )( ∃y ∈ ℕ ) y = 2x + 1 "
Q " ( ∀x ∈ ℕ )( ∃y ∈ ℕ ) x = 2y + 1 "

2) P " ( ∀x ∈ ℤ )( ∃y ∈ ℤ ) x − y = 3 "

Q " ( ∀x ∈ ℤ )( ∃y ∈ ℤ ) x − y = 3 "

3) P " ( ∃x ∈ ℚ )( ∃y ∈ ℚ ) y = x "
Exercice 7
Q " ( ∃x ∈ ℚ ) x = 3 " 2

Soient x , y et z des réels strictement positifs

Exercice 4
tels que x + y + z = 1 montrer que :
1) soient a et b deux réels .
x + y + z ≤ 3
Montrer que :
( (∀x ∈ ℝ ) ax + b = 0 ) ⇒ ( a = 0 et b=0 ) Exercice 8
Soient a , b et c les mesures des cotés d’un
2) soient a et b deux réels non nuls .
triangle ABC montrer que :
Montrer que : ( 1
2x + 4y = 1 ⇒
x + y2
2 )
≤ 20
1) (a 3
) (
+ b 3 + c 3 = 3abc ⇔ ABC équilateral )
3) soient a , bet c trois réels , c > 0 3 a b c
2) ≤ + + <2
Montrer l’implication : 2 b +c c +a a +b

( a + b ≤ c et a − b ≤ c ⇒ ab ≤ ) c2
2 proposée par : HIBA OUSSI