BEM | Management School - Abidjan

Année Académique
Mathématiques - 1ère Année de Bachelor 1
2021-2022
Semestre 1

TD1 de Logique

Exercice 1
En notant P, Q et R les trois affirmations suivantes :
P= « Pierre fait des maths »
Q= « Pierre fait de la Chimie »
R= « Pierre fait de l’Anglais »
Représenter les affirmations qui suivent sous forme symbolique, à l’aide des lettres P, Q , R et
les connecteurs usuels

(1) « Pierre fait des maths et de l’Anglais mais pas de Chimie »

(2) « Pierre fait des Maths et de la Chimie mais pas à la fois de la chimie et de l’Anglais »
(3) « Il est faux que Pierre fasse de l’Anglais sans faire de Maths »
(4) « Il est faux que Pierre ne fasse pas des Maths et fasse quand même de la chimie »
(5) « Il est faux que Pierre fasse de l’Anglais ou de la chimie sans faire des Maths »
(6) « Pierre ne fait ni Anglais ni chimie mais il fait des Maths »

Exercice 2
Soit f une formule dépendant de trois atomes P, Q R qui possède deux propriétés :

• f (P, Q, R) est vraie si P, Q et R sont toutes les trois vraies

• la valeur de vérité de f (P, Q, R) change quand celle d’une seule des trois variables change

Construire la table de vérité de f et déterminer une formule possible pour f .

Exercice 3

(1) Construire la table de verité de chacune des propositions suivantes et conclure quant à leur
nature :
(a) P ∨ ¬(P ∧ Q)
(b) (P ∧ Q) ∧ ¬(P ∨ Q)
(2) Montrer que
(a) la disjonction est distributive par rapport a la conjonction : P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧
(P ∨ R)
(b) l’operation de disjonction peut être écrite en fonction des operations de conjonction
et de negation :
(P ∨ Q) ≡ ¬(¬P ∧ ¬Q)
(3) Demontrer les lois de Morgan :
(a) ¬(P ∨ Q) ≡ ¬P ∧ ¬Q
(b) ¬(P ∧ Q) ≡ ¬P ∨ ¬Q
(4) Montrer que
1
BEM | Management School - Abidjan 2021-2022
(a) « P implique Q » et « Q implique P » est logiquement equivalent à « P si et seulement
si Q »
(b) P ⇔ Q peut être écrite à l’aide des trois connecteurs ∧, ∨ et ¬.
Exercice 4
Tester la validité de l’argument suivant :
Si j’étudie, alors je n’échouerai pas en mathématiques
Si je ne joue pas au basketball, alors j’étudierai
Mais j’ai échoué en mathématiques
Donc, je joue au basketball.
Exercice 5
Ecrire la négation des propositions suivantes :
1. Toutes les voitures rapides sont rouges;
2. il existe un mouton écossais dont au moins un côté est noir;
3. Pour tout  > 0, il existe q ∈ Q∗+ tel que 0 < q <  ;
1. Tout triangle rectangle possède un angle droit
2. Dans toutes les prisons tous les détenus détestent tous les gardiens
3. Pour tout entier x il existe un entier y tel que pour tout entier z la relation z < y implique
la relation z < x + 1.
Exercice 6
Evaluer les formules suivantes en considérant uniquement les valeurs des variables données:
(1) Q ⇒ (P ⇒ R), avec Q = F
(2) P ∧ (P ∨ Q), avec Q = V
(3) P ∨ (Q ⇒ R), avec R = F
Exercice 7
(1) En utilisant les tables de vérité, démontrer que
(P ⇒ Q et Q ⇒ R) ⇒ (Q ⇒ R); ¬(P ∨ Q) ⇔ ¬P ∧ ¬Q; ¬(P ∧ Q) ⇔ ¬P ∨ ¬Q
(2) Démontrer que ((P ⇒ Q) ∨ (Q ⇒ R)) ⇒ ((P∨Q) ⇒ R)
(3) La formule suivante est-elle une tautologie? ((P ∧ ¬(P ∨ Q)) ∧ ¬R)
(4) La formule suivante est-elle une tautologie ? Justifier en utilisant un raisonnement par
l’absurde : (A ⇒ (B ⇒ C)) ⇒ ((A ∨ B) ⇒ C)
(5) Montrer par deduction naturelle que (A ⇒ B) ∧ (A ⇒ ¬B) ⇒ ¬A
Exercice 8
Ecrire à l’aide de quantificateurs les propositions suivantes :
1. Le carré de tout réel est positif.
2. Certains réels sont strictement supérieurs à leur carré.
3. Aucun entier n’est supérieur à tous les autres.
4. Tous les réels ne sont pas des quotients d’entiers.
5. Il existe un entier multiple de tous les autres.
6. Entre deux réels distincts, il existe un rationnel.
2
BEM | Management School - Abidjan 2021-2022
7. Etant donné trois réels, il y en a au moins deux de même signe.
Exercice 9
Ecrire avec des quantificateurs les propositions suivantes :
1) f est la fonction nulle (où f est une fonction de R dans R).
2) Le dénominateur D de f s’annule au moins une fois sur R.
3) f est l’identité de R (c’est-à-dire la fonction qui, à chaque réel, associe lui-même).
4) Le graphe de f coupe la droite d’équation y = x.
5) f est croissante sur R (où f est une fonction de R dans R).
6) L’équation sinx = x a une et une seule solution dans R.
7) Pour tout point M du plan P, M est sur le cercle C de centre Ω et de rayon R si et seulement
si la distance de M à Ω vaut R.
Exercice 10
Démontrer les énoncés suivants par récurrence (éventuellement forte) :
Xn
(1) Pour tout naturel n, on a 2k = 2n+1 − 1
k=1
n
X n(n + 1)
(2) Pour tout naturel n, on a k=
k=1
2
n
X n(n + 1)(2n + 1
(3) Pour tout naturel n, on a k2 =
k=1
6
n
X n(n + 1) 2
(4) Pour tout naturel n, on a k3 = ( )
k=1
2
(5) Pour tout naturel n, P (n) : 10n − (−1)n est divisible par 11.