Enunciado bicondicional
Un enunciado bicondicional es una combinación de un enunciado condicional y su conversa escrita en la forma si y solo si .
Dos segmentos de recta son congruentes si y solo si estos son de igual longitud.
Es una combinación de dos enunciados condicionales, “si dos segmentos de recta son congruentes entonces estos son de igual longitud” y “si dos segmentos de recta son de igual longitud entonces estos son congruentes”.
Un bicondicional es verdadero si y solo si ambos condicionales son verdaderos.
Los bi-condicionales son representados por el símbolo o .
significa que y . Esto es, .
Ejemplo:
Escriba los dos enunciados condicionales asociados con el enunciado bi-condicional abajo.
Un rectángulo es un cuadrado si y solo si los lados adyacentes son congruentes.
Los enunciados condicionales asociados son:
a) Si los lados adyacentes de un rectángulo son congruentes entonces este es un cuadrado.
b) Si un rectángulo es un cuadrado entonces los lados adyacentes son congruentes.