Page 10 - course1-19-21_Neat
P. 10
Dictionnaire et operations - ”⇒”
e
Alg`bre I -
Logique et
Raisonne-
ments
Implication. Si P et Q sont des propositions, la proposition
Patrick
e
e
RABARISON P ⇒ Q exprime l’id´e que ”si P est vraie, alors Q doit ˆtre
vraie aussi“ , sans qu’il y ait pour autant une relation de cause
e
` a effet. On a alors la table de verit´ :
P Q P =⇒ Q
v v v
v f f
f v v
f f v
Patrick RABARISON Alg`bre I - Logique et Raisonnements
e
