A bicondicional "p se e somente se q" (p <-> q) indica que p e q possuem o mesmo valor lógico. Ou seja, a proposição resultante é verdadeira se p e q forem ambos verdadeiros ou ambos falsos. Se os valores forem divergentes, a bicondicional será falsa.
Fonte: Manual de Lógica AOCP, 2024.
Se p é Falso e q é Falso, o valor lógico de p <-> q é: