Equivalencia Lógica

Dos proposiciones son lógicamente equivalentes cuando la primera proposición  es verdadera (o falsa en diferentes casos) si y solo si la segunda proposición  es verdadera (o falsa en diferentes casos).  Otra manera de definirlo es que dos formas proposicionales a y b son lógicamente equivalentes si y solo si tiene valores de verdad idénticos.[5]
Dos proposiciones pueden llamarse equivalentes cuando cada una de ellas implica a la otra. [3]

(Ejemplo en la imagen superior al texto)