2
Exemples II.1 :
~~(4 est un nombre positif) est une proposition
~~(4 est un nombre négatif) est une assertion fausse
~~( 5) n’est pas une assertion, ce n’est pas une phrase
2. Implication
Soient P et Q deux assertions
Pour exprimer que ( P ⇒ Q ) est vrai, on peut utiliser les expressions suivantes
~~ P ⇒ Q
~~ P implique Q
~~ P entraîne Q
~~ si on a P, alors on a Q
~~ Q est une condition nécessaire pour qu’on ait P
~~ P est une condition suffisante pour qu’on ait Q
♦ Pour montrer que (P ⇒ Q) , on se place dans le cas où P est vraie, c’est à dire qu’on suppose qu’on a P( on dit
qu’on prend P comme hypothèse) et on en déduit Q
Exemples II.2:
~~ Pour 0 et b 0a≥≥
: « si 22
alors ab a b
≤≤
» peut aussi s’écrire « 22
ab a b
≤⇒ ≤ »
~~ ( 01x
≤≤
)⇒(2
0xx
≤≤
)
en effet si x est tel que 01x
≤≤
, alors, en multipliant chaque membre de la double inégalité par xon en déduit
2
0xx
≤≤
~~
3. Equivalence
Soient P et Q deux assertions
( P ⇔Q ) est vrai lorsque (P ⇒ Q et Q ⇒ P)
Pour exprimer que ( P ⇔Q ) est vrai, on peut utiliser les expressions suivantes
~~ P ⇔ Q
~~ P équivaut à Q
~~ on a P si et seulement si on a Q
~~ P est une condition nécessaire et suffisante pour qu’on ait Q
Exemples II.3:
~~
()
2
PQ
() et 0
yx yxy
=⇔= ≥
: cette équivalence est vraie car :
-si P vraie alors Q est vraie (cf. Exemples II.2)(on élève au carré)
-si Q vraie alors P est vraie , on le montre en supposant que 2 et 0
yxy
=≥
, puis en prenant la racine carrée
de chaque membre de 2
yx
=et comme 2
yy
==ylorsque 0y≥ alors P est vraie