Cuando se satisface la implicación en ambos sentidos, "B" es verdadera si y sólo si lo es "A", caso que se puede denotar "A" ⇔ "B", y significa que "A" es condición necesaria y suficiente para "B".