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 pq, 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	pq
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)

Ir al texto