Bi-Condicional o Doble Implicación

En lógica, un bicondicional, también llamado doble implicación, es un operador lógico que conecta dos proposiciones. Se considera verdadero si ambas proposiciones tienen el mismo valor de verdad (ambas son verdaderas o ambas son falsas), y falso en caso contrario. Es decir, es verdadero cuando ambas proposiciones se implican mutuamente, o se cumple una si y solo si se cumple la otra. 

En detalle:

• Definición: Un bicondicional, representado por el símbolo "↔" o "⇔", se define como la conjunción de una implicación y su conversa. Si tenemos dos proposiciones, p y q, el bicondicional p ↔ q es verdadero si p implica q (p → q) y q implica p (q → p).

Ejemplos:

"El número es par si y solo si es divisible por 2" es un ejemplo de bicondicional. Si un número es par, entonces es divisible por 2, y si un número es divisible por 2, entonces es par.