Una proposición bicondicional afirma que dos enunciados son verdaderos o falsos al mismo tiempo. Se expresa como:

P ↔ Q

Se lee: "P si y solo si Q".

Ejemplo:

"Hoy es lunes si y solo si mañana es martes."

Es verdadera solo si ambos enunciados tienen el mismo valor de verdad (ambos verdaderos o ambos f

alsos).