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⇔q.
Por ejemplo:
Un número termina en 0 ⇔ es divisble entre 10 ✔(BIEN)
Un ejemplo donde esto NO es cierto:
Un número termina en 0 ⇔ es par. (MAL)