Pokud platí implikace $A \Rightarrow B$, pak o $B$ často mluvíme jako o nutné podmínce pro $A$. Pokud $B$ neplatí, pak nutně nemůže platit $A$ (protože kdyby $A$ platilo, pak platí $B$).
Studenti mají často tendenci směr implikace obracet. Například na přednáškách BI-MA2 si budeme formulovat následující větu: Pokud je řada $\sum_k a_k$ konvergentní, potom $\lim_k a_k = 0$. Z nějakého neznámého důvodu pak někteří studenti v písemkách tvrdí, že pokud $\lim_k a_k = 0$, pak je řada $\sum_k a_k$ konvergentní. To je samozřejmě holý nesmysl.