Equivalencia lógicao

Si dos expresiones representan la misma verdad, se llaman equivalencias lógica.

La equivalencia lógica tiene que darse para cualquiera que sean los valores de la premisas, no basta que se de la igualdad para uno o ciertos valores solamente.