Percebe-se a dependência imposta entre as partes tanto na condicional como na bicondicional, mas na bicondicional o rigor é maior, por isso que, de 4 possibilidades, apenas duas são válidas.
Isto é, das 4 linhas da tabela verdade da bicondicional, apenas as linhas 1 e 4 obtiveram o valor verdade como resultado final da operação:
| p | q | p ↔ q | |
| 1. | V | V | V |
| 2. | V | F | F |
| 3. | F | V | F |
| 4. | F | F | V |
| Regra da bicondicional |
|---|
|
Quando p e q possuem valores iguais. |