Sejam ~, ∨, →, ↔ 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 planeta

q: O Sol não é uma estrela

r: A Lua é uma estrela

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