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:
| p | q | p↔q |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | V |
Un bicondicional o equivalencia se representa también con el símbolo '≡'. (v. equivalencia, función veritativa)
