Bac1 - IngéCo - UE  Mathématique approfondie et Statistique 1 

AA1 : Mathématique (11UMQ40A)

Chapitre 1 : Logique mathématique - 2022-2023 - Jean-Yves Gantois.
Exercices
Merci à Pierre JOB qui est notamment l'auteur de plusieurs exercices

Série 1
1. Parmi les phrases suivantes, lesquelles sont des assertions ? Lesquelles sont des proposi-
tions ?
(a)  Benoît Poelvoorde est un bon acteur 
(b)  Raymond Devos est un humoriste 
(c)  La population de l'ICHEC est-elle en croissance ? 
(d)  Aucun gagnant n'a tenté sa chance 
(e)  Le cours de mathématiques est chouette 
(f)  Les extra-terrestres existent 
(g)  Pierre trouve François Damiens très drôle .
2. Analysez la structure logique des propositions suivantes :
(a)  John va au magasin ou nous n'avons pas d'oeufs 
(b)  Pierre travaille et Anne ne travaille pas, ou Anne travaille et Pierre ne travaille
pas .
(c)  John et Bill disent tous les deux la vérité ou aucun d'eux ne la dit .
(d)  S'il pleut et si je n'ai pas de parapluie, alors je serai mouillé .
(e)  Mary va vendre sa maison seulement si elle en obtient un bon prix et qu'elle trouve
un bel appartement .
3. Construire la table de vérité pour les propositions suivantes :
(a) P ∧ Q
(b) P ∨ Q
(c) P ⇒ Q
(d) P ∧ Q
(e) P ⇒ Q
4. Construire l'expression formelle de la disjonction exclusive de deux propositions P et Q
et construire sa table de vérité.
5. Parmi les propositions suivantes, lesquelles sont fausses ?
(a) 16 est divisible par 3 ou par 4.
(b) Socrate est un philosophe et il est grec.
(c) 0 est égal à 0 · 3 ou à ln 1.
6. Construire les tables de vérité des propositions suivantes :
(a) p ∧ (p ∨ q)
(b) (p ∧ p) ∨ q
Que pouvez-vous en conclure quant à l'utilisation des parenthèses dans les propositions ?

1
 7. Construire l'expression formelle de l'équivalence de deux propositions P et Q et construire
sa table de vérité.
8. Vérier par une table de vérité que :


(P ⇒ Q) ⇔ Q ⇒ P

9. Vérier par une table de vérité qu'une implication et sa réciproque ne sont pas équiva-
lentes.
10. Des parents disent à leur enfant :
Si tu ne manges pas tes chicons, tu n'auras pas dessert !
L'enfant mange ses chicons et les parents ne donnent pas de dessert à l'enfant ! Les parents
ont-ils trahi leur engagement ?
11. Dans quel(s) cas la proposition suivante est-elle incorrecte ?


(P ⇒ Q) ⇔ P ⇒ Q

12. Soient trois réels x, y , z parmi lesquels il y en a un qui vaut 0 tandis que les deux autres sont
de signes contraires. On suppose que les trois implications suivantes sont simultanément
vraies :
(a) x = 0 ⇒ y > 0
(b) x > 0 ⇒ y < 0
(c) y 6= 0 ⇒ z > 0
Déterminer le réel qui est nul et celui qui est strictement positif.
13. Déterminez quelles propositions parmi les suivantes sont équivalentes à  Si l'ination
augmente, alors le chômage diminue .
(a) Pour que le chômage diminue, l'ination doit augmenter.
(b) Une condition susante pour que le chômage diminue est que l'ination augmente.
(c) Le chômage diminue seulement si l'ination augmente.
(d) L'ination diminue ou le chômage diminue.
(e) Si le chômage ne diminue pas, alors l'ination n'augmente pas.
(f) Une condition nécessaire pour que l'ination augmente est que le chômage diminue.
14. Parmi les énoncés suivants, lesquels sont équivalents ? Justiez.
(a) S'il pleut ou neige, le match est remis.
(b) Si le match n'est pas remis, il n'a ni plu ni neigé.
(c) Si le match est remis, il a plu ou il a neigé.
(d) S'il n'a ni plu ni neigé, le match n'est pas remis.
15. Démontrer que
((P ⇒ Q) ∧ (Q ⇒ R)) ⇒ (P ⇒ R)
16. Les armations suivantes sont-elles correctes ?
(a) Q ⇒ (P ∧ (P ⇔ Q))
(b) (P ∧ (P ⇒ Q)) ⇒ Q
(c) (P ⇒ (Q ⇒ R)) ⇔ ((P ⇒ Q) ⇒ (P ⇒ R))

2
 Série 2

1. Analysez la structure logique des propositions suivantes :

(a)  Dans N, si x est divisible par 4 ou par 6, x n'est pas un nombre premier .
(b)  Dans N, si x 6= 2, une condition nécessaire pour qu'il soit premier est qu'il soit
impair .
2. Formalisez puis niez formellement les propositions suivantes avant de traduire en français
ces négations :
(a) Tous les hommes sont mortels.
(b) S'il pleut, je lis ou je vais au cinéma.
(c) En septembre, tous les jours, il a plu et il y a eu du brouillard.
(d) Si tu travailles 4h par jour et si on dit de toi que tu es doué, alors tu réussiras
l'examen de philosophie.
(e) Dans toute école, il y a un étudiant qui n'aime aucun professeur.
3. Que signient les propositions suivantes ? Sont-elles vraies ? Sont-elles équivalentes ? Que
pouvez-vous en conclure quant à l'ordre des quanticateurs ?
(a) (∀x ∈ N) (∃y ∈ R) : y > x
(b) (∃y ∈ R) (∀x ∈ N) : y > x
4. Construire la négation de :
(a) (∀x) (f (x) ∨ g (x))
(b) (∀x) (∃y) (f (x) ∧ g (y))
(c) (∃x) (∀y) (f (x) ⇒ g (y))
5. Dans un livre de mathématique, il est écrit ceci :
Soit f une fonction dérivable sur un intervalle I et soit c un point intérieur de I .
Pour que c corresponde à un maximum ou un minimum pour f sur l'intervalle
I , une condition nécessaire est que c soit un point stationnaire de f .
(a) Formalisez la proposition extraite du livre.
(b) Niez la proposition formalisée.
(c) Donnez la contraposée de la proposition formalisée.
(d) Donnez la réciproque de la proposition formalisée.
(e) Montrez à l'aide d'un contre-exemple que cette réciproque est fausse.
6. Déterminez, parmi les propositions ci-dessous laquelle est la négation de  Tous les gui-
chets sont ouverts tous les jours  ?
(a) Il y a un jour où tous les guichets sont fermés.
(b) Il y a au moins un guichet qui est fermé au moins un jour.
(c) Tous les guichets sont fermés tous les jours.
(d) Chaque guichet est fermé au moins un jour.
7. Entre chacune des deux propositions données successivement ci-dessous, déterminez s'il
y a une implication (dans quel sens), une équivalence ou ni l'une ni l'autre. Formalisez
ensuite votre réponse.
(a)  Cette gure est un triangle  contre  Cette gure est un polygone 

3
 (b)  Cette gure est un carré  contre  Cette gure est un losange 
(c)  Cette gure est un rectangle  contre  Cette gure est un losange 
(d)  Ce quadrilatère a quatre angles droits  contre  Ce quadrilatère est un carré 
(e)  Ce nombre est multiple de 25  contre  Ce nombre est multiple de 5 
8. Déterminer si les armations suivantes sont vraies pour tout x ∈ R. Si l'une est fausse,
la rectier.
(a) Si x > 2, alors x2 > 4
(b) Si x2 > 1, alors x > 1
(c) Si |x − 4| < 2, alors x < 6
√ 1
(d) Si 0 < x < 1, alors x<
x
1
(e) Si x < −1, alors x <
x
(f) Si −1 < x < 2, alors 1 < x2 < 4
1 1
(g) Si > − , alors x < −2
√ x 2
(h) 2
x =x
√ 2
(i) ( x) = x
√
(j) Si ln 0 = 1, alors −7 > 0
9. Dans R, déterminez la valeur de vérité des propositions suivantes :
a) 5 6 5
b) (∀x) x2 = 4 ⇒ x = 2
c) (∀x) x2 = 4 ⇒ x = −2
d) (∀x) x2 = 4 ⇒ x = 2 ou x = −2
√
e) (∀r) r + 2 < r − 3 ⇒ (r + 2)2 < r − 3
√
f) (∀r) r − 4 < r − 3 ⇒ (r − 4)2 < r − 3
√
g) (∀r) (r − 4)2 < r − 3 ⇒ r − 4 < r − 3
10. Formalisez les propositions suivantes :
(a) La fonction ex a une dérivée égale à elle-même.
(b) Si deux fonctions f et g sont égales, alors les limites de f et g en a sont égales dès
qu'une des deux existe.
(c) x est plus proche de a que y .
(d) x est aussi proche de a que y .
(e) Lorsque x est plus proche de a que y , l'image par f de x est plus proche de f (a) que
l'image par f de y .
(f) x est aussi proche qu'on veut de a.
(g) On peut rendre f (x) aussi proche qu'on veut de A pour tout x susamment proche
de a.
11. Considérons une fonction f d'une variable réelle à valeurs réelles et deux réels a et b xés.
Niez la proposition suivante :
∀ > 0 ∃δ > 0 ∀x ∈ Domf : |x − a| < δ ⇒ |f (x) − b| < .

4
 Série 3
1. Soit f une fonction de R dans R. Si tous les réels ont un antécédent quelle est la réponse
correcte parmi les suivantes ?
(a) Domf = R et Imf = R
(b) Domf 6= R ou Imf = R
(c) Domf = R et Imf 6= R
(d) Domf 6= R ou Imf 6= R
(e) Aucune des réponses précédentes.
2. Soit f une fonction de R dans R dont l'ordonnée à l'origine est 5. Quelle réponse parmi
les suivantes peut-elle être déduite de cette information ?
(a) 5 appartient à Domf .
(b) Il est possible que le seul antécédent de 5 soit 1.
(c) Imf n'est pas R.
(d) Domf n'est pas R0 .
(e) Aucune des réponses précédentes.
3. Soit f une fonction de R dans R. Pour chaque armation ci-dessous, préciser si elle est
vraie. Si elle est fausse, donner un contre-exemple.
(a) Si Domf = R, alors Imf = R.
(b) Si Imf = R, alors Domf = R.
(c) Si Domf 6= R, alors Imf 6= R.
4. Démontrer que pour tout entier a, si a2 est pair, alors a l'est aussi.
√
5. Démontrer que 2 n'est pas rationnel.