A  B  C  D  E  F  G  H  I  J  L  M  N O  P  R  S  T  V

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)

Referencias en el texto: