-
Otra palabra para equivalencia. Es un enunciado compuesto que se aplica a las proposiciones o enunciados P y Q sólo cuando ambos son verdaderos o ambos son falsos.
"Un triángulo tiene tres ángulos interiores congruentes, si y sólo si, tiene tres lados iguales" es un ejemplo de un enunciado bicondicional.
