Proposición Bicondicional

Doble implicación. Símbolo <->

Operador que funciona sobre dos valores de verdad, devuelve el valor de verdad falso cuando ambas proposiciones tienen el mismo valor de verdad y falso cuando tienen diferente valor.

P ó Q… p: si y solo si q