GABARITO: E
Questão que devemos resolver de acordo com alguns conhecimentos básicos em ciências rs e também é essencial saber a ordem de precedência dos operadores lógicos.
1º) parênteses, colchetes e chaves;
2º) ¬negação;
3º) V ou ^ (na ordem em que aparecerem);
4º) V;
5º) -->;
6º) <-->.
p: A Terra é um planeta. (VERDADEIRA)
q: O Sol não é uma estrela. (FALSA)
r: A Lua é uma estrela. (FALSA)
Primeiro iremos substituir os valores:
S: p → ~r ↔ p ∨ q
S: V→ ~F ↔ V ∨ F
Agora, por ordem de precedência, primeiro resolveremos a negação, depois o v(ou), depois a condicional(-->) e por último a bicondicional(<->):
S: V→ ~F ↔ V ∨ F
S: V→ V ↔ V ∨ F
S: V→ ~F ↔ V
S: V ↔ V
S: V ↔ V = VERDADEIRO.
Alguns acharam a contingência, mas não é, pois o problema não deve ser resolvido fazendo tabela verdade, mas sim atribuindo o valor lógico e considerá-lo na proposição S; P é verdadeira, Q é falsa e R tb é falsa; ora, se eu tenho P-->~R <--> PvQ, então tenho V-->V <--> VvF, tanto a condicional como a disjunção inclusiva dão resultado Verdadeiro, portanto tenho uma bicondicional formada por 2 valores lógicos verdadeiros, portanto, resultado Verdadeiro