Document

R: A lua nasce se e somente se o sol se põe.

p: A lua nasce.	q: O sol se põe.	R: A lua nasce se e somente se o sol se põe.
p	q	p↔q
V	V	?

Para a operação da bicondicional entre duas proposições, a regra é a seguinte:

O valor lógico de p tem que ser igual ao valor de q, já que é bilateral a condição de ocorrência dos fatos declarados.

Voltando ao caso da proposição R, temos:

p: A lua nasce.	q: O sol se põe.	R: A lua nasce se e somente se o sol se põe.
p	q	p↔q
V	V	V

Por outro lado, a lua não nasce enquanto o sol não se pôr, e vice-versa. Assim, está correto afirmar: quando o valor lógico de p for falso, necessariamente o valor lógico de q deverá ser falso, e vice-versa. Ou seja:

p: A lua nasce.	q: O sol se põe.	R: A lua nasce se e somente se o sol se põe.
p	q	p↔q
F	F	V