ClassePréparatoire1èreannée ENSSEA 2020/2021

Abderrahim.N et Boutinzar.H

Module : Algèbre 1

Correction de la série n°1 : Eléments de logique mathématique

Exercice 1 :
1. (2<3) et (2 divise 4)
On a : (2<3) est vraie, (2 divise 4) est vraie d’où (2<3) et (2 divise 4) est vraie.
2. (2<3) et (2 divise 5)

On a: (2<3) est vraie, (2 divise 5) est fausse d’où (2<3) et (2 divise 5) est fausse

3. (2<3) ou (2 divise 5)

(2<3) est vraie, (2 divise 5) est fausse, d’où : (2<3) ou (2 divise 5) est vraie

4. (2<3) et non (2 divise 5)

(2<3) est vraie, non (2 divise 5) est vraie d’où : (2<3) et non (2 divise 5) est vraie

5. (2<3) ou non (2 divise 5) est vraie, car (2<3) est vraie, non (2 divise 5) est vraie

Exercice 2 :
P, Q et R trois propositions

1. Montrons que : non (P ou Q) non (P) et non (Q)

Soit la table de vérité suivante :

P Q P ou Q Non (P ou Q) Non P Non Q Non (P) et non (Q)

V V V F F F F
V F V F F V F
F V V F V F F
F F F V V V V

D’après la 4ème et la 7ème colonne on constate que : non (P ou Q) et (non (P) et non (Q)) sont vraies
simultanément ou fausses simultanément, donc elles sont équivalentes.

2. Montrons que : (P ou (Q et R)) (P ou Q) et (P ou R)

Soit la table de vérité suivante :

1
 P Q R Q et R P ou (Q et R) P ou Q P ou R (P ou Q) et (P ou R)
V V V V V V V V
V V F F V V V V
V F V F V V V V
V F F F V V V V
F V V V V V V V
F V F F F V F F
F F V F F F V F
F F F F F F F F

En comparant la 5ème et la 8ème colonne, on constate que (P ou (Q et R)) et ((P ou Q) et (Pou R)) sont vraies
simultanément et fausses simultanément, elles sont donc équivalentes.

Exercice 3 :
P, Q et R trois propositions

1.

Remarque : le symbole « » signifie « équivaut à » ou « identique à »

2.

Exercice 4 :
Notons :

: L’ensemble des étudiants qui sont bons en mathématique

: L’étudiant est bon en statistiques

: L’étudiant opte pour la spécialité statistique appliquée

La phrase « Tous les étudiants qui sont bons en mathématiques sont bons en statistiques et optent pour la
spécialité statistique appliquée. » s’écrit en langage mathématique :

Sa négation :

C’est à dire : il existe au moins un étudiant qui est bon en mathématique, qui n’est pas bon en statistiques ou
n’opte pas pour la spécialité statistique appliquée.

Exercice 5 :
: J’ai mon permis de conduire

: J’ai plus de 18ans.

est vraie, car si j’ai mon permis de conduire alors nécessairement j’ai plus de 18ans.

2
 est fausse, car on peut trouver une personne ayant plus de 18 ans mais n’ayant pas son permis de
conduire.

Conclusion : et ne sont pas équivalentes.

Exercice 6 :
: « Pour tout nombre réel, il existe au moins un entier naturel supérieur ou égal à »

1. Ecriture de avec des quantificateurs :

2. Sa négation :

Non : il existe au moins un réel , pour tout entier naturel ,

Exercice 7 :
: {Etudiants}

: {Jours de la semaine}

: L’heure de réveil de l’étudiant x le jour j

: « Tout étudiant se réveille au moins un jour de la semaine avant 8h » s’écrit

Sa négation :

En français : il existe un étudiant qui se réveille tous les jours de la semaine au plutôt à 8h (à 8h ou plus tard).

Exercice 8 :
1.

vraie.

Soit il suffit de prendre Pour avoir

D’où est fausse

2. :

Pour tout , il suffit de prendre . Donc est vraie

3.

est fausse. On a un contre-exemple

4.

est vraie car il suffit de prendre alors

3
Exercice 9 :

a)
b)
c) ou
d)

Exercice 10 :
Montrons par récurrence sur que : ……

Pour la proposition est vraie (on a )

Supposons que est vraie et montrons que est vraie

Montrons que

On a :

D’où : et par
hypothèse de récurrence, on a , on a bien

D’où :

Exercice 11 :
Pour on a les deux propriétés suivantes :

1. Montrons que pour tout

 On a :

Comme est divisible par 3 (car vraie) alors tel que : D’où

ce qui montre que est divisible par 3.

D’où : est vraie.

 On a :

Comme est divisible par 3 (car est vraie) alors D’où

ce qui montre que est divisible par 3.

D’où est vraie.

2. Montrons que est vraie pour tout

Pour , 3 divise . D’où est vraie.

4
De plus d’après la question 1, on a montré que D’où est vraie pour tout d’après le
principe du raisonnement par récurrence.

3.

C’est-à-dire à partir d’un certain rang , est vraie

Supposons qu’il existe est vraie

On a alors : 3 divise ( ) (car est vraie pour tout , donc en particulier pour )

Et 3 divise (car on a supposé vraie).

D’où 3 divise

Or le seul diviseur premier de est 2, ce qui donne une contradiction.

Conclusion : l’assertion est fausse d’après le principe de raisonnement par

l’absurde.

Exercice 12 :

1.
Montrons par l’absurde que : non premier admet un diviseur premier inférieur ou égal à .

Supposons que n’est pas premier et n’admet pas de diviseurs premiers inférieurs ou égaux à , c'est-à-dire
que tous ses diviseurs premiers sont supérieurs à .

On a que : non premier

Supposons sans perte de généralité que est le plus petit diviseur de .

Par ailleurs, on sait que tout nombre supérieur ou égal à 2 a un diviseur premier inférieur ou égal à

On a donc : est premier car sinon il admet un diviseur autre que et 1, et dans ce cas-là, ce diviseur de est
aussi diviseur de , ce qui contredit le fait que est le plus petit diviseur de .

D’où :

Ce qui donne : absurde.

Donc : non premier admet un diviseur premier inférieur ou égal à .

2. Application aux nombres 89, 167 et 191

On utilise la contraposée de l’implication c’est-à-dire :

n’admet pas un diviseur premier inférieur ou égal à

5
Les nombres premiers inférieurs ou égaux à sont 2, 3, 5 et7, et aucun d’eux ne divise 89.

D’où 89 est premier

Les nombres premiers inférieurs ou égaux à sont 2, 3, 5, 7, 11, et aucun d’eux ne divise 167.

D’où 167 est premier

191 n’est pas divisible par 2, 3, 5, 7, 11, 13.

D’où 191 est premier

Exercice 13 :
Soit , Montrons que soit 4 divise , soit 4 divise .

1er cas : si est pair alors : . D’où , donc 4 divise

2ème cas : si n est impair alors : D’où

Donc D’où 4 divise

Remarque :

On a utilisé le mode de raisonnement cas par cas