Il est important de bien connatre le sens du symbole
 \(\Rightarrow), c'est--dire de
l'\fold{def-impl}{<span class="defn">implication</span>}

En particulier,  P  \(\Rightarrow) Q peut tre vraie ou faux, il s'agit
d'une assertion.
Cependant, par abus de langage, il arrive  tout le monde de dire 
"On a  P  \(\Rightarrow) Q"  ou pire,   " si  P  \(\Rightarrow) Q, alors ...."