Corrigé Fiche 1 : Notions de Logique & Méthodes de Raisonnement

Séance 1

Exercice 1
Décrire les parties de  qui sont définies par les propositions suivantes :
1)  x  0 et x  1 ou  x  0  2)  x  3 et  x  5  et  x  4 
3)  x  0 et x  1 ou  x  4  4)  x  0    x  2 

Solution de l’exercice1 :

1)  x  0 et x  1 ou  x  0 
E1   x   :  x  0 et x  1 ou  x  0 
=  x   :  0  x  1 ou  x  0 
 0,1  0   0,1

2)  x  3 et  x  5  et  x  4 
E2   x   :  x  3 et  x  5  et  x  4 
=  x   :  3  x  5  et  x  4   3,5  4  3, 4  4,5

3)  x  0 et x  1 ou  x  4 
E3   x   :  x  0 et x  1 ou  x  4 
car la proposition  x  0 et x  1 est toujours fausse
=  x   : x  4  4

4)  x  0    x  2 
E4   x   :  x  0    x  2 


= x   :  x  0   x  2 
=  x   :  x  0    x  2   , 0   2, 

Exercice 2
Compléter, lorsque c’est possible avec  ou  pour que les énoncés suivants soient vrais :
a)....x   :  x  1  x 2  2x  1
2

b)....x   : x 2  3x  2  0
c)....x   : 2x  1  0
b)....x   : x 2  2x  3  0

Solution de l’exercice 2 :
a)
L'égalité  x  1  x 2  2x  1 est vraie pour tout nombre réel (binôme de newton), on écrit alors:
2

Travaux Dirigés MATHS1. LMD Génie Maritime- USTO-MB Page 1

 Corrigé Fiche 1 : Notions de Logique & Méthodes de Raisonnement
Séance 1

x   :  x  1  x 2  2x  1 .
2

Et même x   :  x  1  x 2  2x  1 est aussi vraie

2

b)
L'égalité x 2  3x  2  0 n'est vraie que pour les valeurs  x  1 ou  x  2  , par conséquent on
écrit:
x   : x 2  3x  2  0

c)
1
L'égalité 2x  1  0 n'est vraie que pour la valeur x   , on donc :
2
x   : 2 x  1  0
d)
L'égalité x 2  2x  3  0 n'est jamais vraie, car le polynôme x 2  2x  3 n'a pas de racines réelles
(son discriminant   0 ), on peut donc écrire :
x   : x 2  2x  3  0 , et même x   : x 2  2x  3  0 sont toutes les deux vraies

Exercice 3
Les assertions suivantes sont-elles vraies ou fausses ? Donner leurs négation :
(a ) x   , y   : x  y  0 ; (b ) x   , y   : x  y  0

(c ) x   , y   : x  y  0 ; (d ) x   , y   : y 2  x

Solution de l’exercice 3

- L’assertion (a ) x   , y   : x  y  0 est fausse.

La négation :
x   , y   : x  y  0 ( est vraie car pour tout x   , le choix de y  x  2 convient au
moins)

- L’assertion (b ) x   , y   : x  y  0 est vraie (pour tout x   , le choix de

y   x  3 convient par exemple)
La négation :
x   , y   : x  y  0

- L’assertion (c ) x   , y   : x  y  0 est fausse (le choix de x  2, y  1 par

exemple, ne convient pas)
La négation :
x   , y   : x  y  0

- L’assertion (d ) x   , y   : y 2  x est vraie (le choix de x  4 par exemple convient)

Travaux Dirigés MATHS1. LMD Génie Maritime- USTO-MB Page 2

 Corrigé Fiche 1 : Notions de Logique & Méthodes de Raisonnement
Séance 1

La négation :
x   , y   : y 2  x

Exercice 4
- Montre par l’absurde que 2 
- Montrer par contraposée que :
soit n  * , si (n 2 -1) n'est pas divisible par 8 alors n est pair

- Montrer par récurrence que :

n
n   ,   2k  1   n  1
2

k 0

Solution de l’exercice 4

- Montre par l’absurde que 2 

On suppose donc que 2   et on doit aboutir à une contradiction (absurdité)

 

a 
2     2  , a  , b  *  , cette fraction est irreductible (a et b sont premiers entre eux)
b 
  2b  a , a  , b  * 
  2b 2  a 2 , a  , b  * 
  a 2 est pair  , (vu en cours)
  a est pair  , cela d'une part;

D’autre part, on a :
 a  2.k    2b 2  4k 2 
 b 2  2 k 2 
 b 2 pair 
 b pair 
Donc a et b sont tous les deux pairs ; ceci contredit l'hypothèse que : a et b soient premiers entre

eux. Donc notre hypothèse de départ 2   est fausse 
Conclusion : 2 

Travaux Dirigés MATHS1. LMD Génie Maritime- USTO-MB Page 3

 Corrigé Fiche 1 : Notions de Logique & Méthodes de Raisonnement
Séance 1

- Montrer par contraposée que :

soit n  * , si (n 2 -1) n'est pas divisible par 8 alors n est pair

Un raisonnement par contraposée revient à démontrer que :  n impair   8 divise (n 2

-1) 
En effet, on a :
 n impair    n  2k  1 / k  
  n 2  1  4 k 2  4k 
  n 2  1  4k  k  1  , puisque le produit de deux entiers
naturels consécutifs est toujours pair
  n 2  1  4.2.k   / k     c.à.d k ( k  1 )  2.k  
  n2  1  8.k  
  8 divise (n 2 -1) 

- Montrer par récurrence que :


M1
  M2


n
n   :   2k  1   n  1
2

k
0 
P (n)
Etape(1) :
Vérifier P  0  , c'est-à-dire montrer que M 1  M 2 .
0
On a M1    2k  1   2.0  1  1
k 0

M 2   0  1  1 donc M1  M 2 d’où P(0) est vraie

2

Etape(2) :
n
  2k  1   n  1
2
Supposer que P(n) est vraie , c’est à dire ; et montrer que P(n  1) reste vraie,
k 0

M1
 M2

n 1
donc :   2k  1   n  2 
2

k 0
Montrons P(n  1) , c'est-à-dire montrer que M 1  M 2
On a :
n 1
M1    2k  1
k 0
n
   2k  1   2n  3
k 0

Travaux Dirigés MATHS1. LMD Génie Maritime- USTO-MB Page 4

 Corrigé Fiche 1 : Notions de Logique & Méthodes de Raisonnement
Séance 1

  n  1   2n  3 d’après l’hypothèse de récurrence P  n 

2

M 1  n 2  2 n  1   2n  3 
 n 2  4n  4
  n  2
2

 M2
donc M1  M 2 , par conséquent P  n  1 est vraie.

Conclusion :
n
n  * ,  2 k 1   n 1 
2

k 0

Travaux Dirigés MATHS1. LMD Génie Maritime- USTO-MB Page 5