La notación del bicondicional

Hay un símbolo intercambiable con el del bicondicional "", que es el de la equivalencia lógica:"" (concepto que explicaremos mejor un poco más adelante).

En Aprende Lógica, cuando haya actividades en las que haya que insertar en un formulario el símbolo "", utilizaremos en su lugar el signo "=" [igual]. Así, AB se introduciría en un formulario de la siguiente manera: