Bicondicional

Símbolo

$P \leftrightarrow Q$ (também $P \Leftrightarrow Q$, $P$ iff $Q$). A seta dupla indica direção nos dois sentidos.

Definição

Conectivo binário. Verdadeiro quando $P$ e $Q$ têm o mesmo valor-verdade.

Intuição

$P$ se e somente se $Q$ — ambas compartilham o mesmo destino. Equivalente a $(P \rightarrow Q) \wedge (Q \rightarrow P)$.

Registro computacional

p == q quando $p$ e $q$ são booleanos.

Exemplo