Una forma de expresar el bicondicional es decir que Q es una condición necesaria y suficiente para P.