Document

Como a proposição R declara uma afirmativa de juízo já conhecido, a análise do valor lógico da proposição R fica facilitada.

Sendo
p: A lua nasce.

Então o valor lógico de p é verdade:

V(p) = V

Sendo
q: O sol se põe.

Então o valor lógico de q é verdade:

V(q) = V

Qual é o valor lógico da proposição R, formada pela bicondicional entre p e q? Veja a seguir.