Dos afirmaciones $p$ y $q$ se dicen quivalentes si se puede probar $p$ suponiendo $q$ y al revés. Se acostumbra denotar esto como $p \Leftrightarrow q$.
Por ejemplo:
Un número termina en 0 $\Leftrightarrow$ es divisble entre 10 ✔(BIEN)
Un ejemplo donde esto NO es cierto:
Un número termina en 0 $\Leftrightarrow$ es par. (MAL)