Bicondicional

Bicondicional. Término utilizado en lógica para referirse a la conectiva binaria representada por el signo ↔, que en el lenguaje natural se suele asociar con la expresión "si y sólo si", y que remite a la doble condicionalidad establecida entre los elementos (fórmulas) que relaciona.

Según se define en las tablas de verdad, el bicondicional tiene un valor verdadero cuando las fórmulas que relaciona tienen el mismo valor de verdad (ambas son verdaderas o ambas falsas), y falso cuando las fórmulas que relaciona tienen distinto valor de verdad (una es verdadera y la otra falsa).