Bicondicional

En matemáticas y lógica, un bicondicional, (también llamado equivalencia o doble implicación, en ocasiones abreviado en español como ssi), 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 complicación.