En otro contexto el bicondicional representa la equivalencia lógica entre dos proposiciones.