Ce reprezintă implicația logică și cum se notează?

Implicația logică, notată cu $p \rightarrow q$, este falsă doar când $p$ (antecedentul) este adevărată și $q$ (consecventul) este falsă.
Se citește "dacă p, atunci q".
Este adevărată în toate celelalte cazuri.