Page 11 - course1-19-21_Neat

Dictionnaire et operations - ”⇔”

e
Alg`bre I -
Logique et Equivalence. Si P et Q sont des propositions, la proposition P ⇔ Q
e
Raisonne- exprime l’id´e que P et Q sont vraies simultan´ment. Autrement dit,
e
ments
Patrick
RABARISON (P ⇔ Q) signifie ((P ⇒ Q) et (Q ⇒ P)).
e
e
e
Par cons´quent, d´montrer une ´quivalence, c’est d´montrer deux
e
implications.
e
e
R´ciproque. Soient P et Q des propositions. La r´ciproque de
l’implication (P ⇒ Q), c’est la proposition (Q ⇒ P). Elles sont
vraies toutes les deux si et seulement si P ⇔ Q est vraie. On a
P Q P ⇐⇒ Q
v v v
v f f
f v f
f f v
Patrick RABARISON Alg`bre I - Logique et Raisonnements
e