Bicondicional

Forma lógica de la fórmula cuyo signo principal sea ↔,un bicondicionador.

El bicondicional (o coimplicación, o equivalencia) es una función veritativa que arroja un valor de verdad verdadero cuando sus dos componentes tienen el mismo valor de verdad. Se representa por el símbolo "<->", de modo que p<->q, se lee "p si y sólo si q" o "p es equivalente a q", y se define por la siguiente tabla de verdad:

Un bicondicional o equivalencia se representa también con el símbolo '=='. (Véase equivalencia, función veritativa).