Lista de símbolos: ⇒Condicional ⇔Bicondicional ...

Gabarito: b)

Para resolver essa questão, primeiro precisamos entender o significado de cada símbolo lógico apresentado:

- ¬ : Negação da proposição
- ∨ : Conector "ou"

Dado que P e Q são proposições simples verdadeiras, vamos analisar a expressão ¬P ∨ Q:

¬P significa a negação de P, ou seja, se P é verdadeiro, ¬P será falso.
Q é uma proposição simples verdadeira.

Agora, vamos analisar a expressão ¬P ∨ Q:

Se P é verdadeiro, ¬P será falso.
Como Q é verdadeiro, a expressão ¬P ∨ Q será verdadeira, pois basta que uma das proposições ligadas pelo "ou" seja verdadeira para que a expressão como um todo seja verdadeira.

Portanto, o valor lógico de ¬P ∨ Q é verdadeiro. Logo, a alternativa correta é a letra b) Verdadeiro.