Bicondicional

Representación ↔, ⟺, ≡

Que expresa dos condiciones o proposiciones. Conector ↔ que une dos proposiciones y es verdadera únicamente si ambas tienen el mismo valor de verdad p↔q, equivalencia (p es equivalente a q), condición (p si y solo si q). Generalmente en este operador sus proposiciones son conmutativas, es decir, p↔q es igual q↔p. Ver: apódosis, prótasis.