La Bicondicional

Es una proposición de la forma «P si y solo si Q» y se admite el bicondicional es verdadero en el caso de que ambos componentes tengan el mismo valor vertitativo. En otras palabras, que si P ocurre entonces también ocurre Q; y viceversa: si Q ocurre entonces también ocurre P.

Otra forma de expresar el bicondicional es decir que Q es una condición necesaria y suficiente para P. También se conoce con el nombre de coimplicación.