U.S.T.T.

B
Faculté des Sciences et Techniques Année Universitaire 2021-2022

TD-MTH1102 - Fiche N◦ 1

Question 1. Soit P une assertion vraie et Q une assertion fausse. Quelles sont les assertions
vraies ?
¡ ¢
ä P ou Q
¡ ¢
ä P et Q
¡ ¢
ä non(P) ou Q
¡ ¢
ä non P et Q

Question 2. Par quoi peut-on compléter les pointillés pour avoir les deux assertions vraies ?

x Ê 2 . . . x2 Ê 4
¯ ¯
¯y ¯ É 3 . . . 0 É y É 3

ä ⇐= et =⇒
ä =⇒ et =⇒
ä ⇐= et ⇐=
ä =⇒ et ⇐=

Question 3. Soit n un entier quelconque. Parmi les phrases suivantes, lequelles traduisent
correctement l’implication :
(4 | n) =⇒ (2 | n) ,
lesquelles ne la traduisent pas et pourquoi ?
ä Si 4 divise n alors 2 divise n .
ä 2 divise n seulement si 4 divise n .
ä Pour que 2 divise n il faut que 4 divise n .
ä Pour que 2 divise n il suffit que 4 divise n .
ä la condition « 2 divise n » est nécessaire pour que « 4 divise n ».
ä la condition « 4 divise n » est nécessaire pour que « 2 divise n ».
ä la condition « 4 divise n » est suffisante pour que « 2 divise n ».

Question 4. Soit P une asser tion fausse, Q une assertion vraie et R une assertion fausse.
Quelles sont les assertions vraies ?
¡ ¢
ä Q et (P ou R)
¡ ¢
ä P ou (Q et R)
ä non(P et Q et R)
¡ ¢
ä (Pou Q) et (Q ou R)
Exercice 1. (Preuve par la table de vérité)
1. Soient P et Q deux propositions. Montrer que les équivalences suivantes sont toujours
vraies
¡ ¢
(a) non(P =⇒ Q) ⇐⇒ P et non(Q)
¡ ¢ ¡ ¢
(b) P =⇒ Q ⇐⇒ non(Q) =⇒ non(P)

Fiche N◦ 1 1 TD-MTH1102
U.S.T.T.B
Faculté des Sciences et Techniques Année Universitaire 2021-2022

2. Soient P, Q et R trois propositions. Montrer que l’énoncé suivant est toujours vraie :
¡ ¢
(P =⇒ Q et Q =⇒ R) =⇒ P =⇒ R .

3. Soient P, Q et R trois propositions. Montrer que les propriétés de distributivité sui-

vantes :
¡ ¢ ¡ ¢
(a) P et (Q ou R) ⇐⇒ (P et Q) ou (P et R)
¡ ¢ ¡ ¢
(b) P ou (Q et R) ⇐⇒ (P ou Q) et (P ou R)
Exercice 2. (Négation)
Soient P, Q, R trois assertions. Pour chacune des assertions suivantes :
¡ ¢ ¡ ¢ ¡ ¢
(a) P et non(Q) (b) P ou non(Q) (c) P ou (Q et R)
¡ ¢
(d ) P et (Q ou R) (e) P =⇒ non(Q) (f ) P ⇐⇒ Q

(g ) non(P ou Q) =⇒ R (h) (P et Q) ⇐⇒ non(R) (i ) (P et non(Q)) =⇒ R

1. Ecrire sa négation.
2. Traduire l’assertion et sa négation en langage courant, en remplaçant P par « je mange »,
Q par « je bois » et R par « je fume ».

Exercice 3. (Conditions nécessaires, conditions suffisantes)

1. On rappelle qu’un entier p divise n , et on note p | n , s’il existe un entier relatif k tel que
n = p × k.
• Est-ce que 6 | n est une condition nécessaire à ce que n soit pair ?
• Est-ce que 6 | n est une condition suffisante à ce que n soit pair ?
2. Trouver des conditions nécessaires (pas forcément suffisantes) à chacune des proposi-
tions suivantes :
• Avoir son bac.
• Le point A appartient au segment [BC ].
• Le quadrilatère ABC D est un rectangle.
3. Trouver des conditions suffisantes (pas forcément nécessaires) à chacune des proposi-
tions suivantes :
• Avoir son bac.
• Le point A appartient au segment [BC ].
• Le quadrilatère ABC D est un rectangle.
Exercice 4. (Implications, quatificateurs)
1. Déterminer si chacune des implications suivantes est vraie ou fausse.
(a) Si ABC D est un rectangle, alors la droite (AB ) est parallèle à la droite (C D).
(b) Pour tout réel x négatif ou nul, si x 2 Ê 16, alors x É −4.
(c) Pour tout réel x , si x > 5, alors x > 6.
(d) Si un produit de deux nombres est strictement négatif, alors l’un des deux nombres
est strictement négatif.

Fiche N◦ 1 2 TD-MTH1102
U.S.T.T.B
Faculté des Sciences et Techniques Année Universitaire 2021-2022

2. Énoncer la négation, la contraposée et la réciproque de chaque affirmation et détermi-

ner si elle est vraie ou fausse.

Exercice 5. (Quantificateurs)
1. Notons E l’ensemble des étudiants, F l’ensemble des jours de la semaine et pour un
étudiant x , h j (x) son heure de réveil le jour j .
(a) Écrire avec des symboles mathématiques la proposition « Tout étudiant se réveille
au moins un jour de la semaine avant 8h »
(b) Écrire la négation de cette proposition avec des symboles mathématiques puis en
français.
2. Compléter, lorsque c’est possible, avec les quantificateurs ∀ ou ∃ pour que les énoncés
suivants soient vrais.
(a) . . . x ∈ R, (x + 1)2 = x 2 + 2x + 1
(b) . . . x ∈ R, x 2 + 3x + 2 = 0
(c) . . . x ∈ R, 2x + 1 = 0
(d ) . . . x ∈ R, x 2 + 2x + 3 6= 0

Exercice 6. (Connecteur logique Xou)

1. Soient P 1 et P 2 deux assertions. Ecrire à l’aide des connecteurs logiques et, ou, non,
l’assertion : « de deux choses l’une, soit P 1 est vraie, soit P 2 est vraie, mais pas les deux ». On
notera désormais (P 1 Xou P 2 ) cette assertion.
2. Démontrer à l’aide des tables de vérité que l’implication suivante :
¡ ¡ ¢¢
(P 1 Xou P 2 ) et non P 1 =⇒ P 2

est toujours vraie.

3. On considère les propositions suivantes : B : « je bois », C : « je conduis », F : « je vais voir
un film », M : « je marche », R : « je vais au restaurant ». Ecrire sous forme symbolique les
assertions suivantes.
• P 1 : « de deux choses l’une, soit je conduis, soit je marche ».
• P 2 : « de deux choses l’une, soit je vais voir un film, soit je vais au restaurant, et dans ce
cas je bois ».
• P 3 : « si je conduis, alors je ne bois pas ».
• P 4 : « je ne marche pas ».
4. On suppose que les assertions P 1 , P 2 , P 3 , P 4 sont vraies. Démontrer que l’assertion F est
vraie. Vous écrirez votre raisonnement sous forme symbolique, et en langage courant.

Fiche N◦ 1 3 TD-MTH1102