Raciocínio Lógico

Sejam ∼, ∨, e ↔ os símbolos, respectivamente, dos seguintes conectivos lógicas: negação, disjunção, condicional e bicondicional. Considere as proposições p, q e r a seguir:

p: A Terra é um planetaq: O Sol não é uma estrelar: A Lua é uma estrela

Pode-se afirmar sobre o valor lógico da proposição composta S: p∼ r ↔ p ∨ q que