Bicondicional

term: Bicondicional symbol: P \leftrightarrow Q etymology: 'Do latim bi- + conditio — "condição dupla". Símbolo ↔: seta nos dois sentidos.' summary: 'Conectivo ↔ ("se e somente se"). P ↔ Q é verdadeiro quando P e Q têm o mesmo valor-verdade.' relatedModules: [propositional-logic] seeAlso: [condicional]

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