Conectivos Lógicos:
Bicondicional o doble implicación: Bicondicional de proposiciones P y Q es la proposición P < > Q que se lee P si y sólo si Q.

Si ambas proposiciones poseen el mismo valor de verdad la bicondicional o doble implicación es verdadera.